An approach to modelling FMS with dynamic object Petri nets

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

Volumn 1, Issue , 2002, Pages 49-54

  Farwer, Berndt ^a   Moldt, Daniel ^a   García Vallés, Fernando ^b  

^a UNIVERSITY OF HAMBURG   (Germany)

^b UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

Deadlock prevention; Dynamic system structure; Flexible manufacturing systems; Object Petri nets

Indexed keywords

ALGORITHMS; COMPUTER SYSTEM RECOVERY; PETRI NETS; SYSTEMS ENGINEERING;

DYNAMIC SYSTEM STRUCTURE;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 0037670041     PISSN: 08843627     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (7)

1. J. Ezpeleta, J.M. Colom, and J. Martínez. A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Tr. on Robotics and Automation, 11(2):173-184, April 1995.
2. Olaf Kummer. Referenznetze. Dissertation, University of Hamburg, Department for Computer Science, Vogt-Kölln Str. 30, 22527 Hamburg, Germany, 2002.
3. Olaf Kummer and Frank Wienberg. Renew - the Reference Net Workshop. Petri Net Newsletter, (56):12-16, April 1999. (see also http://wro.renew.de).
4. J. Park and S. Reveliotis. Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Tr. on Automatic Control, 46(10):1572-1583, October 2001.
5. F. Tricas, J.M. Colom, and J. Ezpeleta. A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming. In G. Horton, D. Moller, and U. Rude, editors, Proc. of the 11th European Simulation Symposium, pages 542-546, October 1999.
6. F. Tricas, F. García-Vallés, J.M. Colom, and J. Ezpeleta. An iterative method for deadlock prevention in FMS. In Discrete Event Systems: Analysis and Control. Proc. of WODES 2000, pages 139-148, 2000.
7. Rüdiger Valk. Petri Nets as Token Objects: An Introduction to Elementary Object Nets. In Jörg Desel, editor, 19th International Conference on Application and Theory of Petri nets, number 1420 in LNCS, Berlin, 1998. Springer-Verlag.