Oberweis, Andreas: Modellierung und Ausf\"uhrung von Workflows mit Petri-Netzen. Stuttgart : Teubner, 1996. - ISBN 3815426006