================================================================================ # Early call for participation: # Petri Nets 2022 in Bergen + with track on ACSD (ICATPN 2022, June 19-24, 2022) ================================================================================
PETRI NETS 2022 The 43rd International Conference on Application and Theory of Petri Nets and Concurrency with special track on Application of Concurrency to System Design (ACSD), affiliated workshops, advanced tutorials, the Petri net PhD course and tool exhibition will take place in Bergen, Norway on 19 June - 24 June. https://petrinets2022.github.io Early registration opens on April 15: https://petrinets2022.github.io/registration/ ==================================================================== Invited speakers main conference (Wed/Thu/Fri): - Prof. Paulo Esteves-Verissimo, King Abdullah University of Science and Technology: Assumptions in computer science: mere mathematical hypotheses, or representations of the physical world? - Prof. Volker Diekert, University of Stuttgart: Petri Nets and Mazurkiewicz Traces Partnership when Honeymoon is Forgotten - Prof. Marieke Huisman, University of Twente: VerCors and Alpinist: correctness of GPU applications throughout the development cycle ==================================================================== Affiliated Workshops (Mon-Tue) - Workshop on Petri Nets and Software Engineering (PNSE'22) - Algorithms and Theories for the Analysis of Event Data (ATAED'22) - International Health Data Workshop (HEDA'22): ==================================================================== Advanced Tutorials (Mon-Tue) - Model-based Software Engineering for/with Petri Nets. E. Kindler, DTU Compute, Technical University of Denmark - Spatio-temporal modelling and simulation with the FCPP Aggregate Programming Framework. Volker Stolz, Western Norway University of Applied Sciences, Ferruccio Damiani, University of Turin, Giorgio Audrito, University of Turin ==================================================================== Petri Net PhD course (Sun-Tue) - Basic net classes: Jetty Kleijn (Leiden University) and 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 Hadded (END Paris-Saclay) and Susanna Donatelli (University of Torino) ====================================================================
---- [[ 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] ]]
