Specification and Verification of Complex Business Processes - A High-Level Petri Net-Based Approach · Study