Hans Kleine Büning;Theodor Lettmann;Ernst W. Mayr
Univ.-GH-Duisburg, Duisburg, W. Germany;Univ.-GH-Duisburg, Duisburg, W. Germany;Univ.-GH-Duisburg, Duisburg, W. Germany
Reachability in Petri Nets with Inhibitor Arcs
Electronic Notes in Theoretical Computer Science (ENTCS)