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.

Corolli, L., Maj, C., Marini, F., Besozzi, D., & Mauri, G. (2012). An excursion in reaction systems : from computer science to biology. THEORETICAL COMPUTER SCIENCE, 454, 95-108 [10.1016/j.tcs.2012.04.003].

An excursion in reaction systems : from computer science to biology

COROLLI, LUCA;MAJ, CARLO;MARINI, FABRIZIO;BESOZZI, DANIELA;MAURI, GIANCARLO
2012

Abstract

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.
Articolo in rivista - Articolo scientifico
Scientifica
Reaction systems; Boolean functions; Simplification methods; Tower of Hanoi; lac operon
English
Corolli, L., Maj, C., Marini, F., Besozzi, D., & Mauri, G. (2012). An excursion in reaction systems : from computer science to biology. THEORETICAL COMPUTER SCIENCE, 454, 95-108 [10.1016/j.tcs.2012.04.003].
Corolli, L; Maj, C; Marini, F; Besozzi, D; Mauri, G
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/10281/37539
Citazioni
  • Scopus 36
  • ???jsp.display-item.citation.isi??? 29
Social impact