39th Petri Nets 2018: Bratislava, Slovakia

Invited Talk

Petri Net Synthesis

Analysis and Model Checking

Languages

Semantics and Expressiveness

Tools

maintained by Schloss Dagstuhl LZI, founded at University of Trier