Jörg Desel;Javier Esparza
-;-
Reachability In Some Classes Of Acyclic Petri Nets
Fundamenta Informaticae