BB	Cassandras, Christos G.. Introduction to discrete event systems / by Christo G. Cassandras, Stéphane Lafortune . 2nd ed., 2nd print. New York : Springer, 2010
BB	Girault, Claude. Petri nets for systems engineering : a guide to modeling, verification, and applications / Claude Girault, Rüdiger Valk . Berlin [etc.] : Springer, cop. 2003
BB	J. Campos, G. Chiola, J. Colom, M. Silva: "Properties and Performance Bounds for Timed Marked Graphs, en: " IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications, vol. 39, no. 5, pp. 386-401, May 1992.
BB	Jensen, Kurt. Coloured Petri Nets : modelling and validation of concurrent systems / Kurt Jensen, Lars M. Kristensen . Berlin : Springer, cop. 2009
BB	Lectures on Petri Nets. I, Basic models : advances in Petri Nets / Wolfgang Reisig, Grzegorz Rozenberg (eds.) . Berlin : Springer, cop. 2009
BB	Manuel Silva, Enrique Teruel, José Manuel Colom: "Linear algebraic and linear programming techniques for the analysis of place/transition net systems", in Lectures on Petri Nets I: Basic Models, pp 309-373, 1998.
BB	Modelling with generalized stochastic petri nets / M. Ajmone Marsan ... [et al.] . Chichester [etc.] : John Wiley and Sons, cop. 1995
BB	Silva Suárez, Manuel. Las redes de Petri : en la automática y la informática / Manuel Silva . 1a ed. 1985, 1a reimp. 2002 Madrid : Editorial AC, 2002
BB	T. Murata, "Petri nets: Properties, analysis and applications," in Proceedings of the IEEE, vol. 77, no. 4, pp. 541-580, Apr 1989..