Pint, a static analyzer for dynamics of Automata Networks

Loïc Paulevé 1
1 BioInfo - LRI - Bioinformatique (LRI)
LRI - Laboratoire de Recherche en Informatique
Abstract : Pint implements static analyses for computing dynamical properties on very large-scale Automata Networks, ranging from hundreds to several thousands of concurrently interacting components. Provided analyses include notably the listing of fixed points, the analysis successive reachability properties, the inference of cut sets for reachability, and model reduction preserving transient dynamics. The translation to related formalisms, in particular Boolean and multi-valued networks or Petri nets, is also provided, as well as interfaces with model-checking tools, such as NuSMV or Mole.
Type de document :
Poster
14th International Conference on Computational Methods in Systems Biology (CMSB 2016), Sep 2016, Cambridge, United Kingdom. 〈https://www.cl.cam.ac.uk/events/cmsb2016/〉
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01366730
Contributeur : Loïc Paulevé <>
Soumis le : jeudi 15 septembre 2016 - 11:43:48
Dernière modification le : mardi 24 avril 2018 - 13:50:51
Document(s) archivé(s) le : vendredi 16 décembre 2016 - 13:37:19

Fichier

CMSB16-Pint-poster.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01366730, version 1

Citation

Loïc Paulevé. Pint, a static analyzer for dynamics of Automata Networks. 14th International Conference on Computational Methods in Systems Biology (CMSB 2016), Sep 2016, Cambridge, United Kingdom. 〈https://www.cl.cam.ac.uk/events/cmsb2016/〉. 〈hal-01366730〉

Partager

Métriques

Consultations de la notice

240

Téléchargements de fichiers

163