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 条
  • [31] Reduction Method for Reachability Analysis of Petri Nets
    韩赞东
    李基范
    Tsinghua Science and Technology, 2003, (02) : 231 - 235
  • [32] REACHABILITY TREES FOR PETRI NETS - A HEURISTIC APPROACH
    UMA, G
    PRASAD, BE
    KNOWLEDGE-BASED SYSTEMS, 1993, 6 (03) : 174 - 177
  • [33] Hybrid Petri nets and analysis of its reachability
    Li, Huifeng
    Zhou, Rui
    Chen, Zongji
    Beijing Hangkong Hangtian Daxue Xuebao/Journal of Beijing University of Aeronautics and Astronautics, 2000, 26 (02): : 149 - 152
  • [34] Unfolding of Petri nets with semilinear reachability set
    Ohta, A
    Tsuji, K
    2004 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL 4, PROCEEDINGS, 2004, : 501 - 504
  • [35] Reachability graph for autonomous continuous Petri nets
    David, R
    Alla, H
    POSITIVE SYSTEMS, PROCEEDINGS, 2003, 294 : 63 - 70
  • [36] Forward reachability analysis of timed Petri nets
    Abdulla, PA
    Deneux, J
    Mahata, P
    Nylén, A
    FORMAL TECHNIQUES, MODELLING AND ANALYSIS OF TIMED AND FAULT-TOLERANT SYSTEMS, PROCEEDINGS, 2004, 3253 : 343 - 362
  • [37] Hierarchical Reachability Graph Generation for Petri Nets
    Peter Buchholz
    Peter Kemper
    Formal Methods in System Design, 2002, 21 : 281 - 315
  • [38] Hierarchical reachability graph generation for Petri nets
    Buchholz, P
    Kemper, P
    FORMAL METHODS IN SYSTEM DESIGN, 2002, 21 (03) : 281 - 315
  • [39] REACHABILITY ANALYSIS OF PETRI NETS USING SYMMETRIES
    STARKE, PH
    SYSTEMS ANALYSIS MODELLING SIMULATION, 1991, 8 (4-5): : 293 - 303
  • [40] Solving the reachability problem of a class of Petri nets
    Jeng, MD
    Peng, MY
    ETFA '97 - 1997 IEEE 6TH INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION PROCEEDINGS, 1997, : 258 - 262
12345