Email Record: Applications and theory of Petri nets 2004 :