Petrinetze Eine Einführung - Reisig, Wolfgang (Springer, 1986)