Iain A. Stewart Reachability in Some Classes of Acyclic Petri Nets. 91-100 1995 23 Fundam. Inform. 1 db/journals/fuin/fuin23.html#Stewart95