40th Petri Nets 2019: Aachen, Germany

Models

Tools

Synthesis

Semantics

Concurrent Processes

Algorithmic Aspects

Parametrics and Combinatorics

Models with Extensions

a service of Schloss Dagstuhl - Leibniz Center for Informatics