A Survey of Object-Oriented Petri Nets and Analysis Methods

Toshiyuki MIYAMOTO  Sadatoshi KUMAGAI  

Publication
IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences   Vol.E88-A   No.11   pp.2964-2971
Publication Date: 2005/11/01
Online ISSN: 
DOI: 10.1093/ietfec/e88-a.11.2964
Print ISSN: 0916-8508
Type of Manuscript: INVITED PAPER (Special Section on Concurrent/Hybrid Systems: Theory and Applications)
Category: 
Keyword: 
Petri nets,  object orientation,  multi-agent systems,  reachability problem,  distributed systems,  formal model,  

Full Text: PDF>>
Buy this Article




Summary: 
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.