Email Record: Applications and Theory of Petri Nets :