A primitive recursive algorithm for the general Petri net reachability problem

DOI10.1109/SFCS.1998.743436MaRDI QIDQ6909510zbMATH OpenFDO

Authors Zakaria Bouziane

Publication date 29 October 2025

Full work available at URL https://doi.org/10.1109/SFCS.1998.743436

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cited in

(1)

• Vector addition systems reachability problem (a simpler solution)

This page was built for publication: A primitive recursive algorithm for the general Petri net reachability problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6909510)