In order to guarantee the correctness of business processes, not only control-flow errors but
also data-flow errors should be considered. The control-flow errors mainly focus on …

Attractors of network dynamics represent the long-term behaviours of the modelled system.
Their characterization is therefore crucial for understanding the response and differentiation …

Boolean networks (BNs) are widely used to model the qualitative dynamics of biological
systems. Besides the logical rules determining the evolution of each component with respect …

State space search is a basic method for analyzing reachability in discrete transition
systems. To tackle large compactly described transition systems–the state space explosion …

Boolean networks (BNs) play a crucial role in modeling and analyzing biological systems.
One of the central issues in the analysis of BNs is attractor detection, ie, identification of all …

In Petri net unfolding, according to the strategies of breadth first and depth first, the biggest
problem lies in the potential explosion of the state space. Unfolding generates either …

Cunf is a tool for building and analyzing unfoldings of Petri nets with read arcs. An unfolding
represents the behaviour of a net by a partial order, effectively coping with the state …

Unfoldings provide an efficient way to avoid the state-space explosion due to interleavings
of concurrent transitions when exploring the runs of a Petri net. The theory of adequate …

Abstract System component-interaction has been critical for system safety, accompanied by
the ever-growing complexity of safety-critical systems. As a novel causality model, Systems …

CosyVerif aims at gathering within a common framework various existing tools for
specification and verification. It has been designed in order to 1) support different formalisms …