*** Apologies for multiple copies due to cross-posting *** *** Please forward to colleagues and students who might be interested ***
The Petri Net Course ==================== organised 23-25 June prior to the "36th International Conference on Application and Theory of Petri Nets and Concurrency" in Brussels, Belgium, 24-26 June 2015 (http://www.ulb.ac.be/di/verif/pn2015acsd2015/index.html) 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: "From Symmetric Nets to Symmetric Nets with Bags" and "Modeling, Synthesis and Verification of Hardware" can each be followed as an independent full-day Tutorial. http://www.ulb.ac.be//di/verif/pn2015acsd2015/satellite.html#course Organisation ============ The course offers a thorough introduction to Petri Nets in four half-day modules on Sunday and Monday, June 21 and June 22, 2015. On Tuesday June 23, there is a choice from two full-day tutorial modules devoted to new developments and/or applications. 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 21 Morning Basic Net Classes - Jörg Desel Afternoon Coloured Petri Nets 1: Modelling and CPN Tools - Lars Kristensen Monday, June 22 Morning Coloured Petri Nets 2: Verification and Applications - Lars Kristensen Afternoon Time(d) and Stochastic Petri Nets - Serge Haddad Tuesday, June 23 Choice from two full day modules: From Symmetric Nets to Symmetric Nets with Bags - Souheib Baarir, Fabrice Kordon and Laure Petrucci Modeling, Synthesis and Verification of Hardware - Alex Yakovlev, Victor Khomenko, Andrey Mokhov and Danil Sokolov Registration:http://www.ulb.ac.be/di/verif/pn2015acsd2015/registration.html For further information please contact the organizers Jetty Kleijn (h.c.m.kleijn at liacs.leidenunivnl) or Jörg 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] ]]
