| dc.contributor.author | Jančar, Petr | |
| dc.date.accessioned | 2009-01-05T14:54:36Z | |
| dc.date.available | 2009-01-05T14:54:36Z | |
| dc.date.issued | 2008 | |
| dc.identifier.citation | Information and Computation. 2008, vol. 206, issue 11, p. 1259-1263. | en |
| dc.identifier.issn | 0890-5401 | |
| dc.identifier.uri | http://hdl.handle.net/10084/70748 | |
| dc.description.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. | en |
| dc.language.iso | en | en |
| dc.publisher | Elsevier | en |
| dc.relation.ispartofseries | Information and Computation | en |
| dc.relation.uri | http://dx.doi.org/10.1016/j.ic.2008.06.003 | en |
| dc.subject | Petri net | en |
| dc.subject | reachability | en |
| dc.title | Bouziane’s transformation of the Petri net reachability problem and incorrectness of the related algorithm | en |
| dc.type | article | en |
| dc.identifier.location | Není ve fondu ÚK | en |
| dc.identifier.doi | 10.1016/j.ic.2008.06.003 | |
| dc.identifier.wos | 000260754400001 | |