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