A Survey of Object-Oriented Petri Nets and Analysis Methods

Authors:
Toshiyuki Miyamoto;Sadatoshi Kumagai
Affiliations:
The authors are with the Graduate School of Engineering, Osaka University, Suita-shi, 565-0871 Japan. E-mail: miyamoto@eei.eng.osaka-u.ac.jp;The authors are with the Graduate School of Engineering, Osaka University, Suita-shi, 565-0871 Japan. E-mail: miyamoto@eei.eng.osaka-u.ac.jp
Venue:
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Year:
2005

Citing 0
Cited 4

An agent-based model for virtual tourism using object Petri nets

CSECS'06 Proceedings of the 5th WSEAS International Conference on Circuits, Systems, Electronics, Control & Signal Processing
On Reachability Analysis of Multi Agent Nets

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Autonomous distributed system and its realization by multi agent nets

ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.