Presentation | 2002/11/2 On Efficient Analysis of Agent-Oriented Petri net PN^2 : Behavior Preserving Reduction Method Kouji OKAHASHI, Kunihiko HIRAISHI, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | As an extended model of Petri nets, agent-oriented Petri nets are proposed for modeling multi-agent systems. PN^2 has been proposed as an elementary class of agent-oriented Petri nets. PN^2 consists of two layers of Petri nets - the upper layer is called an environmental net, and the Petri nets in the lower layer are called agent nets which act as tokens of the environment net. For PN^2, reachability analysis using the incidence matrix is proposed, where the size of the incidence matrix is determined by the number of states times the number of transitions of each agent net. Therefore, we can reduce the size of the incidence matrix by transforming each agent net to an equivalent one with fewer states and transitions. In this paper, we describe a method for such transformation. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | extened Petri nets / agent orientation / reduction of models / reduction of incidence matrices / analysis of systems |
Paper # | CST2002-36 |
Date of Issue |
Conference Information | |
Committee | CST |
---|---|
Conference Date | 2002/11/2(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Concurrent System Technology (CST) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | On Efficient Analysis of Agent-Oriented Petri net PN^2 : Behavior Preserving Reduction Method |
Sub Title (in English) | |
Keyword(1) | extened Petri nets |
Keyword(2) | agent orientation |
Keyword(3) | reduction of models |
Keyword(4) | reduction of incidence matrices |
Keyword(5) | analysis of systems |
1st Author's Name | Kouji OKAHASHI |
1st Author's Affiliation | School of Information Science Japan Advanced Institute of Science and Technology() |
2nd Author's Name | Kunihiko HIRAISHI |
2nd Author's Affiliation | School of Information Science Japan Advanced Institute of Science and Technology |
Date | 2002/11/2 |
Paper # | CST2002-36 |
Volume (vol) | vol.102 |
Number (no) | 429 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |