Petrinetze e. Einf. - Reisig, Wolfgang 1950- (Springer, 1982)