Analyzing Large Network Dynamics with Process Hitting

Loïc Paulevé 1, 2 Courtney Chancellor 3 Maxime Folschette 3 Morgan Magnin 3 Olivier Roux 3
1 AMIB - Algorithms and Models for Integrative Biology
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France
2 BioInfo - LRI - Bioinformatique (LRI)
LRI - Laboratoire de Recherche en Informatique
3 MeForBio
IRCCyN - Institut de Recherche en Communications et en Cybernétique de Nantes
Abstract : In this chapter, we introduce the Process Hitting framework, which provides the methodology of constructing the most permissive dynamics and then using successive refinements to fine tune the model. We present static analysis methods designed to identify fixed points or answer successive reachability questions, and introduce the stochastic semantics of Process Hitting too.
Type de document :
Chapitre d'ouvrage
Luis Fariñas del Cerro; Katsumi Inoue. Logical Modeling of Biological Systems, Wiley, pp.125 - 166, 2014, 978-1-84821-680-8
Liste complète des métadonnées

Littérature citée [28 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01060490
Contributeur : Loïc Paulevé <>
Soumis le : mercredi 3 septembre 2014 - 16:45:28
Dernière modification le : jeudi 7 février 2019 - 16:15:47
Document(s) archivé(s) le : jeudi 4 décembre 2014 - 11:27:10

Fichier

PCFMR14-chapterLMBS.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01060490, version 1

Citation

Loïc Paulevé, Courtney Chancellor, Maxime Folschette, Morgan Magnin, Olivier Roux. Analyzing Large Network Dynamics with Process Hitting. Luis Fariñas del Cerro; Katsumi Inoue. Logical Modeling of Biological Systems, Wiley, pp.125 - 166, 2014, 978-1-84821-680-8. 〈hal-01060490〉

Partager

Métriques

Consultations de la notice

687

Téléchargements de fichiers

345