nl en

Process Modelling



We have established in the course “ICT enabled process innovation” that process oriented thinking and the (re)engi-neering of business processes can change the way that companies carry out their business and improve their performance. In this course “Process modelling” we will focus on the process engineer, as an agent of this change, and provide him or her with a scientically sound set of engineering methods and tools. During the course, the participants will become familiar with the look-and-feel of one formal approach to business process
modelling, based on Petri nets, and gain hands-on experience with the tools supporting that approach in a realistic case study.

Learning objectives

By the end of this course the student should :

  • understand the approach of formal business process modelling and analysis with Petri nets

  • have an understanding of the theory behind Petri nets

  • be able to create a Petri net model in a realistic case study

  • be able to analyze that model to establish the properties of the process design even before implementation, i.e. on the “drawing board”

  • be familiar with Woped and CPN Tools, both tools for creating and analyzing Petri nets.

Texts and other materials

We will use the book “Workflow management. Models, methods and tools”, W. van der Aalst, K. van Hee, MIT Press, 2004. Furthermore, a syllabus will be provided with additional information, exercises and case assignments.


Exercise class : 35 %
Exam (written) : 65 %
Exercise class will be graded based on:

  • presence during class

  • results on selected exercises and assignments from the course syllabus

  • the Petri net model of the running case (the order process at the LISTA company), that must be handed in before the end of the course.