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