Hanno Ridder: Analyse von Petri-Netz-Modellen mit Entscheidungsdiagrammen. Fölbach Koblenz, Landau, Univ. 1997, ISBN 3-923532-55-5, 1-147