Advances in Petri Nets 1985 - nidottu, Englanti, 1986