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

F. Pereira, F. Moutinho, and L. Gomes, Model-checking framework for embedded systems controllers development using IOPT Petri nets, 2012 IEEE International Symposium on Industrial Electronics, pp.1399-1404, 2012.
DOI : 10.1109/ISIE.2012.6237295

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, F. Moutinho, R. N. De-souza, D. N. Muniz et al., Automatic generation of run-time monitoring capabilities to Petri nets based Controllers with Graphical User Interfaces " in Proceedings of DoCEIS'11 - Technological Innovation for Sustainability, IFIP AICT 349 Costa da Caparica, Portugal 5Ethernet communication platform for synthesized devices in Xilinx FPGA, Proceedings of the First ACM/Usenix International Conference on Mobile Systems, Applications and Services, pp.246-2551, 2003.

K. Jensen, Coloured Petri Nets Basic Concepts, Analysis Methods and Pratical Use " - Volume 1 Basic Concepts, Berlin. Germany.: SpringerVerlag, 1997.

A. Hamez, L. Hillah, F. Kordon, A. Linard, E. Paviot-adet et al., New features in CPN-AMI 3: focusing on the analysis of complex distributed systems Application of Concurrency to System Design, Sixth International Conference on, pp.273-275, 2006.

O. Kummer, F. Wienberg, M. Duvigneau, and L. Cabac, Renew ? User Guide, 2009.

D. A. Sadilek and G. Wachsmuth, Prototyping Visual Interpreters and Debuggers for Domain-Specific Modelling Languages, In Model Driven Architecture ? Foundations and Applications Lecture Notes in Computer Science, vol.5095, pp.63-78, 2008.
DOI : 10.1007/978-3-540-69100-6_5

F. Moutinho and L. Gomes, From models to controllers integrating graphical animation in FPGA through automatic code generation, 2009 IEEE International Symposium on Industrial Electronics, 2009.
DOI : 10.1109/ISIE.2009.5218315

F. Moutinho, F. Pereira, and L. Gomes, Automatic generation of graphical user interfaces for VHDL based controllers, 2011 IEEE International Symposium on Industrial Electronics, pp.1491-1496, 2011.
DOI : 10.1109/ISIE.2011.5984381

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