Compositional reachability in petri nets

被引：8
|
作者：
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
    [J]. INFORMATION AND COMPUTATION, 2013, 223 : 67 - 77
  • [2] On reachability graphs of Petri nets
    Ye, XM
    Zhou, HT
    Song, XY
    [J]. 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
    [J]. PROCEEDINGS OF THE 51ST ANNUAL ACM SIGACT SYMPOSIUM ON THEORY OF COMPUTING (STOC '19), 2019, : 24 - 33
  • [4] On Achieving Reachability Paths of Petri nets
    Ozkan, Hanife Apaydin
    [J]. 2015 9TH INTERNATIONAL CONFERENCE ON ELECTRICAL AND ELECTRONICS ENGINEERING (ELECO), 2015, : 724 - 728
  • [5] A STRUCTURE TO DECIDE REACHABILITY IN PETRI NETS
    LAMBERT, JL
    [J]. THEORETICAL COMPUTER SCIENCE, 1992, 99 (01) : 79 - 104
  • [6] The Reachability Problem for Petri Nets Is Not Elementary
    Czerwinski, Wojciech
    Lasota, Slawomir
    Lazic, Ranko
    Leroux, Jerome
    Mazowiecki, Filip
    [J]. JOURNAL OF THE ACM, 2021, 68 (01)
  • [7] Reachability in Petri Nets with Inhibitor Arcs
    Reinhardt, Klaus
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 223 : 239 - 264
  • [8] An algorithm for Petri nets reachability by unfoldings
    Miyamoto, T
    Nakano, S
    Kumagai, S
    [J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1999, E82A (03) : 500 - 503
  • [9] Reachability Analysis for a Class of Petri Nets
    Ru, Yu
    Hadjicostis, Christoforos N.
    [J]. 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.
    [J]. CYBERNETICS AND SYSTEMS ANALYSIS, 2006, 42 (01) : 126 - 136
12345