Kommunikation mit Automaten1962: Technische Hochschule, Darmstadt. 2. Peterson, J.L., Petri Nets. ACM Comput. Surv, issue.93, pp.223-252, 1977. ,
Petri nets and industrial applications: A tutorial. Industrial Electronics, IEEE Transactions on, vol.41, issue.6, pp.567-583, 1994. ,
Petri nets: Properties, analysis and applications, Proceedings of the IEEE, pp.541-580, 1989. ,
DOI : 10.1109/5.24143
Modeling Formalisms for Embedded Systems Design " ; in, Embedded Systems HandbookChief), vol.5, pp.5-6, 2005. ,
Observability of discrete event systems modeled by interpreted Petri nets. Robotics and Automation, IEEE Transactions on, vol.19, issue.4, pp.557-565, 2003. ,
Easy synchronized Petri nets as discrete event models. in Decision and Control, Proceedings of the 29th IEEE Conference on, 1990. ,
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
Petri Nets and Grafcet: Tools for Modeling Discrete Event Systems1992 ,
On structuring mechanisms for Petri nets based system design. in Emerging Technologies and Factory Automation, Proceedings. ETFA '03. IEEE Conference, 2003. ,
A brief introduction to coloured Petri Nets Tools and Algorithms for the Construction and Analysis of Systems, pp.203-208, 1997. ,