Modified Rules for Modular Reachability Analysis of Petri Nets for Multiagent Systems

被引：0

作者：

Miyamoto, Toshiyuki ^{[1
]}

机构：

[1] Osaka Univ, Grad Sch Engn, Osaka, Japan

来源：

2017 56TH ANNUAL CONFERENCE OF THE SOCIETY OF INSTRUMENT AND CONTROL ENGINEERS OF JAPAN (SICE) | 2017年

关键词：

Petri nets; modular analysis; multiagent systems; reachability analysis;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Petri nets (PNs) are a well known modeling language for concurrent systems. Multiagent nets (MANs) are a variant of extended PNs. In our previous study, we studied modular reachability analysis of MANs and proposed a set of rules to transform a MAN into a modular Petri net. In this paper, we propose modified transformation rules that do not require duplicating places and transitions. Computational complexity of the transformation is slightly reduced.

引用

页码：149 / 150

页数：2

共 7 条

[1] Modular analysis of Petri nets
Christensen, S
Petrucci, L
[J]. COMPUTER JOURNAL, 2000, 43 (03) : 224 - 242
[2] Jensen K., 1997, COLOURED PETRI NETS, V1
[3] A survey of object-oriented Petri nets and analysis methods
Miyamoto, T
Kumagai, S
[J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2005, E88A (11) : 2964 - 2971
[4] Miyamoto T., 1996, Symposium on Discrete Events and Manufacturing Systems. CESA'96 IMACS Multiconference. Computational Engineering in Systems Applications, P619
[5] Modular Reachability Analysis of Petri Nets for Multiagent Systems
Miyamoto, Toshiyuki
Horiguchi, Kyota
[J]. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2013, 43 (06): : 1411 - 1423
[6] PETRI NETS - PROPERTIES, ANALYSIS AND APPLICATIONS
MURATA, T
[J]. PROCEEDINGS OF THE IEEE, 1989, 77 (04) : 541 - 580
[7] Valk R, 1998, LECT NOTES COMPUT SC, V1420, P1

← 1 →