Call for Participation
PETRI NET COURSE
a satellite event of the conference Petri Nets 2010
Braga (Portugal, not far from Porto)
Sunday, June 20 - Tuesday, June 22, 2010
please register via
http://acsd-petrinets2010.di.uminho.pt/?page=PetriNetCourse
This course on theory and application of Petri nets is for graduate and
PhD Students, but also open for others.
It does not assume any prior knowledge on Petri nets, carefully
introduces the underlying ideas and the essential parts of Petri net
theory and has an emphasis on higher net classes and application of Petri
nets in two (alternative) selected application areas.
All parts of the course will be supported by appropriate tools.
For successful participation in the entire course, three
credit points (ects) will be given from Leiden University
(The Netherlands).
The course consists of modules: four half-day modules on Sunday and
Monday, and a full-day (application) module on Tuesday.
Each module of the course can also be taken separately.
The four half-day modules cover theory of Petri nets, namely
Basic net classes, Modelling with Coloured Petri Nets, Analysis of
Coloured Petri Nets, and Timed and Stochastic Petri nets.
For the full-day module, students can choose one from two application
areas which are this year 'Workflow modeling and Business Process
Management' and 'Model-based Software Engineering for/with Petri Nets'.
The course is equipped with a preparation phase and a phase for
preparing a written report after the course (see below). 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. The examinations 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.
Course 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
Morning
Basic net classes - Jetty Kleijn
Afternoon
Coloured Petri Nets 1 (Modelling) - Kurt Jensen
Monday, June 21
Morning
Coloured Petri Nets 2 (Analysis) - Kurt Jensen
Afternoon
Timed and Stochastic Petri Nets - Susanna Donatelli
Tuesday, June 22
Morning
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
Afternoon
Tools and exercises of the application area, project work
For more information please contact the Petri Net Course Coordinators
Joerg Desel joerg.desel (at) ku-eichstaett.de
Jetty Kleijn kleijn (at) liacs.nl
Posts
