On Reachability Analysis of Multi Agent Nets

Toshiyuki MIYAMOTO; Masaki SAKAMOTO; Sadatoshi KUMAGAI

doi:10.1093/ietfec/e90-a.10.2257

On Reachability Analysis of Multi Agent Nets

Toshiyuki MIYAMOTO, Masaki SAKAMOTO, Sadatoshi KUMAGAI

Full Text Views

0

Share
Cite this

Summary :

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.

Publication: IEICE TRANSACTIONS on Fundamentals Vol.E90-A No.10 pp.2257-2260

Publication Date: 2007/10/01

Publicized

Online ISSN: 1745-1337

DOI: 10.1093/ietfec/e90-a.10.2257

Type of Manuscript: Special Section LETTER (Special Section on Nonlinear Theory and its Applications)

Category: Systems Theory and Control

Cite this

Copy

Toshiyuki MIYAMOTO, Masaki SAKAMOTO, Sadatoshi KUMAGAI, "On Reachability Analysis of Multi Agent Nets" in IEICE TRANSACTIONS on Fundamentals, vol. E90-A, no. 10, pp. 2257-2260, October 2007, doi: 10.1093/ietfec/e90-a.10.2257.
Abstract: 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.
URL: https://globals.ieice.org/en_transactions/fundamentals/10.1093/ietfec/e90-a.10.2257/_p

Copy

@ARTICLE{e90-a_10_2257,
author={Toshiyuki MIYAMOTO, Masaki SAKAMOTO, Sadatoshi KUMAGAI, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={On Reachability Analysis of Multi Agent Nets},
year={2007},
volume={E90-A},
number={10},
pages={2257-2260},
abstract={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.},
keywords={},
doi={10.1093/ietfec/e90-a.10.2257},
ISSN={1745-1337},
month={October},}

Copy

TY - JOUR
TI - On Reachability Analysis of Multi Agent Nets
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 2257
EP - 2260
AU - Toshiyuki MIYAMOTO
AU - Masaki SAKAMOTO
AU - Sadatoshi KUMAGAI
PY - 2007
DO - 10.1093/ietfec/e90-a.10.2257
JO - IEICE TRANSACTIONS on Fundamentals
SN - 1745-1337
VL - E90-A
IS - 10
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - October 2007
AB - 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.
ER -