{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T07:29:49Z","timestamp":1769930989363,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642355233","type":"print"},{"value":"9783642355240","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35524-0_5","type":"book-chapter","created":{"date-parts":[[2012,11,19]],"date-time":"2012-11-19T20:03:10Z","timestamp":1353355390000},"page":"102-122","source":"Crossref","is-referenced-by-count":21,"title":["Minimal Reaction Systems"],"prefix":"10.1007","author":[{"given":"Andrzej","family":"Ehrenfeucht","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jetty","family":"Kleijn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maciej","family":"Koutny","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grzegorz","family":"Rozenberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"5_CR1","doi-asserted-by":"publisher","first-page":"955","DOI":"10.1007\/s11047-010-9180-6","volume":"9","author":"P. Baldan","year":"2010","unstructured":"Baldan, P., Cocco, N., Marin, A., Simeoni, M.: Petri nets for modelling metabolic pathways: a survey. Natural Computing\u00a09(4), 955\u2013989 (2010)","journal-title":"Natural Computing"},{"issue":"1-3","key":"5_CR2","first-page":"21","volume":"72","author":"R. Barbuti","year":"2006","unstructured":"Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Troina, A.: A calculus of looping sequences for modelling microbiological systems. Fundam. Inform.\u00a072(1-3), 21\u201335 (2006)","journal-title":"Fundam. Inform."},{"issue":"7","key":"5_CR3","doi-asserted-by":"publisher","first-page":"1499","DOI":"10.1142\/S0129054111008842","volume":"22","author":"R. Brijder","year":"2011","unstructured":"Brijder, R., Ehrenfeucht, A., Main, M.G., Rozenberg, G.: A tour of reaction systems. Int. J. Found. Comput. Sci.\u00a022(7), 1499\u20131517 (2011)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"5_CR4","unstructured":"Brijder, R., Ehrenfeucht, A., Rozenberg, G.: A note on causalities in reaction systems. ECEASST\u00a030 (2010)"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-3-642-20000-7_16","volume-title":"Computation, Cooperation, and Life","author":"R. Brijder","year":"2011","unstructured":"Brijder, R., Ehrenfeucht, A., Rozenberg, G.: Reaction Systems with Duration. In: Kelemen, J., Kelemenov\u00e1, A. (eds.) P\u01ceun Fetschrift. LNCS, vol.\u00a06610, pp. 191\u2013202. Springer, Heidelberg (2011)"},{"issue":"33-34","key":"5_CR6","doi-asserted-by":"publisher","first-page":"3065","DOI":"10.1016\/j.tcs.2009.02.037","volume":"410","author":"F. Ciocchetta","year":"2009","unstructured":"Ciocchetta, F., Hillston, J.: Bio-PEPA: A framework for the modelling and analysis of biological systems. Theor. Comput. Sci.\u00a0410(33-34), 3065\u20133084 (2009)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Lectures on Concurrency and Petri Nets","year":"2004","unstructured":"Desel, J., Reisig, W., Rozenberg, G. (eds.): Lectures on Concurrency and Petri Nets. LNCS, vol.\u00a03098. Springer, Heidelberg (2004)"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1002\/9783527645480.ch16"},{"issue":"3","key":"5_CR9","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1142\/S0129054110007295","volume":"21","author":"A. Ehrenfeucht","year":"2010","unstructured":"Ehrenfeucht, A., Main, M.G., Rozenberg, G.: Combinatorics of life and death for reaction systems. Int. J. Found. Comput. Sci.\u00a021(3), 345\u2013356 (2010)","journal-title":"Int. J. Found. Comput. Sci."},{"issue":"1","key":"5_CR10","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1142\/S0129054111007927","volume":"22","author":"A. Ehrenfeucht","year":"2011","unstructured":"Ehrenfeucht, A., Main, M.G., Rozenberg, G.: Functions defined by reaction systems. Int. J. Found. Comput. Sci.\u00a022(1), 167\u2013178 (2011)","journal-title":"Int. J. Found. Comput. Sci."},{"issue":"1-2","key":"5_CR11","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.tcs.2007.01.008","volume":"376","author":"A. Ehrenfeucht","year":"2007","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Events and modules in reaction systems. Theor. Comput. Sci.\u00a0376(1-2), 3\u201316 (2007)","journal-title":"Theor. Comput. Sci."},{"issue":"1-4","key":"5_CR12","first-page":"263","volume":"75","author":"A. Ehrenfeucht","year":"2007","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Reaction systems. Fundam. Inform.\u00a075(1-4), 263\u2013280 (2007)","journal-title":"Fundam. Inform."},{"issue":"4-5","key":"5_CR13","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1016\/j.tcs.2008.09.043","volume":"410","author":"A. Ehrenfeucht","year":"2009","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Introducing time in reaction systems. Theor. Comput. Sci.\u00a0410(4-5), 310\u2013322 (2009)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-642-21834-7_2","volume-title":"Applications and Theory of Petri Nets","author":"M. Heiner","year":"2011","unstructured":"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.\u00a06709, pp. 17\u201337. Springer, Heidelberg (2011)"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-540-68894-5_7","volume-title":"Formal Methods for Computational Systems Biology","author":"M. Heiner","year":"2008","unstructured":"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.\u00a05016, pp. 215\u2013264. Springer, Heidelberg (2008)"},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1016\/j.tcs.2011.12.032","volume":"429","author":"M. Hirvensalo","year":"2012","unstructured":"Hirvensalo, M.: On probabilistic and quantum reaction systems. Theor. Comput. Sci.\u00a0429, 134\u2013143 (2012)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR17","unstructured":"Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Prentice Hall (2006)"},{"key":"5_CR18","unstructured":"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.\u00a0724, pp. 36\u201352 (2011)"},{"key":"5_CR19","volume-title":"Bioenergetics: The Molecular Basis of Biological Energy Transformations","author":"A.L. Lehninger","year":"1965","unstructured":"Lehninger, A.L.: Bioenergetics: The Molecular Basis of Biological Energy Transformations. W.A. Benjamin, Inc., New York (1965)"},{"issue":"1","key":"5_CR20","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/S0020-0190(01)00214-9","volume":"80","author":"C. Priami","year":"2001","unstructured":"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.\u00a080(1), 25\u201331 (2001)","journal-title":"Inf. Process. Lett."},{"key":"5_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/978-3-642-29485-3_17","volume-title":"Logic and Program Semantics","author":"A. Salomaa","year":"2012","unstructured":"Salomaa, A.: On State Sequences Defined by Reaction Systems. In: Constable, R.L., Silva, A. (eds.) Kozen Festschrift. LNCS, vol.\u00a07230, pp. 271\u2013282. Springer, Heidelberg (2012)"},{"key":"5_CR22","volume-title":"Modularity in Development and Evolution","year":"2004","unstructured":"Schlosser, G., Wagner, G.P. (eds.): Modularity in Development and Evolution. The University of Chicago Press, Chicago (2004)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Computational Systems Biology XIV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35524-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,8]],"date-time":"2019-05-08T20:30:22Z","timestamp":1557347422000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35524-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642355233","9783642355240"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35524-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}