Petri-Netze: Ein Abriß ihrer Grundlagen und Anwendungen - Herzog, O; Reisig, W; Valk, R (Informatik-Spektrum, 1984)