. At&t-research and . Graphviz,

F. Bause and P. S. Kritzinger, Stochastic Petri Nets, 2002.

B. Berthomieu and F. Vernadat, State space abstractions for time Petri nets. Handbook of Real Time Systems, 2006.

E. Best, R. Devillers, and J. Hall, The Petri box calculus: a new causal algebra with multilabel communication, Advances in Petri Nets, vol.609, 1992.

E. Best, R. Devillers, and M. Koutny, Petri net algebra, 2001.

E. Best, W. Fraczak, R. P. Hopkins, H. Klaudel, and E. Pelz, 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.

B. Boigelot, The Liège automata-based symbolic handler

R. Bouroulet, H. Klaudel, and E. Pelz, A semantics of security protocol language (SPL) using a class of composable high-level Petri nets, Proc. of ACSD'04, 2004.

C. Bui-thanh, Generating coloured Petri nets of concurrent object-oriented programs, Proc. of ESMc'04. EUROSIS, 2004.

A. Cerone and A. Maggiolo-schettini, Time-based expressivity of time Petri nets for system specification, Theoretical Computer Science, vol.216, issue.1-2, 1999.

D. , Simplified wrapper and interface generator

R. Devillers, H. Klaudel, and R. Riemann, 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

J. Esparza, C. Schröter, and S. Schwoon, The model-checking kit

S. Evangelista, High level petri nets analysis with Helena, Proc. of ICATPN'05, vol.3536, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00149528

G. Ewing, Pyrex, a language for writing Python extension modules

B. Farwer and K. Misra, Modelling with hierarchical object Petri nets, Fundamenta Informaticae, vol.55, issue.2, 2003.

A. , The minimal coverability graph for Petri nets, Papers from the 12th International Conference on Applications and Theory of Petri Nets, 1993.

F. Heitmann, Petri nets tool database at the Petri net world

K. L. Mcmillan, A technique of state space search based on unfolding, Formal Methods in System Design, vol.6, issue.1, pp.45-65, 1995.

P. M. Merlin and D. J. Farber, Recoverability of communication protocol, IEEE Trans. on Communications, vol.24, issue.9, 1976.

R. Milner, Communication and concurrency, 1989.

, The PEP tool

E. Pelz and D. Tutsch, Formal models for multicast traffic in network on chip architectures with compositional high-level Petri nets, Proc. of ICATPN'07, vol.4546, 2007.

F. Pommereau, Causal Time Calculus, Proc. of FORMATS'03, vol.2791, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00114673

F. Pommereau, Versatile boxes: a multi-purpose algebra of high-level Petri nets, Prof of DASDS'04. SCS/ACM, 2004.

F. Pommereau, R. Devillers, and H. Klaudel, 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