================================================================================ # Call for participation: # Petri Nets 2024 in Geneva, Switzerland (ICATPN 2024, June 23-28, 2024) ================================================================================
PETRI NETS 2024 The 45rd International Conference on Application and Theory of Petri Nets and Concurrency, affiliated workshops, advanced tutorials, the Petri net PhD course, the model checking contest and tool exhibition will take place in Geneva,Switzerland on 23 June - 28 June. https://www.unige.ch/petrinets2024 Registration is now open (deadline early registration, may 20) https://www.unige.ch/petrinets2024/registration ==================================================================== Invited speakers main conference (Wed/Thu/Fri): - Prof. Jose-Manuel Colom : Harnessing Structure Theory of Petri Nets in Discrete Event System Simulation - Prof. Gabriele Taentzer : On the Application of Model-Driven Optimization to Business Processes - Prof. Rob van Glabbeck : Just Distributability ==================================================================== Affiliated Workshops (Mon-Tue) - Workshop on Petri Nets and Software Engineering (PNSE'24) - PeNGE - 14th edition of the Model Checking Contest (MCC'22) ==================================================================== Advanced Tutorials (Mon-Tue) - Petri nets-driven design of controllers for cyber-physical systems: Luis Gomes (NOVA University Lisbon) - Adequate modeling of agent-based systems with reference nets: Daniel Moldt (Universität Hamburg) ==================================================================== Petri Net PhD course (Sun-Tue) - Basic net classes: Jörg Desel (FernUniversität in Hagen) - Coloured Petri nets and the CPN Tools: Lars Michael Kristensen (Western Norway University of Applied Sciences) - Verification and model checking of Petri Nets: Karsten Wolf (University of Rostock) - Timed and Stochastic Petri nets: Serge Haddad (ENS Paris-Saclay) ==================================================================== Social events (Wed-Thu) - Reception at the Botanic Garden (Wed) - Conference dinner in the city centre (Thu) ----
