Email Record: Applications and theory of petri nets :