Cycles and Global Attractors of Reaction Systems

Abstract : Reaction systems are a recent formal model inspired by the chemical reactions that happen inside cells and possess many different dynamical behaviours. In this work we continue a recent investigation of the complexity of detecting some interesting dynamical behaviours in reaction system. We prove that detecting global behaviours such as the presence of global attractors is PSPACE - complete. Deciding the presence of cycles in the dynamics and many other related problems are also PSPACE - complete. Deciding bijectivity is, on the other hand, a coNP - complete problem.
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01312662
Contributeur : Enrico Formenti <>
Soumis le : dimanche 8 mai 2016 - 10:38:11
Dernière modification le : lundi 9 mai 2016 - 01:04:08

Identifiants

Collections

Citation

Enrico Formenti, Luca Manzoni, Antonio Porreca. Cycles and Global Attractors of Reaction Systems. Descriptional Complexity of Formal Systems (DFCS 2014), Aug 2014, Turku, Finland. Springer, 8614, pp.114-125, 2014, Descriptional Complexity of Formal Systems. <http://link.springer.com/chapter/10.1007%2F978-3-319-09704-6_11>. <10.1007/978-3-319-09704-6_11>. <hal-01312662>

Partager

Métriques

Consultations de la notice

54