research
∙
10/02/2020
The Complexity of Boolean State Separation (Technical Report)
For a Boolean type of nets τ, a transition system A is synthesizeable in...
share
research
∙
09/17/2020
On the Parameterized Complexity of Synthesizing Boolean Petri Nets With Restricted Dependency
Modeling of real-world systems with Petri nets allows to benefit from th...
research
∙
07/24/2020
On the Parameterized Complexity of Synthesizing Boolean Petri Nets With Restricted Dependency (Technical Report)
The problem of τ-synthesis consists in deciding whether a given directed...
research
∙
10/31/2019