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
Poster communications

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.
Complete list of metadata

Cited literature [4 references]  Display  Hide  Download

Contributor : Loïc Paulevé Connect in order to contact the contributor
Submitted on : Thursday, September 15, 2016 - 11:43:48 AM
Last modification on : Thursday, July 8, 2021 - 3:50:43 AM
Long-term archiving on: : Friday, December 16, 2016 - 1:37:19 PM


Files produced by the author(s)


  • HAL Id : hal-01366730, version 1


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⟩



Record views


Files downloads