High-Level Net Processes