Work

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