[AISWorld] International Summer School - Advanced Course on Petri Nets - Sep 13-24, 2010 in Rostock, Germany

[Aalst, W.M.P. van der]

+----------------------------------------------+

|      5th International Summer School         |

|       Advanced Course on Petri Nets          |

|       =============================          |

|    Sep 13-24, 2010 in Rostock, Germany       |

+----------------------------------------------+

http://www.petrinet-summerschool.org



Highlights:

===========

* 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 Rostock



Fee

====

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



Content

=======



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.



Lecturers

=========



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), Daniel Moldt (Germany), Wojciech Penczek (Poland), Wolfgang Reisig (Germany), Ruediger Valk (Germany), Antti Valmari (Finland), Michael Westergaard (Denmark), Alex Yakovlev (UK)





Location





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.







Organizers

==========

Director:         Karsten Wolf

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





Home page Advanced Course: http://www.petrinet-summerschool.org/

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.aisnet.org/pipermail/aisworld_lists.aisnet.org/attachments/20100624/0bb039c5/attachment.htm>