The dynamical analysis of large biological regulatory networks requires the development of
scalable methods for mathematical modeling. Following the approach initially introduced by …

Strong stubborn sets have recently been analyzed and successfully applied as a pruning
technique for planning as heuristic search. Strong stubborn sets are defined declaratively as …

Partial order reduction is a state space pruning approach that has been originally introduced
in computer aided verification. Recently, various partial order reduction techniques have …

Many deadlock control methods rely on reachability graphs of Petri nets (PN), thus suffering
from state-space explosion issues. This paper proposes a novel approach to designing …

This paper aims at making partial-order reduction independent of the modeling language.
To this end, we present a guard-based method which is a general-purpose implementation …

A key challenge in the synthesis and subsequent analysis of supervisory controllers is the
impact of state-space explosion caused by concurrency. The main bottleneck is often the …

Efficient manufacturing of products has become more important than ever. Manufacturing
systems that produce these products are becoming increasingly complex. They need to be …

Abstract Partial-Order Reduction (POR) is a well-known, successful technique for on-the-fly
state space reduction in model checking, as evidenced by the prestigious CAV 2014 award …

Literature on the stubborn set and similar state space reduction methods presents numerous
seemingly ad-hoc conditions for selecting the transitions that are investigated in the current …

In the globalized knowledge economy, big data analytics have been widely applied in
diverse areas. A critical issue in big data analysis on personal information is the possible …