For Full-Text PDF, please login, if you are a member of IEICE,|
or go to Pay Per View on menu list, if you are a nonmember of IEICE.
A Survey of Object-Oriented Petri Nets and Analysis Methods
Toshiyuki MIYAMOTO Sadatoshi KUMAGAI
IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/11/01
Print ISSN: 0916-8508
Type of Manuscript: INVITED PAPER (Special Section on Concurrent/Hybrid Systems: Theory and Applications)
Petri nets, object orientation, multi-agent systems, reachability problem, distributed systems, formal model,
Full Text: PDF>>
Petri nets are a well-known graphical and modeling tool for concurrent and distributed systems, and there have been many results on the theory, and also on practical applications. In the last decade, various Object-Oriented Petri nets (OO-nets) are proposed. As object orientation was adopted for programming languages, extension to OO-nets inspired from object-oriented programming is a natural flow. This article presents state-of-the-art on OO-nets.