*** Apologies for multiple copies due to cross-posting *** *** Please forward to colleagues and students who might be interested ***
The Petri Net Course ==================== organised prior to 33rd International Conference on Application and Theory of Petri Nets and Concurrency and the 12th International Conference on Application of Concurrency to System Design in Hamburg, 27-29 June This is a three day course - worth 3 ECTS - primarily aimed at master and PhD students, but also open for others. In particular, the two modules on Tuesday: "Fluid & Hybrid Petri Nets" and "Unfoldings" can each be followed as an independent full-day Tutorial. Early registration until May 15. http://www.informatik.uni-hamburg.de/TGI/events/pn-acsd2012/course.shtml Organisation ============ The course consists of modules: four half-day modules on Sunday and Monday, June 24 and June 25 2012, and a choice from two full-day tutorial modules devoted to new developments and/or applications, on Tuesday June 26. For participating in the entire course including preparation and examination, three credit points (ECTS) will be awarded by Leiden University (The Netherlands). Each module of the course can also be taken separately, without any credits. Schedule ======== Sunday, June 24, 2012 Morning Basic net classes - Jörg Desel/Jetty Kleijn Afternoon Coloured Petri Nets 1 (Modelling) - Lars Kristensen / Kurt Jensen Monday, June 25, 2012 Morning Coloured Petri Nets 2 (Analysis) - Lars Kristensen / Kurt Jensen Afternoon Timed and Stochastic Petri Nets - Serge Haddad / Susanna Donatelli Tuesday, June 26, 2012 Choice from two full day modules: Fluid & Hybrid Petri Nets - Manuel Silva and Cristian Mahulea Unfoldings - Thomas Chatain, Stefan Haar, Victor Khomenko, G. Michele Pinna More information: ================= Jetty Kleijn kleijn(at)liacs.nl Joerg Desel joerg.desel(at)fernuni-hagen.de ---- [[ 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] ]]
