Text this: Applications and theory of Petri nets 2004 :