The following publications are possibly variants of this publication:
- IOPT-tools - A Web based tool framework for embedded systems controller development using Petri netsLuís Gomes, Filipe Moutinho, Fernando Pereira. fpl 2013: 1 [doi]
- Model-checking framework for embedded systems controllers development using IOPT Petri netsFernando Pereira, Filipe Moutinho, Luís Gomes 0001. visalg 2012: 1399-1404 [doi]
- A State-Space Based Model-Checking Framework for Embedded System Controllers Specified Using IOPT Petri NetsFernando Pereira, Filipe Moutinho, Luís Gomes. ifip5-5 2012: 123-132 [doi]
- Refining IOPT Petri Nets Class for Embedded System Controller ModelingLuis Gomes, João Paulo Barros. iecon 2018: 4720-4725 [doi]
- The IOPT-Flow framework pairing Petri nets and data-flows for embedded controller developmentFernando Pereira, Luís Gomes 0001. iecon 2016: 4832-4837 [doi]
- Cloud based development framework using IOPT Petri nets for embedded systems teachingLuis Gomes, Anikó Costa. visalg 2014: 2202-2206 [doi]
- Requirements specification for controller design - From use cases to IOPT net modelsJoão Paulo Barros, Isabel Sofia Brito, Luís Gomes. indin 2014: 207-212 [doi]
- Cloud Based IOPT Petri Net Simulator to Test and Debug Embedded System ControllersFernando Pereira, Luís Gomes. ifip5-5 2015: 165-175 [doi]
- Distributed embedded systems design using Petri netsFilipe Moutinho, Luís Gomes. fpl 2013: 1-2 [doi]
- High-level Petri nets modules for embedded controllers designJose Ribeiro, Fernando Melicio, Luis Gomes. indin 2015: 876-882 [doi]