Advances in Petri nets 1987 - Rozenberg, Grzegorz (Springer, 1987)