Rudolf J. Kruse, Kurt Lautenbach. Constraint Satisfaction mit Petri-Netzen. 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.