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