Advances in Petri nets, 1985 / - Rozenberg, Grzegorz. (Springer-Verlag,, 1986)