Nicolas Schiller. Das Erreichbarkeitsproblem für Stetige Petri-Netze ist entscheidbar. In Jörg Desel, Andreas Oberweis, editors, 6. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN 99), Frankfurt, Germany, October 11. - 12., 1999. Volume 26 of CEUR Workshop Proceedings, CEUR-WS.org, 1999. [doi]
Abstract is missing.