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
∙
05/31/2019
Concurrency in Boolean networks
Boolean networks (BNs) are widely used to model the qualitative dynamics...
research
∙
11/29/2018
Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics
Parametric models abstract part of the specification of dynamical models...
research
∙
08/30/2018
Most Permissive Semantics of Boolean Networks
As shown in [3], the usual update modes of Boolean networks (BNs), inclu...
research
∙
03/16/2018
