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

DOI10.1016/J.IC.2008.06.003zbMath1178.68365OpenAlexW2079573613MaRDI QIDQ958302

Petr Jančar

Publication date: 3 December 2008

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2008.06.003

zbMATH Keywords

reachabilityPetri net

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Analyzing Reachability for Some Petri Nets With Fast Growing Markings

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The complexity of the word problems for commutative semigroups and polynomial ideals
• An Algorithm for the General Petri Net Reachability Problem

This page was built for publication: Bouziane's transformation of the Petri net reachability problem and incorrectness of the related algorithm