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