research
∙
09/21/2022
Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets
A crucial question in analyzing a concurrent system is to determine its ...
share
research
∙
11/30/2021
Canonical Representations for Direct Generation of Strategies in High-level Petri Games
Petri games are a multi-player game model for the synthesis of distribut...
research
∙
07/29/2021
Resilience of Well-structured Graph Transformation Systems
Resilience is a concept of rising interest in computer science and softw...
research
∙
03/18/2021
