Selected papers of the Second Workshop on Concurrency and compositionality
Computing with cells and atoms: an introduction to quantum, DNA and membrane computing
Computing with cells and atoms: an introduction to quantum, DNA and membrane computing
A new kind of science
Logic Minimization Algorithms for VLSI Synthesis
Logic Minimization Algorithms for VLSI Synthesis
Petri Net Representations in Metabolic Pathways
Proceedings of the 1st International Conference on Intelligent Systems for Molecular Biology
Gamma and the Chemical Reaction Model: Fifteen Years After
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
A simpler iterative solution to the Towers of Hanoi problem
ACM SIGPLAN Notices
Applications of Membrane Computing (Natural Computing Series)
Applications of Membrane Computing (Natural Computing Series)
Computational Modeling of Genetic and Biochemical Networks (Computational Molecular Biology)
Computational Modeling of Genetic and Biochemical Networks (Computational Molecular Biology)
System Modeling in Cellular Biology: From Concepts to Nuts and Bolts
System Modeling in Cellular Biology: From Concepts to Nuts and Bolts
Cycles and communicating classes in membrane systems and molecular dynamics
Theoretical Computer Science
Events and modules in reaction systems
Theoretical Computer Science
Introducing time in reaction systems
Theoretical Computer Science
Computing with energy and chemical reactions
Natural Computing: an international journal
Reaction systems with duration
Computation, cooperation, and life
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
| Hi-index | 5.23 |
Reaction systems are a formal model based on the regulation mechanisms of facilitation and inhibition between biochemical reactions, which underlie the functioning of living cells. The aim of this paper is to explore the expressive power of reaction systems as a modeling framework, showing how their basic assumptions and properties can be exploited to formalize computer science and biology oriented problems. In this view, we first provide a reaction-based description of an iterative algorithm to solve the Tower of Hanoi puzzle. Then, we show how the regulation of gene expression in the lac operon, involved in the metabolism of lactose in Escherichia coli cells, can be formalized in terms of reaction systems. Finally, we present a method to derive, given a reaction system with n reactions, a functionally equivalent system with n^'@?n reactions using simplification methods of boolean expressions. Some final remarks and directions for future research conclude the paper.