We kindly invite you to take a part in this year The Petri Net Course organised 19-21 June prior to the 37th International Conference on Application and Theory of Petri Nets and Concurrency" in Toruń, Poland, 22-24 June 2016 (http://pn2016.mat.umk.pl/ - please check Satellite events).
This course offers a thorough introduction to Petri Nets in four half-day modules on Sunday and Monday with on Tuesday a choice from two full-day tutorial module on applications of Petri Nets and/or new developments presented by experts in the area. Each module of the course can be taken separately. In particular, the lectures on Tuesday can be followed as independent tutorials. For participating in the entire course including preparation and examination, three credit points (ECTS) will be awarded by Leiden University (The Netherlands). The Petri Net Course takes place on Sunday, Monday, Tuesday June 19-21. Organisers are Jörg Desel (FernU. Hagen) and Jetty Kleijn (Leiden U.). Schedule ======== Sunday, June 19 Lecture: Basic Net Classes Lecturer: Jetty Kleijn Lecture: Coloured Petri Nets 1 - Modelling and CPN Tools Lecturer: Lars Kristensen Monday, June 20 Lecture: Coloured Petri Nets 2 - Verification and Applications Lecturer: Lars Kristensen Lecture: Time(d) and Stochastic Petri Nets Lecturer: Serge Haddad Tuesday, June 21 Tutorial: Modelling, Synthesis and Verification of Hardware Lecturers: Alex Yakovlev, Victor Khomenko, Andrej Mokhov, Danil Sokolov Tutorial: Parametric Verification Lecturers: Étienne André, Didier Lime, Wojciech Penczek, Laure Petrucci For further information, feel free to the organizers [email protected] . Best regards, Łukasz Mikulski
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
