Minimal Reaction Systems

详细信息    查看全文

• 作者：Andrzej Ehrenfeucht (22)
  Jetty Kleijn (23)
  Maciej Koutny (24)
  Grzegorz Rozenberg (22) (23)
  
• 关键词：natural computing ; functioning of the living cell ; reaction ; resources of reaction ; reaction system ; state transition function
• 刊名：Lecture Notes in Computer Science
• 出版年：2012
• 出版时间：2012
• 年：2012
• 卷：7625
• 期：1
• 页码：123-150
• 全文大小：262KB
• 参考文献：1. Baldan, P., Cocco, N., Marin, A., Simeoni, M.: Petri nets for modelling metabolic pathways: a survey. Natural Computing?9(4), 955-89 (2010) CrossRef
  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-5 (2006)
  3. Brijder, R., Ehrenfeucht, A., Main, M.G., Rozenberg, G.: A tour of reaction systems. Int. J. Found. Comput. Sci.?22(7), 1499-517 (2011) CrossRef
  4. Brijder, R., Ehrenfeucht, A., Rozenberg, G.: A note on causalities in reaction systems. ECEASST?30 (2010)
  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-02. Springer, Heidelberg (2011) CrossRef
  6. Ciocchetta, F., Hillston, J.: Bio-PEPA: A framework for the modelling and analysis of biological systems. Theor. Comput. Sci.?410(33-34), 3065-084 (2009) CrossRef
  7. Desel, J., Reisig, W., Rozenberg, G. (eds.): Lectures on Concurrency and Petri Nets. LNCS, vol.?3098. Springer, Heidelberg (2004)
  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)
  9. Ehrenfeucht, A., Main, M.G., Rozenberg, G.: Combinatorics of life and death for reaction systems. Int. J. Found. Comput. Sci.?21(3), 345-56 (2010) CrossRef
  10. Ehrenfeucht, A., Main, M.G., Rozenberg, G.: Functions defined by reaction systems. Int. J. Found. Comput. Sci.?22(1), 167-78 (2011) CrossRef
  11. Ehrenfeucht, A., Rozenberg, G.: Events and modules in reaction systems. Theor. Comput. Sci.?376(1-2), 3-6 (2007) CrossRef
  12. Ehrenfeucht, A., Rozenberg, G.: Reaction systems. Fundam. Inform.?75(1-4), 263-80 (2007)
  13. Ehrenfeucht, A., Rozenberg, G.: Introducing time in reaction systems. Theor. Comput. Sci.?410(4-5), 310-22 (2009) CrossRef
  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-7. Springer, Heidelberg (2011) CrossRef
  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-64. Springer, Heidelberg (2008) CrossRef
  16. Hirvensalo, M.: On probabilistic and quantum reaction systems. Theor. Comput. Sci.?429, 134-43 (2012) CrossRef
  17. Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Prentice Hall (2006)
  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-2 (2011)
  19. Lehninger, A.L.: Bioenergetics: The Molecular Basis of Biological Energy Transformations. W.A. Benjamin, Inc., New York (1965)
  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-1 (2001) CrossRef
  21. Salomaa, A.: On State Sequences Defined by Reaction Systems. In: Constable, R.L., Silva, A. (eds.) Kozen Festschrift. LNCS, vol.?7230, pp. 271-82. Springer, Heidelberg (2012) CrossRef
  22. Schlosser, G., Wagner, G.P. (eds.): Modularity in Development and Evolution. The University of Chicago Press, Chicago (2004)
  
• 作者单位：Andrzej Ehrenfeucht (22)
  Jetty Kleijn (23)
  Maciej Koutny (24)
  Grzegorz Rozenberg (22) (23)
  
  22. Department of Computer Science, University of Colorado at Boulder, 430 UCB, Boulder, CO, 80309-0430, U.S.A
  23. LIACS, Leiden University, P.O. Box 9512, 2300 RA, The Netherlands
  24. School of Computing Science, Newcastle University, NE1 7RU, UK
  
• ISSN：1611-3349

文摘

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).