Process Modelling
TUE 11:00 – 12:30

Location: Lecture Hall 3
Session Chair: Marcello La Rosa

  • Specification and verification of complex business processes: A High-level Petri net-based approach
  • Ahmed Kheldoun, Kamel Barkaoui and Malika Ioualalen

  • Concurrency & Asynchrony in Declarative Workflows
  • Søren Debois, Thomas Hildebrandt and Tijs Slaats

  • Detecting Inconsistencies between Process Models and Textual Descriptions
  • Han van der Aa, Henrik Leopold and Hajo A. Reijers