Pint, a static analyzer for dynamics of Automata Networks - BioInformatique Accéder directement au contenu
Poster De Conférence Année : 2016

Pint, a static analyzer for dynamics of Automata Networks

Loïc Paulevé

Résumé

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.
Fichier principal
Vignette du fichier
CMSB16-Pint-poster.pdf (2.7 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01366730 , version 1 (15-09-2016)

Identifiants

  • HAL Id : hal-01366730 , version 1

Citer

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. . ⟨hal-01366730⟩
207 Consultations
89 Téléchargements

Partager

Gmail Facebook X LinkedIn More