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