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