Concurrency and nets : advances in Petri nets - Voss, K. (Springer Verlag, 1987)