Email Record: Applications and theory of Petri nets :