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 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.
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.
The schedule can be found on the LIACS website
Detailed table of contents can be found in blackboard.
Mode of instruction
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
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.
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.
Recommended materials- The book Modeling Business Processes, W. van der Aalst, C. Stahl, MIT Press, 2011, is recommended as additional reading material.
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 a limited capacity for students from outside the master ICT in Business. Please contact the Programme Co-ordinator.
Programme Co-ordinator ms. Judith Havelaar LL.M