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.
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. |
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 |