The maintenance strategy in railway transportation is crucial in ensuring safety, availability,
and reducing operating costs. However, finding the optimal maintenance plan that takes into …

Abstract The Model Checking Contest (MCC) is an annual competition of software tools for
model checking. Tools must process an increasing benchmark gathered from the whole …

The accurate modeling of engineering systems and processes using Petri nets often results
in complex graph representations that are computationally intensive, limiting the potential of …

We define a method for taking advantage of net reductions in combination with a SMT-based
model checker. We prove the correctness of this method using a new notion of equivalence …

We propose a method for checking generalized reachability properties in Petri nets that
takes advantage of structural reductions and that can be used, transparently, as a pre …

Structural reductions are a powerful class of techniques that reason on a specification with
the goal to reduce it before attempting to explore its behaviors. In this paper we present new …

We propose a new method that takes advantage of structural reductions to accelerate the
verification of reachability properties on Petri nets. Our approach relies on a state space …

We define a new method for taking advantage of net reductions in combination with a SMT-
based model checker. Our approach consists in transforming a reachability problem about …

When an emergency occurs, disposal needs to be built to reduce the risk imposed on life,
property, and environment. Generally, the disposal is organized as a cross-organization …

We propose a new method for accelerating the computation of a concurrency relation, that is
all pairs of places in a Petri net that can be marked together. Our approach relies on a state …