Fixed Points and Attractors of Reaction Systems

DOI10.1007/978-3-319-08019-2_20zbMath1416.68071MaRDI QIDQ5175891

Luca Manzoni, Antonio E. Porreca, Enrico Formenti

Publication date: 25 February 2015

Published in: Language, Life, Limits (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08019-2_20

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

92C40: Biochemistry, molecular biology

Related Items

Unnamed Item, Computing preimages and ancestors in reaction systems, Fixed points and attractors of reactantless and inhibitorless reaction systems, Complexity of model checking for reaction systems, Dependency graphs and mass conservation in reaction systems, Reaction systems and extremal combinatorics properties, Ancestors, descendants, and gardens of Eden in reaction systems, A graph isomorphism condition and equivalence of reaction systems, Model checking temporal properties of reaction systems, Facilitation in reaction systems, Graph transformation through graph surfing in reaction systems, Asynchrony and persistence in reaction systems, A categorial approach to reaction systems: first steps, From additive flowers to additive automata networks, Transformations of reaction systems over categories by means of epi-mono factorization and functors, Characterization and computation of ancestors in reaction systems, Plug-in context providers for reaction systems, Evolving reaction systems, Complexity of the dynamics of reaction systems, Preimage Problems for Reaction Systems, Towards Quantitative Verification of Reaction Systems