"6. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN'99), ..."

Jörg Desel, Andreas Oberweis (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics