HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Book sections

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.
Document type :
Book sections
Complete list of metadata

Cited literature [28 references]  Display  Hide  Download
https://hal.archives-ouvertes.fr/hal-01060490
Contributor : Loïc Paulevé Connect in order to contact the contributor
Submitted on : Wednesday, September 3, 2014 - 4:45:28 PM
Last modification on : Wednesday, April 27, 2022 - 3:57:19 AM
Long-term archiving on: : Thursday, December 4, 2014 - 11:27:10 AM

File

Vignette du document
PCFMR14-chapterLMBS.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01060490, version 1

Collections

X | CNRS | INRIA | EC-NANTES | UNAM | UMR8623 | IRCCYN | UNIV-NANTES | IRCCYN-MEFORBIO | LIX | X-LIX | INRIA2 | LRI-BIOINFO | X-DEP-INFO | EC-PARIS | LISN | LISN-BIOINFO | UNIV-PARIS-SACLAY

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

430

Files downloads

233