Petri Nets: An Introduction (Monographs in Theoretical Computer Science. An EATCS Series) | EKB DL