Publications

Books


  1. “Distributed Embedded Controller Development with Petri Nets - Application to Globally-Asynchronous Locally-Synchronous Systems”; Filipe Moutinho, Luís Gomes; SpringerBriefs in Electrical and Computer Engineering, Springer; 2015; ISBN 978-3-319-20821-3 ISBN 978-3-319-20822-0 (eBook) DOI 10.1007/978-3-319-20822-0

Book chapters


  1. “Enhanced Event Modeling for Human-System Interactions Using IOPT Petri Nets”; Rogério Campos-Rebelo, Anikó Costa, Luís Gomes; in “Human-Computer Systems Interaction: Backgrounds and Applications 3”, Advances in Intelligent Systems and Computing Volume 300, Zdzisław S. Hippe, Juliusz L. Kulikowski, Teresa Mroczek, Jerzy Wtorek (Editors); ISBN: 978-3-319-08490-9 (Print) 978-3-319-08491-6 (Online), DOI 10.1007/978-3-319-08491-6_4, 2014, pp 39-50

International Journals included on ISI - Web of Knowledge


  1. “Optimizing urban traffic flow using Genetic Algorithm with Petri Net analysis as fitness function”; Henrique Dezani, Regiane D.S. Bassi, Norian Marranghello, Luís Gomes, Furio Damiani, Ivan Nunes da Silva; Neurocomputing, Volume 124, 26 January 2014, Pages 162-167; ISSN: 0925-2312; DOI 10.1016/j.neucom.2013.07.015 (http://dx.doi.org/10.1016/j.neucom.2013.07.015)

  2. “Multifunctional Controller Architecture for Solid-State Marx modulator based on FPGA”; Fernando Pereira, Luis Gomes, Luis M. Redondo; IEEE Transactions on Plasma Science, Vol. 42 Issue: 10; Oct. 2014; pp 2991-2997; ISSN: 0093-3813; DOI: 10.1109/TPS.2014.2320409

  3. “Asynchronous-channels within Petri net based GALS distributed embedded systems modeling”; Filipe Moutinho, Luís Gomes; IEEE Transactions on Industrial Informatics; Vol.10 Issue: 4; Nov. 2014; pp 2024-2033; ISSN: 1551-3203; DOI: 10.1109/TII.2014.2341933

  4. Comments on “Minimizing Buffer Requirements Under Rate-Optimal Schedule in Regular Dataflow Networks””; José-Inácio Rocha, Octávio Páscoa Dias, Luís Gomes; Journal of Signal Processing Systems; March 2015; Print ISSN 1939-8018; Online ISSN 1939-8115; DOI 10.1007/s11265-015-0977-5

International Conferences and Workshops


  1. “Configuring communication nodes for networked embedded systems specified by Petri nets”; Filipe Moutinho, José Pimenta, Luis Gomes; ISIE’2013 – 2013 IEEE International Symposium on Industrial Electronics; 28-31 May 2013, Taipei, Taiwan

  2. “Events for Human-System Interaction modeling with IOPT Petri nets”; Rogério Campos-Rebelo, Anikó Costa, Luís Gomes; HSI’13 – 6th International Conference on Human System Interaction; June 6-8, 2013, Gdansk, Poland

  3. “Towards Medical Device Behavioural Validation Using Petri Nets”; Paulo E. S. Barbosa, Luis Gomes, Jorge C. A. de Figueiredo, Misael Morais, Katia Galdino, Filipe Moutinho, Melquisedec Andrade; CBMS’2013 – 26th IEEE International Symposium on Computer-Based Medical Systems; 20-22 June 2013, Porto, Portugal

  4. “Exploiting dataflows and Petri nets mappings”; José-Inácio Rocha, Octávio Páscoa Dias, Luis Gomes; INDIN’2013 – IEEE 11th International Conference on Industrial Informatics; July 29-31, 2013; Bochum, Germany

  5. “Distributed embedded systems design using Petri nets”; Filipe Moutinho, Luis Gomes; FPL’2013 – International Conference on Field Programmable Logic and Applications; 2-4 September, 2013, Porto, Portugal

  6. “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; 2-4 September, 2013, Porto, Portugal

  7. “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

  8. “Elementary events for modeling of Human-System interactions with Petri net models”; Rogério Campos-Rebelo, Anikó Costa, Luis Gomes; DoCEIS’14 – 2014 5th Doctoral Conference on Computing, Electrical and Industrial Systems; April 7-9, 2014, Caparica, Lisbon, Portugal; L.M. Camarinha-Matos et al. (Eds.): DoCEIS 2014, IFIP AICT 423, pp. 219–226, 2014. DOI: 10.1007/978-3-642-54734-8_25

  9. “From SysML State Machines to Petri Nets using ATL Transformations”; Rui Pais, João Paulo Barros, Luis Gomes; DoCEIS’14 – 2014 5th Doctoral Conference on Computing, Electrical and Industrial Systems; April 7-9, 2014, Caparica, Lisbon, Portugal; L.M. Camarinha-Matos et al. (Eds.): DoCEIS 2014, IFIP AICT 423, pp. 227–236, 2014. DOI: 10.1007/978-3-642-54734-8_26

  10. “Strategies to Improve Synchronous Dataflows Analysis using Mappings between Petri Nets and Dataflows”; José-Inácio Rocha, Octávio Páscoa Dias, Luis Gomes; DoCEIS’14 – 2014 5th Doctoral Conference on Computing, Electrical and Industrial Systems; April 7-9, 2014, Caparica, Lisbon, Portugal; L.M. Camarinha-Matos et al. (Eds.): DoCEIS 2014, IFIP AICT 423, pp. 237–248, 2014. DOI: 10.1007/978-3-642-54734-8_27

  11. “Cloud based development framework using IOPT Petri nets for embedded systems teaching”; Luis Gomes, Anikó Costa; ISIE’2014 – 2014 IEEE International Symposium on Industrial Electronics; 1-4 June 2014, Istanbul, Turkey; pp 2202-2206; DOI: 10.1109/ISIE.2014.6864959

  12. “Communication Support for Petri nets based Distributed Controllers”; Edgar M. Silva, Rogério Campos-Rebelo, Takahiro Hirashima, Filipe Moutinho, Pedro Maló, Anikó Costa, Luis Gomes; ISIE’2014 – 2014 IEEE International Symposium on Industrial Electronics; 1-4 June 2014, Istanbul, Turkey; pp 1111-1116; DOI: 10.1109/ISIE.2014.6864769

  13. “Towards the Use of Place/Transition Net Tools for Analysis of IOPT Models”; João-Paulo Barros, Luis Gomes; ISIE’2014 – 2014 IEEE International Symposium on Industrial Electronics; 1-4 June 2014, Istanbul, Turkey; pp. 1141 – 1146; DOI: 10.1109/ISIE.2014.6864774

  14. “Output Events for Human-System Interaction Modeling”; Rogério Campos-Rebelo, Anikó Costa, Luís Gomes; HSI’2014 – 2014 International Conference on Human System Interaction; 16-18 June 2014, Costa da Caparica, Portugal; pp. 261 – 266; DOI: 10.1109/HSI.2014.6860486

  15. “IOPT-Tools - Towards cloud design automation of digital controllers with Petri nets”; Fernando Pereira, Filipe Moutinho, Luís Gomes; ICMC’2014 - International Conference on Mechatronics and Control; 3-5 July 2014, Jinzhou, China

  16. “Extending Input-Output Place-Transition Petri nets for Distributed Controller Systems development”; Luis Gomes, Filipe Moutinho, Fernando Pereira, José Ribeiro, Anikó Costa, João-Paulo Barros; ICMC’2014 - International Conference on Mechatronics and Control; 3-5 July 2014, Jinzhou, China, pages 1099-1104

  17. “Requirements Specification for Controller Design - from Use Cases to IOPT Net Models”; João-Paulo Barros, Isabel Sofia Brito, Luis Gomes; INDIN’2014 – 12th IEEE International Conference on Industrial Informatics; 27-30 July, 2014, Porto Alegre, Brazil; pp. 207 – 212; DOI: 10.1109/INDIN.2014.6945509

  18. “A Platform Independent Communication support for Distributed Controller Systems modelled by Petri nets”; Edgar M. Silva, Pedro Maló, Luis Gomes; INDIN’2014 – 12th IEEE International Conference on Industrial Informatics; 27-30 July, 2014, Porto Alegre, Brazil; pp. 88 – 93; DOI: 10.1109/INDIN.2014.6945489

  19. “Attracting students to Engineering through Autonomous Sailing Yacht development”; Luıs Gomes, Anikó Costa, Filipe Moutinho, Ricardo Mota; ICIT’2015 – 2015 IEEE International Conference on Industrial Technology; March 17-19, 2015, Seville, Spain

  20. “Distributed controllers modeling through Petri nets with multi-asynchronous-channels”; Filipe Moutinho, José Ribeiro, Luıs Gomes; ICIT’2015 – 2015 IEEE International Conference on Industrial Technology; March 17-19, 2015, Seville, Spain

  21. “Event Life Time in Detection of Sequences of Events”; Rogério Campos-Rebelo, Anikó Costa, Luis Gomes; ICIT’2015 – 2015 IEEE International Conference on Industrial Technology; March 17-19, 2015, Seville, Spain

  22. “Model-based development of an Autonomous Sailing Yacht controller”; Luıs Gomes, Miguel Santos, Thiago Pereira, Anikó Costa; ICARSC’2015 – 2015 IEEE International Conference on Autonomous Robot Systems and Competitions; April 8-10, 2015, Vila Real, Portugal

  23. “Cloud based IOPT Petri Net Simulator to test and debug embedded system controllers”; Fernando Pereira, Luis Gomes; DoCEIS’15 – 2015 6th Doctoral Conference on Computing, Electrical and Industrial Systems; April 13-15, 2015, Caparica, Lisbon, Portugal

  24. “Analysis and Generation of Logical Signals for Discrete Events Behavioral Modeling”; Rogério Campos-Rebelo, Anikó Costa, Luis Gomes; DoCEIS’15 – 2015 6th Doctoral Conference on Computing, Electrical and Industrial Systems; April 13-15, 2015, Caparica, Lisbon, Portugal

  25. “High-Level Petri Nets Modules for Embedded Controllers Design”; José Ribeiro, Fernando Melício, Luis Gomes; INDIN’15 – 2015 IEEE International Conference on Industrial Informatics; 22-24 July 2015, Cambridge, UK

  26. “Controller design and implementation: an approach based on problem frames and Petri Net models”; Isabel Sofia Brito, João Paulo Barros, Luis Gomes; INDIN’15 – 2015 IEEE International Conference on Industrial Informatics; 22-24 July 2015, Cambridge, UK

  27. “Remote operation of embedded controllers designed using IOPT Petri‐nets”; Fernando Pereira, Arildo Melo, Luis Gomes; INDIN’15 – 2015 IEEE International Conference on Industrial Informatics; 22-24 July 2015, Cambridge, UK

  28. “Executable models for Embedded Controllers Development - A Cloud Based Development Framework”; Fernando Pereira, Filipe Moutinho, João Paulo Barros, Anikó Costa, Luıs Gomes; ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems - Posters and Demonstrators; 30 September 2015; Ottawa, Canada

National Conferences and Similar Events


  1. "Suporte de Comunicação para Controladores Distribuídos Desenvolvidos em Redes de Petri"; Rogério Campos-Rebelo, Edgar M. Silva, Filipe Moutinho, Pedro Maló, Anikó Costa, Luís Gomes; REC’2014 –X Jornadas sobre Sistemas Reconfiguráveis; 13 Abril 2014, Vilamoura, Portugal