Advances in Petri nets 1987. - Rozenberg, Grzegorz (Berlin : Springer Verlag, 1987)