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 条
123