Reaction systems are a new mathematical formalism inspired by the living cell and driven by only two basic mechanisms: facilitation and inhibition. As a modeling framework, they differ from the traditional approaches based on ODEs and CTMCs in two fundamental aspects: their qualitative character and the non-permanency of resources. In this article we introduce to reaction systems several notions of central interest in biomodeling: mass conservation, invariants, steady states, stationary processes, elementary fluxes, and periodicity. We prove that the decision problems related to these properties span a number of complexity classes from P to NP- and coNP-complete to PSPACE-complete.
Azimi, S., Gratie, C., Ivanov, S., Manzoni, L., Petre, I., & Porreca, A.E. (2016). Complexity of model checking for reaction systems. THEORETICAL COMPUTER SCIENCE, 623, 103-113 [10.1016/j.tcs.2015.11.040].
Citazione: | Azimi, S., Gratie, C., Ivanov, S., Manzoni, L., Petre, I., & Porreca, A.E. (2016). Complexity of model checking for reaction systems. THEORETICAL COMPUTER SCIENCE, 623, 103-113 [10.1016/j.tcs.2015.11.040]. | |
Tipo: | Articolo in rivista - Articolo scientifico | |
Carattere della pubblicazione: | Scientifica | |
Presenza di un coautore afferente ad Istituzioni straniere: | Si | |
Titolo: | Complexity of model checking for reaction systems | |
Autori: | Azimi, S; Gratie, C; Ivanov, S; Manzoni, L; Petre, I; Porreca, AE | |
Autori: | PORRECA, ANTONIO ENRICO (Ultimo) | |
Data di pubblicazione: | 2016 | |
Lingua: | English | |
Rivista: | THEORETICAL COMPUTER SCIENCE | |
Digital Object Identifier (DOI): | http://dx.doi.org/10.1016/j.tcs.2015.11.040 | |
Appare nelle tipologie: | 01 - Articolo su rivista |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
Paper.pdf | Preprint | N/A | Open Access Visualizza/Apri |