Text this: Application and theory of Petri nets 2000 :