. At&t-research and . Graphviz,

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

D. M. Beazley, Python lex yacc

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.

C. Bui-thanh, H. Klaudel, and F. Pommereau, Box calculus with high-level buffers, Design, Analysis, and Simulation of Distributed Systems. SCS, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00114672

A. Burt, S. Busemann, and . Pypy,

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

M. Dufour, Shed skin

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.

A. Hagberg, D. Schult, M. Renieris, and . Pygraphviz,

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

H. Klaudel, M. Koutny, E. Pelz, and F. Pommereau, Towards efficient verification of systems with dynamic process creation, LNCS, vol.5160, 2008.
URL : https://hal.archives-ouvertes.fr/hal-02310226

H. Klaudel and F. Pommereau, M-nets, a survey, Acta Informatica, vol.7, issue.236, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00870484

K. L. Mcmillan, A technique of state space search based on unfolding, Formal Methods in System Design, vol.6, issue.1, 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
URL : https://hal.archives-ouvertes.fr/hal-00340494

, The Petri net kernel

A. Rigo and . Psyco,