Cycles and Global Attractors of Reaction Systems
- Cite this paper as:
- Formenti E., Manzoni L., Porreca A.E. (2014) Cycles and Global Attractors of Reaction Systems. In: Jürgensen H., Karhumäki J., Okhotin A. (eds) Descriptional Complexity of Formal Systems. DCFS 2014. Lecture Notes in Computer Science, vol 8614. Springer, Cham
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.
Unable to display preview. Download preview PDF.