I attended the 39th Petri Nets conference in Bratislava, Slovakia. Since Petri nets are one of our groups specialities, we managed to publish two papers on the use of machine learning for model checker selection (MCC4MCC) and on Petri Sports (i.e. the use of serious gaming for the teaching of Petri nets).

The papers and the presentations are available on the Publications page.