Specification of distributed systems using multi-Level Petri nets
- Resource Type
- Conference
- Authors
- Ramos, F.F.; Zuniga, F.; Alcala, A.; Piza, I.
- Source
- SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483) Systems, man and cybernetics Systems, Man and Cybernetics, 2003. IEEE International Conference on. 1:604-609 vol.1 2003
- Subject
- Computing and Processing
Robotics and Control Systems
Petri nets
Object oriented modeling
Mathematical model
Distributed computing
Multiagent systems
Automata
Discrete event systems
Manufacturing processes
Merging
Proposals
- Language
- ISSN
- 1062-922X
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.