Analyzing Large Network Dynamics with Process Hitting

Loïc Paulevé; Courtney Chancellor; Maxime Folschette; Morgan Magnin; Olivier Roux

Analyzing Large Network Dynamics with Process Hitting

Loïc Paulevé ^{1, 2} Courtney Chancellor ³ Maxime Folschette ³ Morgan Magnin ³ Olivier Roux ³

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

Domain :

Computer Science [cs] / Bioinformatics [q-bio.QM]

Life Sciences [q-bio] / Quantitative Methods [q-bio.QM]

Computer Science [cs] / Formal Languages and Automata Theory [cs.FL]

Liste complète des métadonnées

Cited literature [28 references] Display Hide Download

https://hal.archives-ouvertes.fr/hal-01060490
Contributor : Loïc Paulevé <>
Submitted on : Wednesday, September 3, 2014 - 4:45:28 PM
Last modification on : Wednesday, March 27, 2019 - 4:41:29 PM
Document(s) archivé(s) le : Thursday, December 4, 2014 - 11:27:10 AM

PCFMR14-chapterLMBS.pdf

Files produced by the author(s)

Analyzing Large Network Dynamics with Process Hitting

File

Identifiers

Collections

Citation

Export

Metrics

695

358

Contact

Analyzing Large Network Dynamics with Process Hitting

File

Identifiers

Collections

Citation

Export

Share

Metrics

695

358

Contact