Author: Germany) Workshop Algorithmen und Werkzeuge für Petrinetze (5th 1998 Dortmund