27 citations · 114 across the 18 of their papers we have counts for
20 papers
Attractor Basins in Concurrent Systems
Giann Karlo Aguirre Samboni, Stefan Haar, Loic Paulevé +2
A crucial question in analyzing a concurrent system is to determine its long-run behaviour, and in particular, whether there are irreversible choices in its evolution, leading into…
Bringing memory to Boolean networks: a unifying framework
Maximilien Gadouleau, Loïc Paulevé, Sara Riva
Boolean networks are extensively applied as models of complex dynamical systems, aiming at capturing essential features related to causality and synchronicity of the state changes…
mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks
Van-Giang Trinh, Belaid Benhamou, Loïc Paulevé
The tool mpbn offers a Python programming interface for an easy interactive editing of Boolean networks and the efficient computation of elementary properties of their dynamics, in…
Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks
Sara Riva, Jean-Marie Lagniez, Gustavo Magaña López +1
Minimal trap spaces (MTSs) capture subspaces in which the Boolean dynamics is trapped, whatever the update mode. They correspond to the attractors of the most permissive mode. Due…
Computational Complexity of Minimal Trap Spaces in Boolean Networks
Kyungduk Moon, Kangbok Lee, Loïc Paulevé
A Boolean network (BN) is a discrete dynamical system defined by a Boolean function that maps to the domain itself. A trap space of a BN is a generalization of a fixed point, which…
Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets
Giann Karlo Aguirre-Samboní, Stefan Haar, Loïc Paulevé +2
A crucial question in analyzing a concurrent system is to determine its long-run behaviour, and in particular, whether there are irreversible choices in its evolution, leading into…