Concurrency and nets : advances in Petri nets - Voss, K.; Genrich, H. J.; Rozenberg, Grzegorz (Springer Verlag, 1987)