Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Basic notions of reaction systems
DLT'04 Proceedings of the 8th international conference on Developments in Language Theory
Events and modules in reaction systems
Theoretical Computer Science
Introducing time in reaction systems
Theoretical Computer Science
Computational virtuality in biological systems
Theoretical Computer Science
Reaction systems: a model of computation inspired by biochemistry
DLT'10 Proceedings of the 14th international conference on Developments in language theory
Coloured euler diagrams: a tool for visualizing dynamic systems and structured information
Diagrams'10 Proceedings of the 6th international conference on Diagrammatic representation and inference
Reaction systems with duration
Computation, cooperation, and life
On probabilistic and quantum reaction systems
Theoretical Computer Science
Theoretical Computer Science
Towards bridging two cell-inspired models: P systems and R systems
Theoretical Computer Science
Representing reaction systems by trees
WTCS'12 Proceedings of the 2012 international conference on Theoretical Computer Science: computation, physics and beyond
EvoBIO'12 Proceedings of the 10th European conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics
Parameter tuning of evolutionary reactions systems
Proceedings of the 14th annual conference on Genetic and evolutionary computation
Hi-index | 0.01 |
Interactions between biochemical reactions lie at the heart of functioning of a living cell. In order to formalize these interactions we introduce reaction systems. We motivate them by explicitely stating a number of assumptions/axioms that (we believe) hold for a great number of biochemical reactions - we point out that these assumptions are very different from the ones underlying traditional models of computation. The paper provides the basic definitions, illustrates them by biology and computer science oriented examples, relates reaction systems to some traditional models of computation, and proves some basic properties of reaction systems.