Title :
Specification of distributed systems using multi-Level Petri nets
Author :
Ramos, Feli F. ; Zuniga, F. ; Alcala, Antonio ; Piza, Ivan
Author_Institution :
Inst. Polytec. Nat., Centro de Investigacion y de Estudios Avanzados, Mexico City, Mexico
Abstract :
This paper present a formalism for modeling distributed systems. The formalism called Extended Object Systems is an extension to Elementary Object Systems. Main advantages of this work includes: the natural modeling of elements need to interchange information, the size of obtained models, the possibility of doing analysis which is a very important task of the cycle of software development.
Keywords :
Petri nets; formal specification; mobile agents; multi-agent systems; distributed systems specification; elementary object systems; extended object systems; information interchange; mobile agents; modeling; multiagent systems; multilevel Petri nets; software development; Automata; Discrete event systems; Distributed computing; Manufacturing processes; Mathematical model; Merging; Multiagent systems; Object oriented modeling; Petri nets; Proposals;
Conference_Titel :
Systems, Man and Cybernetics, 2003. IEEE International Conference on
Print_ISBN :
0-7803-7952-7
DOI :
10.1109/ICSMC.2003.1243881
