Petri nets, an introduction. - Springer Verlag, 1982. - ( EATCS Monographs on Theoretical Computer Science ; 4).