Bouzinae's algorithm for the Petri net reachability problem is incorrect.

For the most recent entries see the Petri Nets Newsletter.

Report, 6 pages, 2000. Available at http://www.cs.vsb.cz/jancar/zb00.ps.

Do you need a refined search? Try our search engine which allows complex field-based queries.