Petrinetze : eine einfuehrung - Reisig, Wolfgang (Berlin : Springer Verlag, 1982)