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