Text this: Advances in petri nets 1985