Ahmed Kheldoun, Kamel Barkaoui, Malika Ioualalen. Specification and Verification of Complex Business Processes - A High-Level Petri Net-Based Approach. In Hamid Reza Motahari-Nezhad, Jan Recker, Matthias Weidlich, editors, Business Process Management - 13th International Conference, BPM 2015, Innsbruck, Austria, August 31 - September 3, 2015, Proceedings. Volume 9253 of Lecture Notes in Computer Science, pages 55-71, Springer, 2015. [doi]
Abstract is missing.