Audience: mainly graduate and PhD Students (entire course), but also open for others.
The course consists of modules: four half-day modules on Sunday and Monday, and a full
day (application) module on Tuesday.
For participating in the entire course including the examinations, three credit points (ects) will be given from Leiden University (The Netherlands). Each module of the course can also be taken separately, without any credits. The modules will partly depend on each other, i.e., it may be necessary to know content of one course to understand the next. So people that only take single modules are expected to have the necessary background.
The course is equipped with a preparation phase and a phase for preparing a written report after the course. The preparation phase, the course itself and the written report are assumed to have a workload of 30 hours each. All modules have an associated examination (for those who want to have credits). The examination of the application module is by presentation and report (see below). The examination of the other modules are organized in terms of small exercises and/or homework for which time is available during the course.
Participants of the preparation phase receive papers containing preliminaries on the philosophy of net theory, basic notions, small examples, typical application areas etc. There are four modules (3.5 hours each, including breaks) on theory of Petri nets, namely Basic net classes, Coloured Petri Nets 1, Coloured Petri Nets 2, and Timed and Stochastic Petri nets. Two additional modules are on applications of Petri nets.
Students can choose one from the two application areas. The first application module introduces the application area and the use of Petri nets within this area, whereas the second is devoted to specific tools and a project in this application area.
Modules and schedule
Preparation phase - Jetty Kleijn, Jörg Desel and Wolfgang Reisig
Content: History of Petri nets, Philosophy of Petri nets, occurrence rule, occurrence sequences, application areas and simple examples.
Sunday, June 20
Basic net classes - Jetty Kleijn
Content: Behaviour of Elementary Net systems and relation to other models of concurrency, place / transition nets and extensions, elementary analysis methods.
Coloured Petri Nets 1 (Modelling) - Kurt Jensen
Content: CP-nets and hierarchical CP-nets, An exercise in which students modify/extend an existing model (by means of CPN Tools).
Monday, June 21
Coloured Petri Nets 2 (Analysis) - Kurt Jensen
Content: Behavioural properties of CP-nets, State spaces including some advanced state space methods like the symmetry method. An exercise in which the students verify their model from CPN 1 by means of state spaces A number of industrial applications of CP-nets showing that Petri nets can be used in many different phases of system development ranging from requirements engineering over design and verification to implementation.
Timed and Stochastic Petri Nets - Susanna Donatelli
Content: Timed Petri Nets, Stochastic Petri Nets
Tuesday, June 22
09:00-10:30 11:00-12:30 - One of the following application areas:
Workflow modeling and Business process management - Wil van der Aalst
Model-based Software Engineering for/with Petri Nets - Ekkart Kindler
Tools and exercises of the application area, project work