Reachability in Some Classes of Acyclic Petri Nets

Slides referencing similar topics