Bouziane’s transformation of the Petri net reachability problem and incorrectness of the related algorithm
Loading...
Downloads
Date issued
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Elsevier
Location
Není ve fondu ÚK
Signature
Abstract
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.
Description
Delayed publication
Available after
Subject(s)
Petri net, reachability
Citation
Information and Computation. 2008, vol. 206, issue 11, p. 1259-1263.