Text this: Application and theory of Petri nets 2002 :