Advanced Business Process Management

This course is part of the MSc in Computer Science at the University of Camerino (a.y. 2014/15).

Main Topics

  • Introduction to Business Process Management
    • Evolution of Enterprise Systems Architectures
    • Business Process and Business Process Models
    • Business Process Life-Cycle
  • Flexibility Issues in Process-Aware Information Systems
    • Perspectives on a Process-Aware Information System
    • Pre-specified and Repetitive Processes and Knowledge-Intensive Processes
    • Variability, Looseness, Adaptation, Evolution. Process Modelling & Flexibility-by-Design
  • Business Process Modelling
    • Conceptual models and abstraction mechanisms
    • Petri nets; Workflow nets and workflow modules; Workflow patterns; Event-driven Process Chains (EPC); Business Process Modelling Notation 2.0 (BPMN); Yet Another Workflow Language (YAWL)
    • Related Extension to support flexibility
  • Analysing the Behaviour of Process Models
    • Verifying Pre-specified Process Models
    • Ensuring Correctness of Configured Process Variants
    • Unfolding techniques


  • Exam 03.02.2015 – pdf
  • Exam 23.02.2015 – pdf


  • Mathias Weske. 2010. Business Process Management: Concepts, Languages, Architectures (1st ed.). Springer Publishing Company, Incorporated.
  • Reichert, Manfred, and Barbara Weber. Enabling flexibility in process-aware information systems: challenges, methods, technologies. Springer, 2012.
  • Other lecture notes and research papers, selected during the course.


  • Course Introduction – Slides
  • Introduction to BPM – Slides
  • Evolution of Enterprise System Management – Slide
  • Patterns – Slide
  • BPMN 2.0
  • BPMN 2.0 exercise 1 (A possible solution of exercise 1 – img)
  • BPMN 2.0 exercise 2 (A possible solution of exercise 2 – img)
  • Process Aware Information System – Slide
  • Flexibility Need – Slide
  • bpFM – Business Process Feature Model – Slide – [Reference paper]
  • bpFM into practice and related validation
  • BP Analysis – Slide
  • Unfolding techniques and related properties – Slide
  • BP Analysis: Petri Net and mapping from semi-formal to formal language – Slide
  • BP Analysis: compliance checking – Slide
  • Course’s Topic overview and Exam simulation
Exam Materials 
  • BPMN 2.0 – manifesto [pdf]
  • bpfm manifesto – [pdf]
Related Seminar
  • Moving toward e-business as usual [pdf]
  • Understanding systems from a business viewpoint [pdf]
  • Design science in information system research [pdf]
  • A framework for information system architecture [pdf]
  • Workflow Pattern [externa link]
  • BPMN 2.0 specification [link]
  • BPMN 2.0 by example [link]
  • BPMN 2.0 – manifesto [pdf]
  • bpFM – “Modeling Process Intensive Scenarios for the Smart City” [pdf]
  • A technique of state space search based on unfolding [pdf]
  • Semantics and analysis of business process models in BPMN [link]

  • Petri Net: Properties, Analysis and Applications [pdf]
  • Flexibility issues in process-aware information system [link]

Handouts in Powerpoint format are available on request. If interested, please send an Email to