PUBLICATIONS on Petri nets and other models of
concurrency
“Hardware
Design and Petri Nets”; Alex. Yakovlev, Luís Gomes, Luciano Lavagno (Eds.); Kluwer
Academic Publishers; 2000; ISBN 0-7923-7791-5; 331 pgs.
“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
"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;
"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.
"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;
"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;
“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