Text this: Application and theory of Petri nets, 1992 :