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. Finally we will provide an overview of recent developments in the field of process mining and automated process discovery.
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 formal approach to business process modelling and analysis based on 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.
have a basic understanding of methods for automated process discovery
be familiar with some of the more commonly used tools for process mining and automated process discovery
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
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
a final report of the running case, that must be handed in before the end of the course.
The teacher will inform the students how the inspection of and follow-up discussion of the exams will take place.
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)
Other materials like a syllabus and lecture slides will be provided during the course.
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
Programme Co-ordinator: ms. Esme Caubo
Also register for every course in Blackboard. Important information about the course is posted here.