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

Ahmed Kheldoun, Kamel Barkaoui, Malika Ioualalen

Browse the full BPM paper archive.