On Reachability Analysis of Multi Agent Nets

Toshiyuki MIYAMOTO  Masaki SAKAMOTO  Sadatoshi KUMAGAI  

IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences   Vol.E90-A   No.10   pp.2257-2260
Publication Date: 2007/10/01
Online ISSN: 1745-1337
DOI: 10.1093/ietfec/e90-a.10.2257
Print ISSN: 0916-8508
Type of Manuscript: Special Section LETTER (Special Section on Nonlinear Theory and its Applications)
Category: Systems Theory and Control
Petri nets,  multi-agent,  object-orientation,  reachability analysis,  

Full Text: PDF>>
Buy this Article

Petri nets are known as a modeling language for concurrent and distributed systems. In recent years, various object-oriented Petri nets were proposed, and we are proposing a kind of object-oriented Petri nets, called multi agent nets (MANs). In this letter, we consider the reachability analysis of MANs. We propose an algorithm for generating an abstract state space of a multi agent net, and report results of computational experiments.