Email Record: High-level Petri Nets :