IOPT web tools (main publications)

IOPT Tools User manual V1.1
 
"Automatic synthesis of VHDL Hardware Components from IOPT Petri Net models";
Fernando Pereira, Luis Gomes;
IECON’2013 – The 39th Annual Conference of the IEEE Industrial Electronics Society;
November 10-13, 2013; Vienna, Austria

"IOPT-TOOLS – A web based tool framework for embedded systems controller development using Petri nets";
Luis Gomes, Filipe Moutinho, Fernando Pereira;
FPL’2013 – International Conference on Field Programmable Logic and Applications;
September 2-4, 2013, Porto, Portugal

"FPGA based Speed Control of Brushless DC Motors using IOPT Petri Net models";
Fernando Pereira, Luis Gomes;
ICIT’2013 – 2013 IEEE International Conference on Industrial Technology;
February 25-27, 2013, Cape Town, South Africa

"Web Based IOPT Petri Net Editor with an Extensible Plug-in Architecture to Support Generic Net Operations";
Fernando Pereira, Filipe Moutinho, José Ribeiro, Luís Gomes;
IECON'2012 - 38th Annual Conference of the IEEE Industrial Electronics Society;
October 25-28, 2012, Montreal, Canada

"Model-checking framework for Embedded Systems Controllers Development using IOPT Petri nets";
Fernando Pereira, Filipe Moutinho, Luís Gomes;
ISIE'2012 - 21th IEEE International Symposium of Industrial Electronics;
May 28-31 2012, Hangzhou, China

"State Space Generation for Petri nets-based GALS Systems";
Filipe Moutinho, Luis Gomes;
ICIT’2012 – 2012 IEEE International Conference on Industrial Technology;
March 19-21, 2012; Athens, Greece

"A state-space based model-checking framework for embedded system controllers specified using IOPT Petri Nets";
Fernando Pereira, Filipe Moutinho, Luís Gomes;
DoCEIS’12 – 3rd Doctoral Conference on Computing, Electrical and Industrial Systems;
February 27-29, 2012; Caparica, Lisbon, Portugal
In Technological Innovation for Value Creation; Luis M. Camarinha-Matos, Ehsan Shahamatnia, Gonçalo Nunes (Eds.); pp. 123-132; Springer ISBN 978-3-642-28254-6; DOI: 10.1007/978-3-642-28255-3_14

"State Space Generation Algorithm for GALS Systems Modeled by IOPT Petri Nets";
Filipe Moutinho, Luís Gomes;
IECON'2011 - 37th Annual Conference of the IEEE Industrial Electronics Society;
November 7-10, 2011, Melbourne, Australia

"An IOPT-net State-Space Generator Tool";
Fernando Pereira, Filipe Moutinho, Luís Gomes, Rogério Campos-Rebelo;
INDIN'2011 - 9th IEEE International Conference on Industrial Informatics;
26-29 July 2011, Caparica, Lisbon, Portugal

"IOPT Petri Net State-Space Generation Algorithm with Maximal-Step Execution Semantics";
Fernando Pereira, Filipe Moutinho, Luís Gomes, Rogério Campos-Rebelo;
INDIN'2011 - 9th IEEE International Conference on Industrial Informatics;
26-29 July 2011, Caparica, Lisbon, Portugal

IOPT Petri net class (main publications)

"The Input-Output Place-Transition Petri Net Class and Associated Tools";
Luís Gomes, João Barros, Anikó Costa, Ricardo Nunes;
INDIN'2007 - 5th IEEE International Conference on Industrial Informatics;
23-26 July 2007, Vienna, Austria

"An Ecore based Petri net Type Definition for PNML IOPT Models";
José Ribeiro, Filipe Moutinho, Fernando Pereira, João Paulo Barros, Luís Gomes;
INDIN'2011 - 9th IEEE International Conference on Industrial Informatics;
26-29 July 2011, Caparica, Lisbon, Portugal

"Ecore Representation for Extending PNML for Input-Output Place-Transition Nets";
Filipe Moutinho, Luís Gomes, Franklin Ramalho, Jorge Figueiredo, João Paulo Barros, Paulo Barbosa, Rui Pais, Anikó Costa;
IECON'2010 - 36th Annual Conference of the IEEE Industrial Electronics Society;
2010, Phoeniz, AZ, USA

IOPT old tools (main publications)

"From IOPT Petri nets to C: an Automatic Code Generator Tool";
Rogério Campos-Rebelo; Fernando Pereira, Filipe Moutinho, Luís Gomes;
INDIN'2011 - 9th IEEE International Conference on Industrial Informatics;
26-29 July 2011, Caparica, Lisbon, Portugal

"From Petri net models to VHDL implementation of digital controllers";
Luís Gomes, Anikó Costa, João Barros, Paulo Lima;
IECON’2007 - 33rd Annual Conference of the IEEE Industrial Electronics Society;
November 5-8, 2007, The Grand Hotel, Taipei - Taiwan

"Rapid Prototyping of Graphical User Interfaces for Petri-Net-Based Controllers";
Luís Gomes, João Lourenço;
IEEE Transactions on Industrial Electronics, pp. 1806-1813. ISSN 0278-0046;
URL: http://dx.doi.org/10.1109/TIE.2009.2031188

"Automatic Generation of VHDL for Controllers with Graphical User Interfaces";
Filipe Moutinho, Fernando Pereira, Luís Gomes;
ISIE'2011 - 20th IEEE International Symposium of Industrial Electronics;
June 27-30 2011, Gdansk, Poland

"Automatic generation of run-time monitoring capabilities to Petri nets based Controllers with Graphical User Interfaces";
Fernando Pereira, Luís Gomes, Filipe Moutinho;
DoCEIS'2011 - 2nd Doctoral Conference on Computing, Electrical and Insdustrial Systems - Technological Innovation for Sustainability;
IFIP AICT 349, Springer, pp 246-255;
February 21-23 2011, Costa da Caparica, Portugal

"A Graphical Editor for the Input-Output Place-Transition Petri Net Class"
Ricardo Nunes, Luís Gomes, João Barros;
ETFA’2007 - 12th IEEE Conference on Emerging Technologies and Factory Automation;
September 25-28, 2007, Patras - Greece