Skip to main content
SpringerLink
Log in

Minimal Reaction Systems

  • Conference paper
Transactions on Computational Systems Biology XIV

Part of the book series: Lecture Notes in Computer Science ((TCSB,volume 7625))

Abstract

Reaction systems are a formal model for processes inspired by the functioning of the living cell. These processes are determined by the iteration of the state transition functions of reaction systems, also called rs functions. In this paper we provide mathematical characterisations of rs functions implemented/defined by “minimal reaction systems”, ı.e., reaction systems with reactions using the minimal number of reactants, or the minimal number of inhibitors, or the minimal number of resources (ı.e., reactants and inhibitors together).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Baldan, P., Cocco, N., Marin, A., Simeoni, M.: Petri nets for modelling metabolic pathways: a survey. Natural Computing 9(4), 955–989 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  2. Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Troina, A.: A calculus of looping sequences for modelling microbiological systems. Fundam. Inform. 72(1-3), 21–35 (2006)

    MathSciNet  MATH  Google Scholar 

  3. Brijder, R., Ehrenfeucht, A., Main, M.G., Rozenberg, G.: A tour of reaction systems. Int. J. Found. Comput. Sci. 22(7), 1499–1517 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  4. Brijder, R., Ehrenfeucht, A., Rozenberg, G.: A note on causalities in reaction systems. ECEASST 30 (2010)

    Google Scholar 

  5. Brijder, R., Ehrenfeucht, A., Rozenberg, G.: Reaction Systems with Duration. In: Kelemen, J., Kelemenová, A. (eds.) Pǎun Fetschrift. LNCS, vol. 6610, pp. 191–202. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  6. Ciocchetta, F., Hillston, J.: Bio-PEPA: A framework for the modelling and analysis of biological systems. Theor. Comput. Sci. 410(33-34), 3065–3084 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  7. Desel, J., Reisig, W., Rozenberg, G. (eds.): Lectures on Concurrency and Petri Nets. LNCS, vol. 3098. Springer, Heidelberg (2004)

    MATH  Google Scholar 

  8. Ehrenfeucht, A., Kleijn, J., Koutny, M., Rozenberg, G.: Qualitative and quantitative aspects of a model for processes inspired by the functioning of the living cell. In: Katz, E. (ed.) Biomolecular Computing: From Logic Systems to Smart Sensors and Actuators. Wiley-VCH Verlag GmbH & Co. KGaA (2012)

    Google Scholar 

  9. Ehrenfeucht, A., Main, M.G., Rozenberg, G.: Combinatorics of life and death for reaction systems. Int. J. Found. Comput. Sci. 21(3), 345–356 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  10. Ehrenfeucht, A., Main, M.G., Rozenberg, G.: Functions defined by reaction systems. Int. J. Found. Comput. Sci. 22(1), 167–178 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  11. Ehrenfeucht, A., Rozenberg, G.: Events and modules in reaction systems. Theor. Comput. Sci. 376(1-2), 3–16 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  12. Ehrenfeucht, A., Rozenberg, G.: Reaction systems. Fundam. Inform. 75(1-4), 263–280 (2007)

    MathSciNet  MATH  Google Scholar 

  13. Ehrenfeucht, A., Rozenberg, G.: Introducing time in reaction systems. Theor. Comput. Sci. 410(4-5), 310–322 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  14. Heiner, M., Gilbert, D.: How Might Petri Nets Enhance Your Systems Biology Toolkit. In: Kristensen, L.M., Petrucci, L. (eds.) PETRI NETS 2011. LNCS, vol. 6709, pp. 17–37. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  15. Heiner, M., Gilbert, D., Donaldson, R.: Petri Nets for Systems and Synthetic Biology. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol. 5016, pp. 215–264. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  16. Hirvensalo, M.: On probabilistic and quantum reaction systems. Theor. Comput. Sci. 429, 134–143 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  17. Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Prentice Hall (2006)

    Google Scholar 

  18. Kleijn, J., Koutny, M., Rozenberg, G.: Modelling reaction systems with Petri nets. In: BioPPN 2011, International Workshop on Biological Processes & Petri Nets. CEUR-WS Workshop Proceedings, vol. 724, pp. 36–52 (2011)

    Google Scholar 

  19. Lehninger, A.L.: Bioenergetics: The Molecular Basis of Biological Energy Transformations. W.A. Benjamin, Inc., New York (1965)

    Google Scholar 

  20. Priami, C., Regev, A., Shapiro, E.Y., Silverman, W.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Inf. Process. Lett. 80(1), 25–31 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  21. Salomaa, A.: On State Sequences Defined by Reaction Systems. In: Constable, R.L., Silva, A. (eds.) Kozen Festschrift. LNCS, vol. 7230, pp. 271–282. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  22. Schlosser, G., Wagner, G.P. (eds.): Modularity in Development and Evolution. The University of Chicago Press, Chicago (2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Colorado at Boulder, 430 UCB, Boulder, CO, 80309-0430, U.S.A

    Andrzej Ehrenfeucht & Grzegorz Rozenberg

  2. LIACS, Leiden University, P.O. Box 9512, 2300 RA, The Netherlands

    Jetty Kleijn & Grzegorz Rozenberg

  3. School of Computing Science, Newcastle University, NE1 7RU, UK

    Maciej Koutny

Authors
  1. Andrzej Ehrenfeucht
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jetty Kleijn
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Maciej Koutny
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Grzegorz Rozenberg
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Centre for Computational and Systems Biology, The Microsoft Research - University of Trento, Piazza Manci, 17, 38050, Povo, TN, Italy

    Corrado Priami

  2. Department of Information Technologies, Akademi University, Joukohaisenkatu 3-5, 20520, Turku, Finland

    Ion Petre

  3. Technische Universiteit Eindhoven, Den Dolech 2, Eindhoven, The Netherlands

    Erik de Vink

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ehrenfeucht, A., Kleijn, J., Koutny, M., Rozenberg, G. (2012). Minimal Reaction Systems. In: Priami, C., Petre, I., de Vink, E. (eds) Transactions on Computational Systems Biology XIV. Lecture Notes in Computer Science(), vol 7625. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35524-0_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-35524-0_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-35523-3

  • Online ISBN: 978-3-642-35524-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation