Drawing the Line: Basin Boundaries in Safe Petri Nets

Stefan Haar (1) , Loïc Paulevé (2) , Stefan Schwoon (1)

1 MEXICO - Modeling and Exploitation of Interaction and Concurrency
2 LaBRI - Laboratoire Bordelais de Recherche en Informatique

Attractors of network dynamics represent the long-term behaviours of the modelled system. Understanding the basin of an attrac-tor, comprising all those states from which the evolution will eventually lead into that attractor, is therefore crucial for understanding the response and differentiation capabilities of a dynamical system. Building on our previous results [2] allowing to find attractors via Petri net Un-foldings, we exploit further the unfolding technique for a backward exploration of the state space, starting from a known attractor, and show how all strong or weak basins of attractions can be explicitly computed.

Mots clés: dynamical systems; qualitative models; attractors; concurrency; biological networks; reprogramming

Domaines: Bio-informatique [q-bio.QM]; Théorie et langage formel [cs.FL]; Algorithme et structure de données [cs.DS]

Stefan Haar, Loïc Paulevé, Stefan Schwoon. Drawing the Line: Basin Boundaries in Safe Petri Nets. CMSB 2020 - 18th International Conference on Computational Methods in Systems Biology, Sep 2020, Konstanz / Online, Germany. ⟨10.1007/978-3-030-60327-4_17⟩. ⟨hal-02898841⟩