High undecidability of weak bisimilarity for Petri nets

被引：0
|
作者：
Jancar, P
机构：
来源：
TAPSOFT '95: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT | 1995年 / 915卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
It is shown that the problem whether two labelled place/transition Petri nets (with initial markings) are weakly bisimilar is highly undecidable - it resides at least at level omega of the hyperarithmetical hierarchy; on the other hand it belongs to Sigma(1)(1) (the first level of the analytical hierarchy). It contrasts with Pi(1)(0)-completeness of the same problem for trace (language) equivalence. Relations to similar problems for the process algebra BPP (Basic Parallel Processes) are also discussed.
引用
收藏
页码：349 / 363
页数：15
相关论文
共 50 条
  • [21] ON STRUCTURAL CONDITIONS FOR WEAK PERSISTENCY AND SEMILINEARITY OF PETRI NETS
    HIRAISHI, K
    ICHIKAWA, A
    THEORETICAL COMPUTER SCIENCE, 1992, 93 (02) : 185 - 199
  • [22] Abstract Petri nets as a uniform approach to high-level petri nets
    Padberg, J
    RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 1999, 1589 : 241 - 260
  • [23] Weak Bisimilarity Coalgebraically
    Popescu, Andrei
    ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, 2009, 5728 : 157 - 172
  • [24] On the High Complexity of Petri Nets ω-Languages
    Finkel, Olivier
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY (PETRI NETS 2020), 2020, 12152 : 69 - 88
  • [25] Weak bisimilarity and open maps
    Lasota, S
    SOFSEM'98: THEORY AND PRACTICE OF INFORMATICS, 1998, 1521 : 381 - 388
  • [26] Boundedness undecidability for synchronized nets
    Devillers, Raymond
    Van Begin, Laurent
    INFORMATION PROCESSING LETTERS, 2006, 99 (05) : 208 - 214
  • [27] Reset nets between decidability and undecidability
    Dufourd, C
    Finkel, A
    Schnoebelen, P
    AUTOMATA, LANGUAGES AND PROGRAMMING, 1998, 1443 : 103 - 115
  • [28] From Coloured Petri Nets to Object Petri Nets
    Lakos, C
    APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 278 - 297
  • [29] HIGH-LEVEL ALGEBRAIC PETRI NETS
    KAN, CY
    HE, XD
    INFORMATION AND SOFTWARE TECHNOLOGY, 1995, 37 (01) : 23 - 30
  • [30] Z AND HIGH-LEVEL PETRI NETS
    VANHEE, KM
    SOMERS, LJ
    VOORHOEVE, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 204 - 219
12345