# Goal-Oriented Reduction of Automata Networks

Abstract : We consider networks of finite-state machines having local transitions conditioned by the current state of other automata. In this paper, we depict a reduction procedure tailored for a given reachability property of the form from global state s there exists a sequence of transitions leading to a state where an automaton g is in a local state T'. By exploiting a causality analysis of the transitions within the individual automata, the proposed reduction removes local transitions while preserving all the minimal traces that satisfy the reachability property. The complexity of the procedure is polynomial in the total number of local states and transitions, and exponential in the number of local states within one automaton. Applied to automata networks modelling dynamics of biological systems, we observe that the reduction shrinks down significantly the reachable state space, enhancing the tractability of the model-checking of large networks.
Keywords :
Type de document :
Communication dans un congrès
Ezio Bartocci, Pietro Lio, Nicola Paoletti. 14th International Conference on Computational Methods in Systems Biology (CMSB 2016), Sep 2016, Cambridge, United Kingdom. Springer International Publishing, 9859, pp.252-272, Lecture Notes in Computer Science. 〈https://www.cl.cam.ac.uk/events/cmsb2016/〉. 〈10.1007/978-3-319-45177-0_16〉
Domaine :

Littérature citée [32 références]

https://hal.archives-ouvertes.fr/hal-01149118
Contributeur : Loïc Paulevé <>
Soumis le : vendredi 6 mai 2016 - 00:45:22
Dernière modification le : mardi 24 avril 2018 - 13:39:05

### Fichier

gored.pdf
Fichiers produits par l'(les) auteur(s)

### Citation

Loïc Paulevé. Goal-Oriented Reduction of Automata Networks. Ezio Bartocci, Pietro Lio, Nicola Paoletti. 14th International Conference on Computational Methods in Systems Biology (CMSB 2016), Sep 2016, Cambridge, United Kingdom. Springer International Publishing, 9859, pp.252-272, Lecture Notes in Computer Science. 〈https://www.cl.cam.ac.uk/events/cmsb2016/〉. 〈10.1007/978-3-319-45177-0_16〉. 〈hal-01149118v2〉

### Métriques

Consultations de la notice

## 246

Téléchargements de fichiers