W. Reisig, Petri nets: an introduction, 1985.

L. Gomes, J. 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

L. Gomes, A. Costa, J. Barros, and P. Lima, 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

L. Gomes, R. Rebelo, J. Barros, A. Costa, and R. Pais, From Petri net models to C implementation of digital controllers, 2010 IEEE International Symposium on Industrial Electronics, 2010.
DOI : 10.1109/ISIE.2010.5637670

L. Gomes and J. Lourenco, 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

F. Pereira, L. Gomes, and F. Moutinho, 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

K. Jensen, Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use Basic Concepts, 1997.

K. Schmidt, LoLa, a Low Level Petri net Analyzer, 2000.

K. Wolf, 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

S. Roch and P. H. Starke, INA Integrated Net Analyzer, Version 2.2 Manual

E. A. Emerson, Temporal and Modal Logic, Handbook of Theoretical Computer Science, pp.996-1072, 1990.
DOI : 10.1016/B978-0-444-88074-1.50021-4