DocumentCode
397616
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
Volume
1
fYear
2003
fDate
5-8 Oct. 2003
Firstpage
604
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man and Cybernetics, 2003. IEEE International Conference on
ISSN
1062-922X
Print_ISBN
0-7803-7952-7
Type
conf
DOI
10.1109/ICSMC.2003.1243881
Filename
1243881
Link To Document