External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

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]

Authors

Ahmed Kheldoun

This author has not been identified. Look up 'Ahmed Kheldoun' in Google

Kamel Barkaoui

This author has not been identified. Look up 'Kamel Barkaoui' in Google

Malika Ioualalen

This author has not been identified. Look up 'Malika Ioualalen' in Google
runs on