Bouziane's transformation of the Petri net reachability problem and incorrectness of the related algorithm

被引：4
|
作者：
Jancar, Petr [1 ]
机构：
[1] Tech Univ Ostrava, Dept Comp Sci, Ctr Appl Cybernet, FEI VSB, CZ-70833 Ostrava, Czech Republic
来源：
INFORMATION AND COMPUTATION | 2008年 / 206卷 / 11期
关键词：
Petri net; Reachability;
D O I：
10.1016/j.ic.2008.06.003
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The proceedings of FOCS'98 contain a paper by Zakariae Bouziane, who sketches a new representation of the Petri net reachability problem and claims to provide a new algorithm solving the problem. In this note, the essence of Bouziane's approach is explained, and a serious flaw of the algorithm is exposed. (c) 2008 Elsevier Inc. All rights reserved.
引用
收藏
页码：1259 / 1263
页数：5
相关论文
共 28 条
  • [1] AN ALGORITHM FOR THE GENERAL PETRI NET REACHABILITY PROBLEM
    MAYR, EW
    SIAM JOURNAL ON COMPUTING, 1984, 13 (03) : 441 - 460
  • [2] A primitive recursive algorithm for the general Petri net reachability problem
    Bouziane, Z
    39TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 1998, : 130 - 136
  • [3] DECIDABILITY OF THE PETRI NET REACHABILITY PROBLEM
    BUDINAS, BL
    AUTOMATION AND REMOTE CONTROL, 1988, 49 (11) : 1393 - 1422
  • [4] A graph theoretic approach to reachability problem with Petri net unfoldings
    Miyamoto, T
    Kumagai, S
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1996, E79A (11) : 1809 - 1816
  • [5] Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem
    Ma, Ziyue
    Tong, Yin
    Li, Zhiwu
    Giua, Alessandro
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2017, 62 (03) : 1078 - 1093
  • [6] Analysis for reachability problem of bounded Petri net using key constraints method
    Lan, Qianyi
    Qin, Haisheng
    Zhang, Xiaoling
    2007 IEEE INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION, VOLS 1-7, 2007, : 941 - 945
  • [7] Study on Mission Reachability Problem for Multiple AUVs Based on Object-oriented Petri Net
    Lin, Changlong
    Li, Yiping
    2015 IEEE INTERNATIONAL CONFERENCE ON CYBER TECHNOLOGY IN AUTOMATION, CONTROL, AND INTELLIGENT SYSTEMS (CYBER), 2015, : 1259 - 1264
  • [8] An Automatic Algorithm to Generate a Reachability Tree for Large-Scale Fuzzy Petri Net by And/Or Graph
    Zhou, Kai-Qing
    Mo, Li-Ping
    Ding, Lei
    Gui, Wei-Hua
    SYMMETRY-BASEL, 2018, 10 (10):
  • [9] Escape-time modified algorithm for generating fractal images based on petri net reachability
    Hussein, HK
    Hassanien, AE
    Nakajima, M
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1999, E82D (07) : 1101 - 1108
  • [10] Modeling Shor's Algorithm with Colored Petri Net
    Ohta, Atsushi
    Tsuji, Kohkichi
    2022 37TH INTERNATIONAL TECHNICAL CONFERENCE ON CIRCUITS/SYSTEMS, COMPUTERS AND COMMUNICATIONS (ITC-CSCC 2022), 2022, : 1015 - 1018
123