Petri Nets 2022 - Call for Tool Demonstrations and Participation

by Lars Michael Kristensen, May 11, 2022

================================================================================
# Call for tool demonstrations and participation
# Petri Nets 2022 in Bergen + 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

The tool demonstration session is intended for researchers and practitioners, to show their recently developed tools to the other conference attendants. It moreover serves as a good opportunity to discuss the emerging technologies in the field with other researchers and practitioners, active in the field:

 

https://petrinets2022.github.io/cftd/

 

Registration for the conference is open (deadline early registration, June 1)

 

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)

 

- 12th edition of the Model Checking Contest (MCC'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)

 

====================================================================

 

Social events (Tue-Thu) 

 

- Reception hosted by the Municipality of Bergen in historic buildings in the city centre  (Tue)

 

- Conference dinner in the city centre (Wed)

 

- Nordic mid-summer celebrations (Thu)