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