39th Petri Nets 2018: Bratislava, Slovakia

Invited Talk

Petri Net Synthesis

Analysis and Model Checking

Languages

Semantics and Expressiveness

Tools

a service of Schloss Dagstuhl - Leibniz Center for Informatics