Advances in Petri nets 1984. (Springer Verlag, 1985)