Advertisement

Reaction Systems with Duration

  • Robert Brijder
  • Andrzej Ehrenfeucht
  • Grzegorz Rozenberg
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6610)

Abstract

A reaction system is essentially a finite set of reactions, where each reaction consists of a finite set of reactants (needed for the reaction to take place), a finite set of inhibitors (each of which inhibits the reaction from taking place), and a finite set of products produced when the reaction takes place. A crucial feature of a reaction system is that (unless introduced from outside the system) an element (entity) from a current state will belong also to the successor state only if it is in the product set of a reaction that took place in the current state. In other words, an entity vanishes unless it is sustained by a reaction — a sort of “immediate decay” property. In this paper we relax this property, by providing each entity x with its duration d(x), which guarantees that x will last through at least d(x) consecutive states. Such reaction systems with duration are investigated in this paper. Among others we demonstrate that duration/decay is a result of an interaction with a “structured environment”, and we also investigate fundamental properties of state sequences of reaction systems with duration.

Keywords

Reaction System Normal Form State Sequence Successor State Saturation Phase 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Kari, L., Rozenberg, G.: The many facets of natural computing. Communications of the ACM 51(10), 72–83 (2008)CrossRefGoogle Scholar
  2. 2.
    Ehrenfeucht, A., Main, M.G., Rozenberg, G.: Combinatorics of life and death for reaction systems. International Journal of Foundations of Computer Science 21(3), 345–356 (2010)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Ehrenfeucht, A., Rozenberg, G.: Events and modules in reaction systems. Theoretical Computer Science 376(1-2), 3–16 (2007)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Ehrenfeucht, A., Rozenberg, G.: Reaction systems. Fundamenta Informaticae 75(1-4), 263–280 (2007)MathSciNetzbMATHGoogle Scholar
  5. 5.
    Ehrenfeucht, A., Rozenberg, G.: Introducing time in reaction systems. Theoretical Computer Science 410(4-5), 310–322 (2009)MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Robert Brijder
    • 1
  • Andrzej Ehrenfeucht
    • 2
  • Grzegorz Rozenberg
    • 1
    • 2
  1. 1.Leiden Institute of Advanced Computer Science, Leiden Center for Natural ComputingLeiden UniversityThe Netherlands
  2. 2.Department of Computer ScienceUniversity of Colorado at BoulderUSA

Personalised recommendations