Browse by Person

2011

Ribeiro, Jose and Moutinho, Filipe and Pereira, Fernando and Barros, João Paulo and Gomes, Luís (2011) An Ecore based Petri net type definition for PNML IOPT models. [Paper]. In: 2011 9th IEEE International Conference on Industrial Informatics, July 26-29, 2011, Caparica, Lisbon, Portugal. URL: http://dx.doi.org/10.1109/INDIN.2011.6034992. (ISI Web of Science).

Moutinho, Filipe and Gomes, Luís and Barbosa, Paulo and Barros, João Paulo and Ramalho, Franklin and Figueiredo, Jorge and Costa, Anikó and Monteiro, André (2011) Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS'11, 21-23 February, 2011, Costa de Caparica, Lisbon - Portugal. URL: http://dx.doi.org/10.1007/978-3-642-19170-1_26. (ISI Web of Science).

Barbosa, Paulo and Barros, João Paulo and Ramalho, Franklin and Gomes, Luís and Figueiredo, Jorge and Moutinho, Filipe and Costa, Anikó and Aranha, André (2011) SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS'11, 21-23 February, 2011, Costa de Caparica, Lisbon - Portugal. URL: http://dx.doi.org/10.1007/978-3-642-19170-1_28. (ISI Web of Science).

Pais, Rui and Gomes, Luís and Barros, João Paulo (2011) Towards Statecharts to Input-Output Place Transition Nets Transformations. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS'11, 21-23 February, 2011, Costa de Caparica, Lisbon - Portugal. URL: http://dx.doi.org/10.1007/978-3-642-19170-1_25. (ISI Web of Science).

2010

Moutinho, Filipe and Gomes, Luis and Ramalho, Franklin and Figueiredo, Jorge and Barros, João and Barbosa, Paulo and Pais, Rui and Costa, Anikó (2010) Ecore representation for extending PNML for Input-Output Place-Transition nets. [Paper]. In: IECON 2010 - 36th Annual Conference on IEEE Industrial Electronics Society, 7-10 Nov. 2010, Phoenix, AZ, USA. URL: http://dx.doi.org/10.1109/IECON.2010.5675332. (ISI Web of Science).

Gomes, Luís and Rebelo, Rogério and Barros, João Paulo and Costa, Anikó and Pais, Rui (2010) From Petri net models to C implementation of digital controllers. [Paper]. In: ISIE’2010 - IEEE International Symposium on Industrial Electronics, 4-7 July 2010, Bari, Italy. URL: http://dx.doi.org/10.1109/IECON.2007.4460403. (ISI Web of Science, Citations: 1).

2009

Gomes, L. and Barros, J. (2009) PNML based composition in non-autonomous Petri net models. [Paper]. In: 2009 35th Annual Conference of IEEE Industrial Electronics, November 3-5, Porto - Portugal. URL: http://dx.doi.org/10.1109/IECON.2009.5414908. (ISI Web of Science).

2008

Costa, Anikó and Gomes, Luís and Barros, João and Oliveira, J.P. and Reis, Tiago M. (2008) Petri nets tools framework supporting FPGA-based controller implementations. [Paper]. In: 34th Annual Conference of the IEEE Industrial Electronics Society (IECON’2008), 10-13 Nov 2008, Orlando. (ISI Web of Science).

Gomes, Luís and Costa, Anikó and Barros, João and Lima, P. (2008) Redes de Petri e geração de código VHDL. [Paper]. In: IV Jornadas sobre Sistemas Reconfiguráveis (REC’2008), 7-8 Feb 2008, Braga.

2007

Gomes, Luís and Costa, Anikó and Barros, João and Lima, Paulo (2007) From Petri net models to VHDL implementation of digital controllers. [Paper]. In: IECON’2007 - The 33rd Annual Conference of the IEEE Industrial Electronics Society, November 5-8, 2007, The Grand Hotel, Taipei - Taiwan. (ISI Web of Science).

Nunes, Ricardo and Gomes, Luís and Barros, João (2007) A Graphical Editor for the Input-Output Place-Transition Petri Net Class. [Paper]. In: ETFA’2007 - 12th IEEE Conference on Emerging Technologies and Factory Automation, September 25-28, 2007, Patras - Greece. (ISI Web of Science).

Gomes, Luís and Barros, João and Costa, Anikó and Nunes, Ricardo (2007) The Input-Output Place-Transition Petri Net Class and Associated Tools. [Paper]. In: INDIN’2007 - 5th IEEE International Conference on Industrial Informatics, 23-26 Julho 2007, Vienna - Austria. (ISI Web of Science, Citations: 1).

Barros, João and Gomes, Luís (2007) On the Use of Programming Languages for Textual Specification of Petri Net Models. Petri Net Newsletter, 73. ISSN 0931-1084.

Gomes, Luís and Costa, Anikó and Barros, João and Pais, Rui and Rodrigues, Tiago and Ferreira, Richard (2007) Petri Net based Building Automation and Monitoring System. [Paper]. In: INDIN’2007 - 5th IEEE International Conference on Industrial Informatics, 23-26 Julho 2007, Vienna - Austria. (ISI Web of Science).

Gomes, Luís and Barros, João and Costa, Anikó (2007) Petri Nets Tools and Embedded Systems Design. [Paper]. In: PNSE'07 - International Workshop on Petri Nets and Software Engineering, June 25-26, 2007, Siedlce - Poland.

Barros, João and Gomes, Luís (2007) Towards a Human-Usable Textual Language for Petri Nets. [Paper]. In: Workshop on Petri Net Standards 2007, 26 June 2007, Siedlce - Poland.

2006

Barros, João (2006) Modularidade em Redes de Petri. Gomes, Luís (supervisor). PhD thesis, Faculdade Ciências e Tecnologia/UNL.

Barros, João and Gomes, Luís (2006) Teaching Concurrency Through Petri Nets and Model Composition. [Paper]. In: TeaConc’2006 - Workshop on Teaching Concurrency, Turku, Finlândia. URL: http://www.uninova.pt/teaconc2006.

Gomes, Luís and Barros, João and Costa, Anikó and Pais, Rui and Moutinho, Filipe (2006) Redes de Petri no co-design de sistemas embutidos: o projecto FORDESIGN. [Paper]. In: REC’2006 – 2as. Jornadas sobre Sistemas Reconfiguráveis, 16-17 Fev 2006, Porto, Portugal..

2005

Pais, Rui and Barros, João and Gomes, Luís (2005) A Tool for Tailored Code Generation from Petri Net Models. [Paper]. In: ETFA’2005 - 10th International Conference on Emergent Technologies and Factory Automation, 19-22 Sept 2005, Catania, Italy. (ISI Web of Science).

Gomes, Luís and Barros, João and Costa, Anikó and Pais, Rui and Moutinho, Filipe (2005) Towards Usage of Formal methods within Embedded Systems Co-design. [Paper]. In: ETFA’2005 - 10th International Conference on Emergent Technologies and Factory Automation, 19-22 Sept 2005, Catania, Italy. (ISI Web of Science).

Pais, Rui (2005) Geração de Executores e Analisadores de Redes de Petri. Gomes, Luís (supervisor). Masters thesis, Faculdade de Ciências e Tecnologia/UNL.

Gomes, Luís and Barros, João (2005) Structuring and Composability Issues in Petri Nets Modeling. IEEE Transactions on Industrial Informatics, 1 (2), pp. 112-123. (ISI Web of Science, Citations: 18).

Barros, João and Jørgensen, Jens Bæk (2005) A Case Study on Coloured Petri Nets in Object-Oriented Analysis and Design. Nordic Journal of Computing, 12 (3), pp. 229-250. ISSN 1236-6064.

Gomes, Luís and Barros, João and Costa, Anikó and Pais, Rui and Moutinho, Filipe (2005) Formal methods for Embedded Systems Co-design: the FORDESIGN project. [Paper]. In: ReCoSoC’05 - Reconfigurable Communication-centric Systems-on-Chip, 27-29 Jun 2005, Montpellier, França.

Gomes, Luís and Barros, João and Costa, Anikó (2005) Modeling Formalisms for Embedded Systems Design. In: Zurawski, Richard, (ed.). Embedded Systems Handbook. CRC, 5.1-5.34. ISBN 0849328241.

Gomes, Luís and Barros, João (2005) Models of Computation for Embedded Systems. In: Zurawski, Richard, (ed.). The Industrial Information Technology Handbook. CRC, 83.1-83.17. ISBN 0849319854.

Gomes, Luís and Barros, João and Costa, Anikó (2005) Structuring Mechanisms in Petri Net Models: From specification to FPGA based implementations. In: Adamski, Marian and Karatkevich, Andrei and Wegrzyn, Marek, (eds.). Design of embedded control systems. Springer, pp. 153-166. ISBN 10: 0-387-23630-9; 13: 978-0387-23630-8.

2004

Barros, João and Gomes, Luís (2004) A Unidirectional Transition Fusion for Coloured Petri Nets and its Implementation for the CPNTools. [Paper]. In: CPN'04 - Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 8-11 Oct 2004, Denmark.

Gomes, Luís and Barros, João and Pais, Rui (2004) From non-autonomous Petri net models to code in embedded systems design. [Paper]. In: DESDes’04 - 2nd International Workshop on Discrete-Event System Design, 15-17 Sept 2004, Zielona Gora, Poland.

Barros, João and Gomes, Luís and Pais, Rui and Dias, Rui (2004) From Petri nets to executable systems: an environment for code generation and analysis. [Paper]. In: ICINCO’2004 – 1st International Conference on Informatics in Control, Automation and Robotics, 25-28 Aug 2004, Setúbal, Portugal.

Barros, João and Gomes, Luís (2004) Net Model Composition and Modification by Net Operations: a Pragmatic Approach. [Paper]. In: INDIN’2004 – 2nd IEEE International Conference on Industrial Informatics, 24-26 June 2004, Berlin, Germany. (ISI Web of Science).

Barros, João and Gomes, Luís (2004) On system’s model transformation by Petri nets. [Paper]. In: CONTROLO’2004 – Sixth Portuguese Conference on Automatic Control, 07-09 June 2004, Faro, Portugal.

Barros, João and Gomes, Luís (2004) On the Use of Coloured Petri nets for the Object Oriented Design. Lecture Notes in Computer Science LNCS 3099, pp. 117-136. ISSN 0302-9743. (ISI Web of Science, Citations: 1).

Barros, João and Gomes, Luís (2004) Operational PNML: Towards a PNML Support for Model Construction and Modification. [Paper]. In: Workshop on the Definition, Implementation and Application of a Standard Interchange Format for Petri Nets, Bolonha, Itália.

Gomes, Luís and Barros, João and Lino, Rui (2004) Addition of fault detection capabilities in automation applications using Petri nets. [Paper]. In: ISIE’04 - 2004 IEEE International Symposium on Industrial Electronics, 04-07 May 2004, Ajjaccio, France. (ISI Web of Science).

2003

Barros, João and Gomes, Luís (2003) Actions as Activities and Activities as Petri Nets. [Paper]. In: CSDUML’2003 – Workshop on Critical Systems Development with UML within UML’2003 – Sixth International Conference on the Unified Modeling Language, 20-24 Oct 2003, San Francisco, California, USA.

Barros, João and Gomes, Luís (2003) Towards the Support for Crosscutting Concerns in Activity Diagrams: a Graphical Approach. [Paper]. In: Fourth Workshop on Aspect-Oriented Modeling with UML within UML’2003 – Sixth International Conference on the Unified Modeling Language, 20-24 Oct 2003, San Francisco, California, USA.

Gomes, Luís and Barros, João (2003) On Structuring Mechanisms for Petri Nets Based System Design. [Paper]. In: ETFA’2003 – 2003 IEEE Conference on Emerging Technologies and Factory Automation, 16-19 Sept 2003, Lisbon, Portugal. (ISI Web of Science).

Barros, João and Gomes, Luís (2003) Modifying Petri Net Models by Means of Crosscutting Operations. [Paper]. In: ACSD’2003 - Third International Conference on Application of Concurrency to System Design, 18-20 June 2003, Guimarães, Portugal. (ISI Web of Science).

2002

Moraru, Sorin-Aures and Borza, Paul N. and Gomes, Luís and Barros, João and Costa, Anikó (2002) Preparatory Module Course. Editura Lux Libris, Brasov, Romania. ISBN 973-9458-23-8.

1997

Gomes, Luís and Costa, Anikó and Soares, Carlos and Barros, João and Steiger-Garção, Adolfo (1997) Campus-Guard: a domot targeted for integrated building monitoring and control. [Paper]. In: 2nd Int. Conference on Intelligent Buildings, 4 a 6 Março 1997, Tel-Aviv, Israel.

Barros, João and Gomes, Luís and Steiger-Garção, Adolfo (1997) Implementation Of A Non-Autonomous High-Level Petri Net Model For Reactive Real Systems. [Paper]. In: 4th IFAC Workshop on Algorithms and Architectures for Real-Time Control, 9 a 11 Abril 1997, Vilamoura, Portugal. (ISI Web of Science).

1995

Gomes, Luís and Barros, João and Soares, A. and Steiger-Garção, Adolfo (1995) Monitoração de arquitecturas sensoriais distribuídas. [Paper]. In: 5as Jornadas Nacionais de Projecto, Planeamento e Produção Assistidos por Computador, 30 de Maio a 1 de Junho 95, Guimarães.