C. A. Petri, Kommunikation mit Automaten1962: Technische Hochschule, Darmstadt. 2. Peterson, J.L., Petri Nets. ACM Comput. Surv, issue.93, pp.223-252, 1977.

R. Zurawski and Z. Mengchu, Petri nets and industrial applications: A tutorial. Industrial Electronics, IEEE Transactions on, vol.41, issue.6, pp.567-583, 1994.

T. Murata, Petri nets: Properties, analysis and applications, Proceedings of the IEEE, pp.541-580, 1989.
DOI : 10.1109/5.24143

L. Gomes, J. P. Barros, and A. Costa, Modeling Formalisms for Embedded Systems Design " ; in, Embedded Systems HandbookChief), vol.5, pp.5-6, 2005.

A. Ramirez-trevino, I. Rivera-rangel, and E. Lopez-mellado, Observability of discrete event systems modeled by interpreted Petri nets. Robotics and Automation, IEEE Transactions on, vol.19, issue.4, pp.557-565, 2003.

A. Giua and F. Di-cesare, Easy synchronized Petri nets as discrete event models. in Decision and Control, Proceedings of the 29th IEEE Conference on, 1990.

L. Gomes, J. P. Barros, A. Costa, and R. Nunes, The Input-Output Place-Transition Petri Net Class and Associated Tools, 2007 5th IEEE International Conference on Industrial Informatics, 2007.
DOI : 10.1109/INDIN.2007.4384809

R. David and H. Alla, Petri Nets and Grafcet: Tools for Modeling Discrete Event Systems1992

L. Gomes and J. P. Barros, On structuring mechanisms for Petri nets based system design. in Emerging Technologies and Factory Automation, Proceedings. ETFA '03. IEEE Conference, 2003.

K. Jensen, A brief introduction to coloured Petri Nets Tools and Algorithms for the Construction and Analysis of Systems, pp.203-208, 1997.