Petri Nets 2020

Petri Nets 2020
41th International Conference on Application and Theory of Petri Nets and Concurrency
Event in series	Petri Nets
Dates	2020/06/24 (iCal) - 2020/06/25
Homepage:	https://lipn.univ-paris13.fr/petrinets2020/#header
Location
Location:	, Video conference
Table of Contents

The following coordinate was not recognized: Geocoding failed.The following coordinate was not recognized: Geocoding failed.

Our highest priority is the safety of all participants. Due to the covid19 outbreak, Petri Nets 2020 will happen as a virtual conference, with prerecorded videos of the talks, and live sessions for discussion via BigBlueButton (no software needed, just a browser). Registration is free (except for one author per paper for which we ask a small fee) but compulsory.

You can already book your Wednesday 24th and Thursday 25th of June. ursprünglich geplant in Paris, France

• General topics related to concurrency
• Model checking and verification of distributed systems
• Verification of infinite-state or parametric systems
• Causality/partial order theory of concurrency
• Educational issues related to concurrency
• New developments in the theory of concurrency
• Modelling of hardware and biological systems