Compositional reachability in petri nets

被引：10
|
作者：
Rathke, Julian [1 ]
Sobociński, Pawell [1 ]
Stephens, Owen [1 ]
机构：
[1] ECS, University of Southampton, United Kingdom
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2014年 / 8762卷
关键词：
Algebra;
D O I：
10.1007/978-3-319-11439-2_18
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：230 / 243
相关论文
共 50 条
  • [1] On persistent reachability in Petri nets
    Barylska, Kamila
    Mikulski, Lukasz
    Ochmanski, Edward
    INFORMATION AND COMPUTATION, 2013, 223 : 67 - 77
  • [2] On reachability graphs of Petri nets
    Ye, XM
    Zhou, HT
    Song, XY
    COMPUTERS & ELECTRICAL ENGINEERING, 2003, 29 (02) : 263 - 272
  • [3] The Reachability Problem for Petri Nets Is Not Elementary
    Czerwinski, Wojciech
    Lasota, Slawomir
    Lazic, Ranko
    Leroux, Jerome
    Mazowiecki, Filip
    PROCEEDINGS OF THE 51ST ANNUAL ACM SIGACT SYMPOSIUM ON THEORY OF COMPUTING (STOC '19), 2019, : 24 - 33
  • [4] A STRUCTURE TO DECIDE REACHABILITY IN PETRI NETS
    LAMBERT, JL
    THEORETICAL COMPUTER SCIENCE, 1992, 99 (01) : 79 - 104
  • [5] On Achieving Reachability Paths of Petri nets
    Ozkan, Hanife Apaydin
    2015 9TH INTERNATIONAL CONFERENCE ON ELECTRICAL AND ELECTRONICS ENGINEERING (ELECO), 2015, : 724 - 728
  • [6] The Reachability Problem for Petri Nets Is Not Elementary
    Czerwinski, Wojciech
    Lasota, Slawomir
    Lazic, Ranko
    Leroux, Jerome
    Mazowiecki, Filip
    JOURNAL OF THE ACM, 2021, 68 (01)
  • [7] An algorithm for Petri nets reachability by unfoldings
    Miyamoto, T
    Nakano, S
    Kumagai, S
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1999, E82A (03) : 500 - 503
  • [8] Reachability in Petri Nets with Inhibitor Arcs
    Reinhardt, Klaus
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 223 : 239 - 264
  • [9] Reachability Analysis for a Class of Petri Nets
    Ru, Yu
    Hadjicostis, Christoforos N.
    PROCEEDINGS OF THE 48TH IEEE CONFERENCE ON DECISION AND CONTROL, 2009 HELD JOINTLY WITH THE 2009 28TH CHINESE CONTROL CONFERENCE (CDC/CCC 2009), 2009, : 1261 - 1266
  • [10] COMPOSITIONAL ANALYSIS OF PETRI NETS
    Zaitsev, D. A.
    CYBERNETICS AND SYSTEMS ANALYSIS, 2006, 42 (01) : 126 - 136
12345