G. Engels and . Keynote, Automatic generation of behavioral code -too ambitious or even unwanted?, Behaviour Modelling in Model Driven Architecture, First European Workshop on Behaviour Modelling in Model Driven Architecture, Proceedings, 2009.

M. Moalla, J. Pulou, and J. Sifakis, Synchronized petri nets : A model for the description of non-autonomous sytems, LNCS: Mathematical Foundations of Computer Science, 1978.
DOI : 10.1007/3-540-08921-7_85

R. David and H. Alla, Petri Nets & Grafcet; Tools for Modelling Discrete Event Systems, 1992.

M. Silva, Las Redes de Petri: en la Automática y la, Informática. Edit. AC, 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

H. Juan-de-lara and . Vangheluwe, Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts, Proceedings of the First International Conference on Graph Transformation, pp.239-2533, 2002.
DOI : 10.1007/3-540-45832-8_19

E. Carneiro and P. Maciel, Mapping SysML State Machine Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints, 2008 International Conference on Advances in Electronics and Micro-electronics, pp.1-6, 2008.
DOI : 10.1109/ENICS.2008.19

L. Gomes, As Redes de Petri Reactivas e Hierárquicas -integração de formalismos no projecto de sistemas reactivos de tempo-real (in Portuguese), 1997.

F. Moutinho, L. Gomes, F. Ramalho, J. Figueiredo, J. P. Barros et al., Ecore Representation for Extending PNML for Input-Output Place-Transition Nets; IECON'2010 -36th Annual Conference of the IEEE Industrial Electronics Society, 11. Designing Engineering Systems for Sustainability, 2010.