On conflict resolution in Petri nets models through model structuring and composition

2005 3rd IEEE International Conference on Industrial Informatics, INDIN

Volumn 2005, Issue , 2005, Pages 489-494

  Gomes, Luís ^a,b  

^a IEEE   (Portugal)

^b UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

Automation systems; Conflict resolution; Fairness; Model composition; Petri nets

Indexed keywords

AUTOMATION SYSTEMS; CONFLICT RESOLUTION; MODEL COMPOSITION; MODEL STRUCTURING;

ADMINISTRATIVE DATA PROCESSING; AUTOMATION; MATHEMATICAL MODELS; PROBLEM SOLVING;

PETRI NETS;

EID: 33845347347     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/INDIN.2005.1560425     Document Type: Conference Paper

References (13)

1. Claude Girault, and Rüdiger Valk, "Petri Nets for Systems Engineering - A Guide to Modeling, Verification, and Applications"; Springer; ISBN 3-540-41217-4, 2003
2. st International Conference on Informatics in Control, Automation and Robotics; 25-28 August 2004, Setubal, Portugal
3. st Int. Workshop on Manufacturing and Petri Nets; Osaka, Japan; 24-28 June 1996
4. Luis Gomes, João Paulo Barros; "Structuring and Composability Issues in Petri Nets Modeling"; IEEE Transactions on Industrial Informatics; Vol.1 No. 2; May 2005; pp 112-123
5. Soren Christensen and Laure Petrucci, "Modular Analysis of Petri Nets", The Computer Journal, Vol. 43, No. 3, 2000
6. João Paulo Barros and Luis Gomes, "Modifying Petri Net Models by Means of Crosscutting Operations"; ACSD'2003 - Third International Conference on Application of Concurrency to System Design; 18-20 June 2003, Guimaraes, Portugal
7. Luís Gomes, João-Paulo Barros; "On Structuring Mechanisms for Petri Nets Based System Design"; ETFA'2003 - 2003 IEEE Conference on Emerging Technologies and Factory Automation Proceedings; September, 16-19, 2003; Lisbon, Portugal
8. João Paulo Barros, Luis Gomes; "Net Model Composition and Modification by Net Operations: a Pragmatic Approach"; INDIN'2004 -2nd IEEE International Conference on Industrial Informatics; 24-26 June 2004; Berlin, Germany
9. P. Huber, K. Jensen, and R. M. Shapiro; "Hierarchies in Coloured Petri nets"; in "Advances in Petri Nets 1990", Lecture Nores in Computer Science LNCS 483, G. Rozenberg (Ed.); 1990, pp. 313-341
10. Luca Bemardinello and Fiorella De Cindio "A Survey of Basic Net Models and Modular Net Classes"; in "Advances in Petri Nets 1992"; Lecture Notes in Computer Science; G. Rozenberg (Ed.); Springer-Verlag
11. M. Silva; 1985; "Las Redes de Petri: en la Automática y la Informática"; Editorial AC, Madrid, ISBN 84 7288 045 1
12. R. David and H. Alla, "Petri Nets & Grafcet; Tools for modelling discrete event systems"; Prentice Hall International (UK) Ltd; ISBN 0-13-327537-X, 1992
13. E. Smith; 1995; "Carl Adam Petri and the continuum"; Second International Course on Petri Nets for Latin America; Campina Grande, Brazil; November 20-28, 1995