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