= Diary =
== '''Monday: Sep, 13th 2010''' ==
=== Lectures by ===
'''Wojciech Penzeck (Warsaw, Poland)'''[[br]][[br]]

{{{#!th rowspan=2 align=left border=0
[[Image(wiki:Events/ACPN2010/Diary:wpenzeck.jpg,150px)]]
}}}
{{{#!td rowspan=2 align=left border=0
- Introduction to state space-based verification
- Formal modeling of protocols: Petri nets and automata
- Model checking and verification of protocols: Bounded Parametric Model Checking for Petri nets
- The VerICS Toolkit: A selection of smaller case studies
}}}
|----------------

and '''Lars M. Kristensen (Bergen, Norway)'''

{{{#!td rowspan=2 align=left border=0
[[Image(wiki:Events/ACPN2010/Diary:lmkristensen.jpg,150px)]]
}}}
{{{#!th rowspan=2 align=left border=0
- Formal modeling of protocols: Hierarchical Colored Petri Nets and CPN Tools
- Model checking and verification of protocols: Explicit state space exploration of Colored Petri Nets
- CPN Tools: Edge Router Discovery Protocol and the Generic Access Network Architecture
}}}
|----------------
== '''Tuesday: Sep, 14th 2010''' ==
=== Lectures by ===
'''Karsten Wolf (Rostock, Germany)'''[[br]][[br]]

{{{#!th rowspan=2 align=left border=0
[[Image(wiki:Events/ACPN2010/Diary:kwolf.jpg,150px)]]
}}}
{{{#!td rowspan=2 align=left border=0
- this lecture should originally be held by Eike Best
- Structure Theory 
- PN Classes State Machines, Marked Graphs, Free Choice Nets
- Invariants (S- and T-Invariants)
- Traps and Siphons and their relations to liveness and boundedness (Commoners Theorem)
- Decomposition of PNs into S- and T-Components
- Rank Theorem
- Structure of CPN, Transformation of finite color domain CPN, Invariants
}}}
|----------------

and '''Kees van Hee (Eindhoven, Netherlands)'''

{{{#!td rowspan=2 align=left border=0
[[Image(wiki:Events/ACPN2010/Diary:kvhee.jpg,150px)]]
}}}
{{{#!th rowspan=2 align=left border=0
- Business Process Modeling context
- Modeling Business Process
- Analysis Business Process
- Software for Business Process Management
- Advanced topics
}}}
|----------------
== '''Wednesday: Sep, 15th 2010''' ==
=== Lectures by ===
'''Wolfgang Reisig (Berlin, Germany)'''

{{{#!td rowspan=2 align=left border=0
[[Image(wiki:Events/ACPN2010/Diary:wreisig.jpg,150px)]]
}}}
{{{#!th rowspan=2 align=left border=0
- Region Theory
- Synthesis of PN from Transition Systems
- Properties of Regions: Suitability, minimal Regions
- slides from this lecture can be found in the lecture "Modelle von Petrinetzen (SS2010)" by Valk at this location: http://www.informatik.uni-hamburg.de/TGI/lehre/vl/SS10/modelle-pn/PN4(synthese).key.pdf
}}}
|----------------
and '''Alex Yakovlev (Newcastle, England)'''[[br]][[br]]

{{{#!th rowspan=2 align=left border=0
[[Image(wiki:Events/ACPN2010/Diary:ayakovlev.jpg,150px)]]
}}}
{{{#!td rowspan=2 align=left border=0
- Hardware synthesis
}}}
|----------------
== '''Thursday: Sep, 16th 2010''' ==
=== Lectures by ===
'''Serge Haddad (ENS Cachan, France, [http://www.lsv.ens-cachan.fr/~haddad/ homepage])'''


{{{#!td rowspan=2 align=left border=0
[[Image(wiki:Events/ACPN2010/Diary:shaddad.jpg,150px)]]
}}}
{{{#!th rowspan=2 align=left border=0
- Stochastic PN
- Discrete Event Stochastic Processes (DESP)
- transient and steady state analysis
- Discrete Time Markov Chains (DTMC)
- Continuous Time Markov Chains (CTMC)
- Generalized Stochastic PN (GSPN)
- memory, choice and server policies for GSPN
}}}
|----------------
and '''Giuliana Franceschinis (Università del Piemonte Orientale, Italy'''[[br]][[br]]

{{{#!th rowspan=2 align=left border=0
[[Image(wiki:Events/ACPN2010/Diary:gfranceschinis.JPG,150px)]]
}}}
{{{#!td rowspan=2 align=left border=0
- Performance Evaluation of GSPN
- presented tool GreatSPN
}}}
|----------------