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
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
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 " 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. ,
Coloured Petri Nets Basic Concepts, Analysis Methods and Pratical Use " - Volume 1 Basic Concepts, Berlin. Germany.: SpringerVerlag, 1997. ,
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. ,
Renew ? User Guide, 2009. ,
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
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
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
Petri nets: an introduction, 1985. ,