Vol-2906⫷ Vol-2907 ⫸Vol-2908
urn:nbn:de:0074-2907-0


Vol-2907/paper6⫷Vol-2907/paper7⫸Vol-2907/paper8
Ronny TredupSophie Wallner

The Reachability Problem for Acyclic Join-Free Petri nets is NP-complete