<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv=Content-Type content="text/html; charset=us-ascii">
<meta name=Generator content="Microsoft Word 12 (filtered medium)">
<style>
<!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:Consolas;
panose-1:2 11 6 9 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
p.MsoPlainText, li.MsoPlainText, div.MsoPlainText
{mso-style-priority:99;
mso-style-link:"Plain Text Char";
margin:0cm;
margin-bottom:.0001pt;
font-size:10.5pt;
font-family:Consolas;}
span.PlainTextChar
{mso-style-name:"Plain Text Char";
mso-style-priority:99;
mso-style-link:"Plain Text";
font-family:Consolas;}
span.EmailStyle19
{mso-style-type:personal-compose;
font-family:"Calibri","sans-serif";
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 70.85pt 70.85pt 70.85pt;}
div.WordSection1
{page:WordSection1;}
-->
</style>
<!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang=EN-US link=blue vlink=purple>
<div class=WordSection1>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText>+----------------------------------------------+<o:p></o:p></p>
<p class=MsoPlainText>| 5th International Summer
School |<o:p></o:p></p>
<p class=MsoPlainText>| Advanced Course on
Petri Nets |<o:p></o:p></p>
<p class=MsoPlainText>|
=============================
|<o:p></o:p></p>
<p class=MsoPlainText>| Sep 13-24, 2010 in Rostock,
Germany |<o:p></o:p></p>
<p class=MsoPlainText>+----------------------------------------------+<o:p></o:p></p>
<p class=MsoPlainText><a href="http://www.petrinet-summerschool.org">http://www.petrinet-summerschool.org</a><o:p></o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText>Highlights:<o:p></o:p></p>
<p class=MsoPlainText>===========<o:p></o:p></p>
<p class=MsoPlainText>* From zero knowledge to the state of the art in an
important<o:p></o:p></p>
<p class=MsoPlainText> area of Concurrency<o:p></o:p></p>
<p class=MsoPlainText>* Interleaved presentation of theory and application<o:p></o:p></p>
<p class=MsoPlainText>* fee between 150 and 250 <o:p></o:p></p>
<p class=MsoPlainText>* Located in a Baltic Sea city with rich history<o:p></o:p></p>
<p class=MsoPlainText>* 3 to 6 ECTS granted by Rostock University<o:p></o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText>Targeted Audience<o:p></o:p></p>
<p class=MsoPlainText>=================<o:p></o:p></p>
<p class=MsoPlainText>First week:<o:p></o:p></p>
<p class=MsoPlainText>PhD students interested in concurrent systems, with
little background on Petri nets Second week:<o:p></o:p></p>
<p class=MsoPlainText>People with background in Petri nets, including the
participants of the first week<o:p></o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText>Successful participants get 3 ECTS per week, certified by
University of Rostock<o:p></o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText>Fee<o:p></o:p></p>
<p class=MsoPlainText>====<o:p></o:p></p>
<p class=MsoPlainText>One week: 150 euro Two weeks: 250 euro, including
lectures, course material, social events, proceedings; not including travel and
accommodation<o:p></o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText>Content<o:p></o:p></p>
<p class=MsoPlainText>=======<o:p></o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText>Week 1:<o:p></o:p></p>
<p class=MsoPlainText>We introduce to four successful application areas of
Petri nets:<o:p></o:p></p>
<p class=MsoPlainText>Protocol verification, Business Process modeling and
verification, Synthesis of asynchronous circuits, Performance evaluation.<o:p></o:p></p>
<p class=MsoPlainText>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.<o:p></o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText>Week 2:<o:p></o:p></p>
<p class=MsoPlainText>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.<o:p></o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText>Lecturers<o:p></o:p></p>
<p class=MsoPlainText>=========<o:p></o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText>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)<o:p></o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText>Location<o:p></o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText>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.<o:p></o:p></p>
<p class=MsoPlainText>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.<o:p></o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText>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.<o:p></o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText>Organizers<o:p></o:p></p>
<p class=MsoPlainText><span lang=NL>==========<o:p></o:p></span></p>
<p class=MsoPlainText><span lang=NL>Director:
Karsten Wolf<o:p></o:p></span></p>
<p class=MsoPlainText><span lang=NL>Scientific
Board: Wil van der Aalst, </span>Gianfranco
Balbo, Maciej Koutny<span lang=NL><o:p></o:p></span></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText>Home page Advanced Course: <a
href="http://www.petrinet-summerschool.org/">http://www.petrinet-summerschool.org/</a><o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
</div>
</body>
</html>