Text this: Application and theory of petri nets 2000 :