Wolfgang Reisig Petri Nets: An Introduction 1985 Springer Monographs in Theoretical Computer Science. An EATCS Series 4 3-540-13723-8