Drawing the Line: Basin Boundaries in Safe Petri Nets - Laboratoire Méthodes Formelles Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Drawing the Line: Basin Boundaries in Safe Petri Nets

Résumé

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.
Fichier principal
Vignette du fichier
AttractorBasinsFinal.pdf (484.69 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02898841 , version 1 (13-07-2020)

Identifiants

Citer

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⟩
73 Consultations
115 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More