Nonprimitive recursive complexity and undecidability for Petri net equivalences

被引：9
|
作者：
Jancar, P [1 ]
机构：
[1] Tech Univ Ostrava, Dept Comp Sci, CZ-70833 Ostrava, Czech Republic
来源：
THEORETICAL COMPUTER SCIENCE | 2001年 / 256卷 / 1-2期
关键词：
Petri-nets; decidability; complexity;
D O I：
10.1016/S0304-3975(00)00100-6
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The aim of this note is twofold. Firstly, it shows that the undecidability result for bisimilarity in [Theor. Comput. Sci. 148 (1995) 281-301] can be immediately extended for the whole range of equivalences land preorders) on labelled Petri nets. Secondly, it shows that restricting our attention to nets with finite reachable space, the respective (decidable) problems are nonprimitive recursive; this approach also applies to Mayr and Meyer's result [J. ACM 28 (1981) 561-576] for the reachability set equality, yielding a more direct proof. (C) 2001 Elsevier Science B.V. All rights reserved.
引用
收藏
页码：23 / 30
页数：8
相关论文
共 50 条
  • [21] High undecidability of weak bisimilarity for Petri nets
    Jancar, P
    TAPSOFT '95: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, 1995, 915 : 349 - 363
  • [22] THE UNDECIDABILITY OF PROPOSITIONAL TEMPORAL LOGIC FOR PETRI NETS
    CHERKASOVA, LA
    KOTOV, VE
    COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1987, 6 (02): : 123 - 130
  • [23] Testing Equivalences of Time Petri Nets
    E. N. Bozhenkova
    I. B. Virbitskaite
    Programming and Computer Software, 2020, 46 : 251 - 260
  • [24] Testing Equivalences of Time Petri Nets
    Bozhenkova, E.N.
    Virbitskaite, I.B.
    Programming and Computer Software, 2020, 46 (04): : 251 - 260
  • [25] Petri net transformations in the Petri Net Baukasten
    Braatz, B.
    Ehrig, H.
    Urbášek, M.
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003, 2472 : 37 - 65
  • [26] Testing Equivalences of Time Petri Nets
    Bozhenkova, E. N.
    Virbitskaite, I. B.
    PROGRAMMING AND COMPUTER SOFTWARE, 2020, 46 (04) : 251 - 260
  • [27] Petri net transformations in the "Petri Net Baukasten"
    Braatz, B
    Ehrig, H
    Urbásek, M
    PETRI NET TECHNOLOGY FOR COMMUNICATION-BASED SYSTEMS: ADVANCES IN PETRI NETS, 2003, 2472 : 37 - 65
  • [28] A petri net application:: Modelling a high complexity IC design process
    Fernández-Ramos, R
    Romero-Sánchez, J
    Ríos-Gómez, F
    Martin-Canales, J
    Marín-Martín, J
    Molina-Conde, AI
    2nd International Industrial Simulation Conference 2004, 2004, : 180 - 184
  • [29] Conversion and Verification of Recursive Structure in PI-Calculus with Compositional Petri-NET
    Kang, Hui
    Liu, Siqi
    Qiu, Feng
    2015 11TH INTERNATIONAL CONFERENCE ON NATURAL COMPUTATION (ICNC), 2015, : 135 - 142
  • [30] New Petri net controller for distributed Petri net
    Dohi, Y
    Takano, W
    Horiguchi, T
    Murakoshi, H
    IECON '98 - PROCEEDINGS OF THE 24TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-4, 1998, : 143 - 148
12345