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