Cycles and Global Attractors of Reaction Systems

  • Enrico Formenti
  • Luca Manzoni
  • Antonio E. Porreca
Conference paper

DOI: 10.1007/978-3-319-09704-6_11

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8614)
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

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Enrico Formenti
    • 1
  • Luca Manzoni
    • 1
  • Antonio E. Porreca
    • 2
  1. 1.Univ. Nice Sophia Antipolis, CNRS, I3S, UMR 7271Sophia AntipolisFrance
  2. 2.Dipartimento di Informatica, Sistemistica e ComunicazioneUniversità degli Studi di Milano-BicoccaMilanoItaly

Personalised recommendations