Introducing time in reaction systems

  • Authors:
  • A. Ehrenfeucht;G. Rozenberg

  • Affiliations:
  • Department of Computer Science, University of Colorado at Boulder, Boulder, CO 80309, USA;Leiden Institute of Advanced Computer Science, Leiden University, Niels Bohrweg 1, 2333 CA Leiden, The Netherlands and Department of Computer Science, University of Colorado at Boulder, Boulder, C ...

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2009

Quantified Score

Hi-index 5.23

Visualization

Abstract

Reaction systems are a formal model of interactions between biochemical reactions. The main observation underlying the formulation of this model is that such interactions are based on two basic mechanisms: facilitation and inhibition. This paper continues the investigation of reaction systems, and in particular, it proposes a formal framework for introducing time into reaction systems. Within this framework one can formally define and investigate notions such as reaction times, creation times of compounds, their life spans, etc.