A primitive recursive algorithm for the general Petri net reachability problem

Z. Bouziane
Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280)  
doi:10.1109/sfcs.1998.743436 dblp:conf/focs/Bouziane98 fatcat:qela4dxubzgdndiyykmqca3e4q