F. Pereira, F. Moutinho, and L. Gomes, IOPT-tools — Towards cloud design automation of digital controllers with Petri nets, 2014 International Conference on Mechatronics and Control (ICMC), 2014.
DOI : 10.1109/ICMC.2014.7232002

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

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

F. Pereira, F. Moutinho, and L. Gomes, IOPT Tools User Manual -Version 1.1, FCT/UNL

F. Pereira and L. Gomes, Minimalist Architecture to Generate Embedded System Web User Interfaces Technological Innovation for the Internet of Things, pp.239-249, 2013.

F. Pereira, Web based IOPT Petri net Editor with an extensible plugin architecture to support generic net operations, IECON 2012, 38th Annual Conference on IEEE Industrial Electronics Society, 2012.
DOI : 10.1109/IECON.2012.6389075

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

F. Pereira and L. Gomes, Automatic synthesis of VHDL hardware components from IOPT Petri net models, IECON 2013, 39th Annual Conference of the IEEE Industrial Electronics Society, pp.2214-2219, 2013.
DOI : 10.1109/IECON.2013.6699475

R. Wi?niewski, ?. Stefanowicz, A. Bukowiec, and J. Lipi?ski, Theoretical Aspects of Petri Nets Decomposition Based on Invariants and Hypergraphs, Multimedia and Ubiquitous Engineering, pp.371-376, 2014.
DOI : 10.1007/978-3-642-54900-7_52

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, 2008.

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, Theoretical Foundations Group, Rel. 2.2, 2009.

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

D. Tidwell, XSLT -Mastering XML Transformations, 2008.

J. Billington, S. Christensen, K. Van-hee, E. Kindler, O. Kummer et al., The Petri Net Markup Language: Concepts, Technology, and Tools, Proceeding of the 24th International Conference on Application and Theory of Petri Nets, ser. LNCS, W. van der Aalst and E. Best, pp.483-505, 2003.
DOI : 10.1007/3-540-44919-1_31
URL : https://hal.archives-ouvertes.fr/hal-00084186