Analyzing Large Network Dynamics with Process Hitting - Archive ouverte HAL
Chapitre D'ouvrage Année : 2014

Analyzing Large Network Dynamics with Process Hitting

Courtney Chancellor
  • Fonction : Auteur
Maxime Folschette
Morgan Magnin
Olivier Roux
  • Fonction : Auteur

Résumé

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

Dates et versions

hal-01060490 , version 1 (03-09-2014)

Identifiants

  • HAL Id : hal-01060490 , version 1

Citer

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⟩
532 Consultations
326 Téléchargements

Partager

More