Petri nets: an introduction, 1985. ,
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
From Petri net models to VHDL implementation of digital controllers, IECON 2007, 33rd Annual Conference of the IEEE Industrial Electronics Society, 2007. ,
DOI : 10.1109/IECON.2007.4460403
From Petri net models to C implementation of digital controllers, 2010 IEEE International Symposium on Industrial Electronics, 2010. ,
DOI : 10.1109/ISIE.2010.5637670
Rapid Prototyping of Graphical User Interfaces for Petri-Net-Based Controllers, IEEE Transactions on Industrial Electronics, pp.1806-1813, 2010. ,
DOI : 10.1109/TIE.2009.2031188
Automatic Generation of Run-Time Monitoring Capabilities to Petri Nets Based Controllers with Graphical User Interfaces, Proceedings of DoCEIS'11 -Technological Innovation for Sustainability, IFIP AICT 349, pp.246-255, 2011. ,
DOI : 10.1007/978-3-642-19170-1_27
Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use Basic Concepts, 1997. ,
LoLa, a Low Level Petri net Analyzer, 2000. ,
Generating Petri Net State Spaces, Proceedings of the 28th Int. conference on Applications and theory of Petri nets and other models of concurrency (ICATPN'07), 2007. ,
DOI : 10.1007/978-3-540-73094-1_5
INA Integrated Net Analyzer, Version 2.2 Manual ,
Temporal and Modal Logic, Handbook of Theoretical Computer Science, pp.996-1072, 1990. ,
DOI : 10.1016/B978-0-444-88074-1.50021-4