Email Record: Applications and theory of petri nets 2001 :