Animation and exchanges in the Petri Nets community

[Fabrice Kordon <address@concealed>]

================================================================================
# 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)


--------------------------------------------------------------------------------------
Fabrice Kordon Sorbonne Université
Campus Pierre & Marie Curie
LIP6/MoVe, Office 26-00/202 or 26-25/216
4 place Jussieu, 75252 Paris Cedex 05
http://lip6.fr/Fabrice.Kordon/