======================================================== PETRI NETS 2013 Call for participation ======================================================== 34th International Conference on Application and Theory of Petri Nets and Concurrency
Milano, Italy, June 23-28, 2013 Deadline for early registration: May 27 http://www.mc3.disco.unimib.it/petrinets2013/ ======================================================== The 34th International conference on application and theory of Petri nets and concurrency will take place in Milano, at the University of Milano-Bicocca. As usual, the conference is preceded by a Petri net course, advanced tutorials, workshops, a tool exhibition, and a model checking contest. For details, visit the conference site: http://www.mc3.disco.unimib.it/petrinets2013/ EVENTS Petri Net Conference, June 26-28 ========================== Invited speakers ---------------------- - Moshe Vardi - Kurt Jensen - Kees van Hee - Stéphane Lafortune - Catuscia Palamidessi Program committee co-chairs ---------------------------------------- José-Manuel Colom, Jörg Desel Petri Net Course, June 23-25 ======================= http://www.mc3.disco.unimib.it/petrinets2013/course.shtml Advanced Tutorials =============== - Theory and applications of Petri net unfoldings, June 25 - Petri nets for multiscale systems biology, June 25 - Nets, Physics and Coordination. A tribute to the work of Carl A. Petri and Anatol W. Holt, June 25 http://www.mc3.disco.unimib.it/petrinets2013/workshops.shtml Workshops ========= - Petri Nets and Software Engineering (PNSE'13), June 24-25 - Biological Processes & Petri Nets (BioPPN2013), June 24 - Modelling and Business Environments (MODBE'13), June 24 http://www.mc3.disco.unimib.it/petrinets2013/workshops.shtml Model checking contest, June 27 ========================= http://mcc.lip6.fr/ ------------------------------------------------------------------------------------------- Lucia Pomello DISCo, University of Milano - Bicocca Building U14 - Room 2064 Viale Sarca 336 20126 Milano Phone: +39 02 6448 7816 e-mail: [email protected]
---- [[ 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] ]]
