nl en

Process Modelling


Admission requirements

Not applicable


We have established in the course ICT enabled process innovation that process oriented thinking and the (re)engineering 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 scientifically sound set of engineering methods and tools. During the course, the participants will become familiar with the look-and-feel of one informal approach to business process modelling, based on BPMN and one formal approach, based on Petri nets, and gain hands-on experience with the tools supporting these approaches in a realistic case study.

Course objectives

By the end of this course the student should :

  • be able to create business process models with BPMN and understand its relationship with more formal approaches

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

  • have a basic 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.


The schedule can be found on the Leiden University student website

Detailed table of contents can be found in blackboard.

Mode of instruction

Every week: 2 hours lecture and 1 hour exercise class per session

Assessment method

The final grade is a weighted average of the grades for the written exam and the exercise class. The grade for the written exam must be at least 5.0. The weighting factors are as follows:

  • Exercise class : 30 %

  • Written exam : 70 %
    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, that must be handed in before the end of the course.



Reading list

We will use the following books:
1. Modelling Business Processes – A Petri Net-Oriented Approach, by W.M.P van der Aalst and C Stahl (MIT Press, 2011)
2. BPMN Method and Style by Bruce Silver (Cody-Cassiy Press, 2011)

Signing up for classes and exams

You have to sign up for classes and examinations (including resits) in uSis. Check this link for more information and activity codes.

There is only limited capacity for external students. Please contact the programme Co-ordinator

Contact information

Programme Co-ordinator: ms. Esme Caubo


Also register for every course in Blackboard. Important information about the course is posted here.