41st Petri Nets 2020: online event [Paris, France]

Application of Concurrency to System Design

Languages and Synthesis

Semantics

Process Mining and Applications

Extensions and Model Checking

Tools

a service of Schloss Dagstuhl - Leibniz Center for Informatics