Follow
Fernando Pereira
Fernando Pereira
ISEL/IPL, FCT/UNL
Verified email at deea.isel.ipl.pt
Title
Cited by
Cited by
Year
IOPT-tools—A Web based tool framework for embedded systems controller development using Petri nets
L Gomes, F Moutinho, F Pereira
2013 23rd International Conference on Field programmable Logic and …, 2013
472013
From IOPT Petri nets to C: An automatic code generator tool
R Campos-Rebelo, F Pereira, F Moutinho, L Gomes
2011 9th IEEE International Conference on Industrial Informatics, 390-395, 2011
462011
IOPT-tools—Towards cloud design automation of digital controllers with Petri nets
F Pereira, F Moutinho, L Gomes
2014 International Conference on Mechatronics and Control (ICMC), 2414-2419, 2014
452014
Automatic synthesis of VHDL hardware components from IOPT Petri net models
F Pereira, L Gomes
IECON 2013-39th Annual Conference of the IEEE Industrial Electronics Society …, 2013
412013
Extending input-output place-transition Petri nets for distributed controller systems development
L Gomes, F Moutinho, F Pereira, J Ribeiro, A Costa, JP Barros
2014 International Conference on Mechatronics and Control (ICMC), 1099-1104, 2014
312014
Model-checking framework for embedded systems controllers development using IOPT Petri nets
F Pereira, F Moutinho, L Gomes
2012 IEEE International Symposium on Industrial Electronics, 1399-1404, 2012
312012
Web based IOPT Petri net Editor with an extensible plugin architecture to support generic net operations
F Pereira, F Moutinho, J Ribeiro, L Gomes
IECON 2012-38th Annual Conference on IEEE Industrial Electronics Society …, 2012
272012
The IOPT-Flow framework pairing Petri nets and data-flows for embedded controller development
F Pereira, L Gomes
Industrial Electronics Society, IECON 2016-42nd Annual Conference of the …, 2016
212016
Combining data-flows and petri nets for cyber-physical systems specification
F Pereira, L Gomes
Technological Innovation for Cyber-Physical Systems: 7th IFIP WG 5.5 …, 2016
212016
IOPT Petri net state space generation algorithm with maximal-step execution semantics
F Pereira, F Moutinho, L Gomes, R Campos-Rebelo
2011 9th IEEE International Conference on Industrial Informatics, 789-795, 2011
182011
An IOPT-net state-space generator tool
F Pereira, F Moutinho, L Gomes, J Ribeiro, R Campos-Rebelo
2011 9th IEEE International Conference on Industrial Informatics, 383-389, 2011
152011
An Ecore based Petri net type definition for PNML IOPT models
J Ribeiro, F Moutinho, F Pereira, JP Barros, L Gomes
2011 9th IEEE International Conference on Industrial Informatics, 777-782, 2011
142011
Cloud based IOPT Petri net simulator to test and debug embedded system controllers
F Pereira, L Gomes
Technological Innovation for Cloud-Based Engineering Systems: 6th IFIP WG 5 …, 2015
132015
Remote operation of embedded controllers designed using IOPT Petri-nets
F Pereira, A Melo, L Gomes
2015 IEEE 13th International Conference on Industrial Informatics (INDIN …, 2015
112015
FPGA based speed control of Brushless DC Motors using IOPT Petri Net models
F Pereira, L Gomes
2013 IEEE International Conference on Industrial Technology (ICIT), 1011-1016, 2013
102013
The IOPT-Flow modeling framework applied to Power Electronics controllers
F Pereira, L Gomes
IEEE Transactions on Industrial Electronics 64 (3), 2363-2372, 2016
92016
FPGA controller for power converters with integrated oscilloscope and graphical user interface
F Pereira, L Gomes, L Redondo
2011 International Conference on Power Engineering, Energy and Electrical …, 2011
92011
A state-space based model-checking framework for embedded system controllers specified using IOPT Petri nets
F Pereira, F Moutinho, L Gomes
Technological Innovation for Value Creation: Third IFIP WG 5.5/SOCOLNET …, 2012
72012
A JSON/HTTP communication protocol to support the development of distributed cyber-physical systems
F Pereira, L Gomes
2018 IEEE 16th International Conference on Industrial Informatics (INDIN), 23-30, 2018
62018
Multifunctional controller architecture for solid-state Marx modulator based on FPGA
F Pereira, L Gomes, LM Redondo
IEEE Transactions on Plasma Science 42 (10), 2991-2997, 2014
62014
The system can't perform the operation now. Try again later.
Articles 1–20