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. ,
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
Petri Nets & Grafcet; Tools for Modelling Discrete Event Systems, 1992. ,
Las Redes de Petri: en la Automática y la, Informática. Edit. AC, 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
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
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
As Redes de Petri Reactivas e Hierárquicas -integração de formalismos no projecto de sistemas reactivos de tempo-real (in Portuguese), 1997. ,
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. ,