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 course(s) on Business Process Management.

The participants should understand the fundamental concepts of process modelling languages like BPMN and the general motivations of Business Process Management.

Please contact the instructor via email for appointments.