,
Stochastic Petri Nets, 2002. ,
State space abstractions for time Petri nets. Handbook of Real Time Systems, 2006. ,
The Petri box calculus: a new causal algebra with multilabel communication, Advances in Petri Nets, vol.609, 1992. ,
Petri net algebra, 2001. ,
M-nets: an algebra of high-level Petri nets with an applications to the semantics of concurrent programming languages, Acta Informatica, vol.35, issue.10, 1998. ,
The Liège automata-based symbolic handler ,
A semantics of security protocol language (SPL) using a class of composable high-level Petri nets, Proc. of ACSD'04, 2004. ,
Generating coloured Petri nets of concurrent object-oriented programs, Proc. of ESMc'04. EUROSIS, 2004. ,
Time-based expressivity of time Petri nets for system specification, Theoretical Computer Science, vol.216, issue.1-2, 1999. ,
Simplified wrapper and interface generator ,
General parameterised refinement and recursion for the M-net calculus, Theoretical Computer Science, vol.300, issue.1-3, 2003. ,
URL : https://hal.archives-ouvertes.fr/hal-00005602
The model-checking kit ,
High level petri nets analysis with Helena, Proc. of ICATPN'05, vol.3536, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00149528
Pyrex, a language for writing Python extension modules ,
Modelling with hierarchical object Petri nets, Fundamenta Informaticae, vol.55, issue.2, 2003. ,
The minimal coverability graph for Petri nets, Papers from the 12th International Conference on Applications and Theory of Petri Nets, 1993. ,
Petri nets tool database at the Petri net world ,
A technique of state space search based on unfolding, Formal Methods in System Design, vol.6, issue.1, pp.45-65, 1995. ,
Recoverability of communication protocol, IEEE Trans. on Communications, vol.24, issue.9, 1976. ,
Communication and concurrency, 1989. ,
, The PEP tool
Formal models for multicast traffic in network on chip architectures with compositional high-level Petri nets, Proc. of ICATPN'07, vol.4546, 2007. ,
Causal Time Calculus, Proc. of FORMATS'03, vol.2791, 2003. ,
URL : https://hal.archives-ouvertes.fr/hal-00114673
Versatile boxes: a multi-purpose algebra of high-level Petri nets, Prof of DASDS'04. SCS/ACM, 2004. ,
Efficient reachability graph representation of Petri nets with unbounded counters, Proc. of Infinity'07, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00340494
, Python Software Foundation
, The Petri net kernel