A three-level net formalism for the modelling of multiple mobile robot systems

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

Volumn 3, Issue , 2003, Pages 2733-2738

  López Mellado, Ernesto ^a   Almeyda Canepa, Hugo ^a  

^a UNIDAD GUADALAJARA   (Mexico)

Author keywords

Agent based software specification; Mobile robot coordination; Multi level modelling; Petri nets with dynamic tokens

Indexed keywords

JAVA PROGRAMMING LANGUAGE; MATHEMATICAL MODELS; MOBILE ROBOTS; ROBOTICS; SOFTWARE AGENTS;

MULTIPLE MOBILE ROBOT SYSTEMS;

PETRI NETS;

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

References (11)

1. Almeyda, H. I. "A three-level net system for the modelling of mobile agents" (in Spanish). MSc Thesis CINVESTAVIPN, Guadalajara, México, September, 2002
2. DiCesare, F. G.Harhalakis, J.M.Proth, M.Silva, F.B.Vernadat. "Practice of Petri Nets in Manufacturing". Chapman & Hall. 1993
3. Genrich, H.J., Lautenbach,K. "The Analysis of Distributed Systems by Means of Predicate/Transition Nets". Semantics of Concurrent Computation. Evian 1979, G.Kahn (ed). Lecture Notes in Computer Science, Vol. 70, Springer Verlag 1979.
4. Hirashi K. "A Petri-net-based model for the mathematical analysis of multi-agent systems". Proceedings of the IEEE International Conference on Systems, Man & Cybernetics, Nashville, Tennessee, USA. October 2000.
5. Jensen, K. "Coloured Petri Nets and the Invariant Method". Theoretical Computer Science Vol. 14, pp 317-336 1981.
6. Kasturia, E. Dicesare, F., Desrochers, A. "Real Time Control of Multilevel Manufacturing Systems Using Colored Petri Nets". IEEE Int. Conf. on Robotics and Automation, Philadelphia, PA USA, May 1987. pp. 1114-1119
7. Lakos C. "From Coloured Petri Nets to Object Petri Nets". Proceedings of 16th International Conference on the Application and Theory of Petri Nets, LNCS 935, pp. 278-297, Torino, Italy, Springer-Verlag (1995).
8. Lomazova, I. "Nested Petri nets -a formalism for specification and verification of multi-agent distributed systems". Fundamenta informaticae 43 (2000) pp. 195-214. IOS Press
9. Peterson, J.L. "Petri Net Theory and Modeling of Systems". Ed. Prentice Hall, 1981.
10. Sibertin-Blanc, C. "Cooperative Nets". Proceedings of the 15th International Conference on Application and Theory of Petri Nets, LNCS 815, Zaragoza, Spain. June 1994
11. Valk, R. "Petri nets as token objects: an introduction to elementary object nets". Proceedings of Int. Conf. on application and theory of Petri nets, LNCS 1420 pp. 1-25, Springer Verlag 1998.