PetriNet/fr

Références

 * J. L. Peterson, Petri Net Theory and the Modeling of Systems, éd. Prentice Hall, 1981
 * K. Jensen, Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, éd. Springer, 1997
 * N. Busi, Petri nets with inhibitor and read arcs: semantics, analysis and application to process calculi, Ph.D. Thesis. Department of Mathematics, University of Siena, Italy, 1998
 * J. Wang, Timed Petri Nets: Theory and Application, éd Springer, 1998