PUBLICATIONS on Petri nets and other models of concurrency

1.1     Book Editor

“Hardware Design and Petri Nets”; Alex. Yakovlev, Luís Gomes, Luciano Lavagno (Eds.); Kluwer Academic Publishers; 2000; ISBN 0-7923-7791-5; 331 pgs.

1.2     Book Chapters

“Fuzzy modelling for reactive real-time systems control using Reactive Petri Nets”; Luís Gomes; em “Fuzziness in Petri Nets”; J. Cardoso, H. Scarpelli (Eds.), Physica-Verlag (Springer); 1999; ISBN 3-7908-1158-0; pp. 223-254

Structuring Mechanisms in Petri Net Models: From specification to FPGA based implementations”; Luís Gomes, João Paulo Barros, Anikó Costa; in “Design of embedded control systems”; Marian Adamski, Andrei Karatkevich, Marek Wegrzyn (Eds.); Kluwer; ISBN 0-387-23630-9; 2004

 “Models of Computation for Embedded Systems”; Luís Gomes, João Paulo Barros; in “The Industrial Information Technology Handbook”; Richard Zurawski (Editor-in-Chief), section VI – Real time and embedded systems; chapter 83; CRC; ISBN 0849319854; 2005

 Hardware-level Design Languages”; Luís Gomes, Anikó Costa; em “The Industrial Information Technology Handbook”; Richard Zurawski (Editor-in-Chief), section VI – Real time and embedded systems; chapter 84; CRC; ISBN 0849319854; 2005

“Modeling Formalisms for Embedded Systems Design”; Luís Gomes, João Paulo Barros, Anikó Costa; in “Embedded Systems Handbook”; Richard Zurawski (Editor-in-Chief); CRC; ISBN 0849328241; 2005

1.3     Publications at ATPN Conferences

"Programmable controller design based on a synchronized colored Petri net model and integrating fuzzy reasoning"; Luís Gomes, Adolfo Steiger‑Garção; Lecture Notes in Computer Science LNCS 935; Giorgio De Michelis, Michel Diaz (Eds.), pp. 218-237; Springer Verlag; ISBN 3-540-60029-9; ICATPN’95; 16th International Conference on Application and Theory of Petri Nets; Torino, Italy; 26-30 de June 1995;

 “On the Use of Coloured Petri nets for the Object Oriented Design”; João-Paulo Barros, Luís Gomes; Lecture Notes in Computer Science LNCS 3099; Jordi Cortadella, Wolfgang Reisig (Eds.), pp. 117-136; Springer Verlag; ISBN 3-540-22236-7; ISSN 0302-9743; ICATPN’04; 25th International Conference on Application and Theory of Petri Nets; Bologna, Italy; June 2004;

1.4     Journals in Portuguese

"Especificação e realização de controladores utilizando redes de Petri coloridas e sincronizadas integrando lógica imprecisa"; Luís F.S. Gomes, A. Steiger Garção; Publicado em “Revista Robótica e Automatização”, nº 10, Nov 1992, pp 31-38; Apresentado em Workshop Ibero-americano de Sistemas Autónomos em Robótica e CIM; Lisboa; 2 a 4 de Novembro 1992;

"Programação de controladores utilizando redes de Petri"; Luís Gomes, A. Steiger-Garção, Luís Gama, Nuno Correia; Revista “Ingenium” nº 72 Julho/Agosto 1993 pp. 43-52; Reprodução do trabalho incluído nas actas das 4as Jornadas Nacionais de Projecto, Planeamento e Produção Assistidos por Computador.

1.5     Conferences and workshops

"Petri net based Programmable Fuzzy Controller targeted for distributed control environments"; Luís Gomes, Adolfo Steiger‑Garção; FUZZ-IEEE/IFES’95; The International Joint Conference of the Fourth IEEE International Conference on Fuzzy Systems and the Second International Fuzzy Engineering Symposium; Yokohama, Japan; 20 a 24 de Março 1995; pp. 1427-1434

"Fuzzy Petri net model for real-time control"; Luís Gomes, Adolfo Steiger‑Garção; AARTC’95; Preprints of the 3rd IFAC/IFIP Workshop on Algorithms and Architectures for Real-Time Control; Ostend, Belgium; 31 de Maio a 2 de Junho 1995; pp. 467-472

"Fuzzy Petri net controller"; Luís Gomes, Adolfo Steiger‑Garção; IFSA’95; 6th International Fuzzy System Association World Congress; São Paulo, Brasil; 22 a 28 de Julho 1995; pp. 337-340

"Towards the implementation of conflict resolution on a non-autonomous High-level Petri net model"; Luís Gomes, Adolfo Steiger‑Garção; 1st Int. Workshop on Manufacturing and Petri Nets, integrado em ATPN’96 - 17th International Conference on Application and Theory of Petri Nets; Osaka, Japão; 24 a 28 de Junho 1996

"Petri net based hierarchical state machine model for reactive real-time systems"; Luís Gomes, Adolfo Steiger‑Garção; Proceedings of the 2nd Portuguese Conference on Automatic Control - CONTROLO’96; Porto, Portugal; 11 a 13 Setembro 1996; ISBN 972-97025-0-0; pp. 709-714

"Implementation of a non-autonomous high-level Petri net model for reactive real-systems"; João Paulo Barros, Luís Gomes, A. Steiger‑Garção; 4th IFAC Workshop on Algorithms and Architectures for Real-Time Control; Vilamoura, Portugal; 9 a 11 Abril 1997

"From Activity Diagrams to Class Diagrams"; João Paulo Barros, Luís Gomes; Workshop “Dynamic Behaviour in UML Models: Semantic Questions”; within UML’2000 – Third International Conference on the Unified Modeling Language; 2-6 October 2000; York, UK

"Using hierarchical structuring mechanisms with Petri nets for PLD based system design"; Luís Gomes, João-Paulo Barros; Workshop on Discrete-Event System Design, DESDes’01; 27-29 Junho 2001; Zielona Gora, Polónia; ISBN 83-85911-62-6

"Automated Code Generation from Petri Nets Based System Specification"; Luís Gomes, João-Paulo Barros; 5th WSES/IEEE World Multiconference on Circuits, Systems, Communications & Computers, CSCC’2001; 8-15 Julho 2001; Creta, Grécia

"Low-cost embedded systems design using Statecharts"; Luís Gomes, Carlos Soares; 5th WSES/IEEE World Multiconference on Circuits, Systems, Communications & Computers, CSCC’2001; 8-15 Julho 2001; Creta, Grécia

"Hierarchical Hybrid Control for Innovative Air-conditioning Equipment"; Luís Gomes, Francisco Henriques, Anikó Costa, Carlos Frade, Pedro Maló; 5th WSES/IEEE World Multiconference on Circuits, Systems, Communications & Computers, CSCC’2001; 8-15 Julho 2001; Creta, Grécia

"Man-machine interface for real-time telecontrol based on Petri Nets specification"; Luís Gomes, João-Paulo Barros, Anikó Costa; Proceedings of the 2001 IEEE International Conference on Systems, Man & Cybernetics, 7-10 Outubro 2001; Tucson, Arizona, USA, ISBN 0-7803-7089-9, IEEE Catalog Number 01CH37236C

 “Petri net model node structuring techniques for embedded system design”; Luís Gomes, João-Paulo Barros, Anikó Costa; Proceedings of CONTROLO’2002 5th Portuguese Conference on Automatic Control; 2002; ISBN 972-789-072-5

Activities as Behaviour Aspects”; João-Paulo Barros, Luís Gomes; The 2nd International Workshop on Aspect-Oriented Modeling with UML; In M. Kandé, O. Aldawud, G. Booch, and B. Harrison, editors; Held in conjunction with the Fifth International Conference on the Unified Modeling Language UML2002 - the Language and its Applications; September 30 - October 4, 2002, Dresden, Germany

“Modifying Petri Net Models by Means of Crosscutting Operations”; João Paulo Barros, Luís Gomes; ACSD’2003 - Third International Conference on Application of Concurrency to System Design; 18-20 June 2003, Guimarães, Portugal; Proceedings published by IEEE Computer Society Press, 264 pages / 22 papers, ISBN 0-7695-1887-7

On Lifting of Statechart Structuring Mechanisms”; Luís Gomes, Anikó Costa; ACSD’2003 - Third International Conference on Application of Concurrency to System Design; 18-20 June 2003, Guimarães, Portugal; Proceedings published by IEEE Computer Society Press, 264 pages / 22 papers, ISBN 0-7695-1887-7

From Use Cases to System Implementation: Statechart Based Co-design”; Luís Gomes, Anikó Costa; MEMOCODE’2003 - First ACM/IEEE Conference on Formal Methods and Programming Models for Codesign; 24-26 June 2003, Mont Saint-Michel, France; Proceedings published by IEEE Computer Society Press, 286 pages, ISBN 0-7695-1923-7

“On Structuring Mechanisms for Petri Nets Based System Design”; Luís Gomes, João-Paulo Barros; ETFA’2003 – 2003 IEEE Conference on Emerging Technologies and Factory Automation Proceedings; September, 16-19, 2003; Lisbon, Portugal; ISBN 0-7803-7937-3; IEEE Catalog Number 03TH8696

“Towards the Support for Crosscutting Concerns in Activity Diagrams: a Graphical Approach”; João Paulo Barros, Luís Gomes; Fourth Workshop on Aspect-Oriented Modeling with UML; October 20, 2003;  within UML’2003 – Sixth International Conference on the Unified Modeling Language, October 20-24, 2003, San Francisco, California, USA

“Actions as Activities and Activities as Petri Nets”; João Paulo Barros, Luís Gomes; CSDUML’2003 – Workshop on Critical Systems Development with UML; October 21, 2003; within UML’2003 – Sixth International Conference on the Unified Modeling Language, October 20-24, 2003, San Francisco, California, USA

“Concurrent systems’ hardware design using Petri nets”; Luís Gomes, Anikó Costa; Proceedings of the 5th European Workshop on Microelectronics Education – EWME 2004; Lausanne, Switzerland; 15-16 Abril 2004

Addition of fault detection capabilities in automation applications using Petri nets”; Luís Gomes, João Paulo Barros, Rui Lino; 2004 IEEE International Symposium on Industrial Electronics; 4-7 Maio 2004, Ajjaccio, France

“On system’s model transformation by Petri nets”; João Paulo Barros, Luís Gomes; CONTROLO’2004 – Sixth Portuguese Conference on Automatic Control; 7-9 Junho 2004; Faro, Portugal

“Net Model Composition and Modification by Net Operations: a Pragmatic Approach”; João Paulo Barros, Luís Gomes; INDIN’2004 – 2nd IEEE International Conference on Industrial Informatics; 24-26 June 2004; Berlin, Germany

“Operational PNML: Towards a PNML Support for Model Construction and Modification”; João Paulo Barros, Luís Gomes; In Workshop on the Definition, Implementation and Application of a Standard Interchange Format for Petri Nets; Satellite event at the International Conference on Application and Theory of Petri Nets 2004, Jun 2004, Bolonha, Itália.

“From Petri nets to executable systems: an environment for code generation and analysis”; João Paulo Barros, Luís Gomes, Rui Pais, Rui Dias; ICINCO’2004 – 1st International Conference on Informatics in Control, Automation and Robotics; 25-28 August 2004, Setúbal, Portugal

“Statechart based embedded systems co-design”; Luis Gomes, Anikó Costa; DESDes’04 - 2nd International Workshop on Discrete-Event System Design; Dychów near Zielona Gora, Poland, September 15-17, 2004

“From non-autonomous Petri net models to code in embedded systems design”; Luís Gomes, João Paulo Barros, Rui Pais; DESDes’04 - 2nd International Workshop on Discrete-Event System Design; Dychów near Zielona Gora, Poland, September 15-17, 2004

A Unidirectional Transition Fusion for Coloured Petri Nets and its Implementation for the CPNTools”; João Paulo Barros, Luís Gomes; CPN'04 - Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools; University of Aarhus, Denmark; October 8-11, 2004