Friday, June 18, 2010

CFPart: 5th International Summer School "Advanced Course on Petri Nets"

| 5th International Summer School |
| Advanced Course on Petri Nets |
| ============================= |
| Sep 13-24, 2010 in Rostock, Germany |

* From zero knowledge to the state of the art in an important
area of Concurrency
* Interleaved presentation of theory and application
* fee between 150€ and 250€
* Located in a Baltic Sea city with rich history
* 3 to 6 ECTS granted by Rostock University

Targeted Audience
First week:
PhD students interested in concurrent systems,
with little background on Petri nets
Second week:
People with background in Petri nets, including
the participants of the first week

Successful participants get 3 ECTS per week, certified by University of

One week: 150€ Two weeks: 250€, including lectures, course material,
social events, proceedings; not including travel and accommodation


Week 1:
We introduce to four successful application areas of Petri nets:
Protocol verification, Business Process modeling and verification,
Synthesis of asynchronous circuits, Performance evaluation.
In the context of these applications, we motivate and develop core
elements of Petri net theory. In the end of the week, leading tools
in the area can be experienced.

Week 2:
We present the state of the art in four recently very active research
directions in the area of Petri nets. Each area is covered by at least
two lecturers. In addition, there is a hands-on session on modeling
complex systems with Petri nets.


Wil van der Aalst (Netherlands), Eike Best (Germany), Susanna Donatelli
(Italy), Giuliana Franceschinis (Italy) , Serge Haddad (France), Kees
van Hee (Netherlands), Keijo Heljanko (Finland), Jetty Kleijn
(Netherlands), Lars Kristensen (Norway), Maciej Koutny (UK), Marta
Kwiatkowska (UK), Robert Lorenz (Germany), Wojciech Penczek (Poland),
Wolfgang Reisig (Germany), Antti Valmari (Finland), Michael Westergaard
(Denmark), Alex Yakovlev (UK)


Rostock is situated in the north east of Germany, close to the coast of
the Baltic Sea. Airports of Hamburg and Berlin are in reasonable distance.
Rostock has about 200.000 inhabitants. Its center is quite compact, so
participants will have chances to run into each other during the
evenings. Yet, Rostock is large enough to offer a variety of hotels,
sights, restaurants, shops, and other things to spend the spare time on.

Rostock offers rich history and beautiful countryside. It used to be a
major stronghold of the Hanseatic League, a medieval association of
wealthy cities that dominated sea trade in the Baltic and Northern Sea
region. From that time, proud churches and parts of the city
fortifications can be visited. Rostock is situated in touch with the
coast of the Baltic Sea and has beautiful beaches and steep coast areas
in reach.

Director: Karsten Wolf
Scientific Board: Wil van der Aalst,
Gianfranco Balbo,
Maciej Koutny

Karsten Wolf,
Institut für Informatik, Universität Rostock,
Schwaansche Str. 2,
D-18051 Rostock

Phone: +49 381 4987670
Fax: +49 381 4987642

Home page Karsten Wolf:

Home page Advanced Course: