This lecture covers formal concepts of business process modelling. These include finite state automata, linear temporal logics, Petri nets, behavioural semantics, textual analysis, model quality, formal verification, model matching and model comparison.

Successful students will be able to formulate formal properties of a model, verify them, conduct and interpret analysis results, and be able to apply matching and comparison techniques. Furthermore, students get familiar with the recent research discussion in this field.

This course is classified as a course with continuous assessment (PI). The mandatory attendance rules thus apply as explained in the dedicated page on WU website.

The course is designed as a lecture with accompanying class exercises and homework assignments.

The students will take part in an exam, will submit homework assignments and present them in class.

Homework (total): 30%

Exam (total): 70%

Participants are expected to be familiar with the content of the courses on Business Process Management. Generally, it is assumed that the concepts described in Dumas et al.: Fundamentals of Business Process Management, Springer 2013, are understood.

Please contact the instructor via email for appointments.