Reachability criterion of live free choice Petri nets

被引：0
|
作者：
Matsumoto, T
机构：
来源：
APCCAS '96 - IEEE ASIA PACIFIC CONFERENCE ON CIRCUITS AND SYSTEMS '96 | 1996年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Reachability problem is one of big issues in Petri net theory and it is reduced to that of free choice nets. However, a useful criterion has not been obtained for them. In this paper, some useful discussions on reachability of live free choice nets are presented; a net reduction method for a given net to the net with siphon/trap and a concept of immature siphon/trap are shown to judge the reachability of a given net.
引用
收藏
页码：350 / 353
页数：4
相关论文
共 50 条
  • [1] Reachability in live and safe free-choice Petri nets is NP-complete
    Esparza, J
    THEORETICAL COMPUTER SCIENCE, 1998, 198 (1-2) : 211 - 224
  • [2] REACHABILITY THEOREM FOR A CLASS OF LIVE AND SAFE FREE CHOICE NETS
    LEE, DI
    KUMAGAI, S
    KODAMA, S
    IEICE TRANSACTIONS ON COMMUNICATIONS ELECTRONICS INFORMATION AND SYSTEMS, 1991, 74 (10): : 3133 - 3143
  • [3] COMPOSITIONAL SYNTHESIS OF LIVE AND BOUNDED FREE CHOICE PETRI NETS
    ESPARZA, J
    SILVA, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 527 : 172 - 187
  • [4] Reachability of nonsynchronized choice Petri nets and its applications
    Chao, DY
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2005, 35 (06): : 1203 - 1213
  • [5] REDUCTION AND SYNTHESIS OF LIVE AND BOUNDED FREE-CHOICE PETRI NETS
    ESPARZA, J
    INFORMATION AND COMPUTATION, 1994, 114 (01) : 50 - 87
  • [6] Reachability criterion for Petri nets with known firing count vectors
    Matsumoto, T
    Miyano, Y
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1998, E81A (04): : 628 - 634
  • [7] Reachability and firing sequences of homogeneous synchronized choice Petri nets
    Chao, DY
    JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, 2005, 21 (01) : 129 - 152
  • [8] Handles and reachability analysis of free choice nets
    Lee, DI
    Kumagai, S
    Kodama, S
    APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 298 - 315
  • [9] On persistent reachability in Petri nets
    Barylska, Kamila
    Mikulski, Lukasz
    Ochmanski, Edward
    INFORMATION AND COMPUTATION, 2013, 223 : 67 - 77
  • [10] On reachability graphs of Petri nets
    Ye, XM
    Zhou, HT
    Song, XY
    COMPUTERS & ELECTRICAL ENGINEERING, 2003, 29 (02) : 263 - 272
12345