{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T03:13:37Z","timestamp":1767237217060,"version":"3.40.3"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030473600"},{"type":"electronic","value":"9783030473617"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,5,12]],"date-time":"2020-05-12T00:00:00Z","timestamp":1589241600000},"content-version":"vor","delay-in-days":132,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>\nIn this chapter we give an overview of techniques for the modelling and reasoning about reversibility of systems, including out-of-causal-order reversibility, as it appears in chemical reactions. We consider the autoprotolysis of water reaction, and model it with the Calculus of Covalent Bonding, the Bonding Calculus, and Reversing Petri Nets. This exercise demonstrates that the formalisms, developed for expressing advanced forms of reversibility, are able to model autoprotolysis of water very accurately. Characteristics and expressiveness of the three formalisms are discussed and illustrated.<\/jats:p>","DOI":"10.1007\/978-3-030-47361-7_7","type":"book-chapter","created":{"date-parts":[[2020,5,13]],"date-time":"2020-05-13T15:10:54Z","timestamp":1589382654000},"page":"151-176","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Reversibility in Chemical Reactions"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5990-4157","authenticated-orcid":false,"given":"Stefan","family":"Kuhn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7649-8181","authenticated-orcid":false,"given":"Bogdan","family":"Aman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8166-9456","authenticated-orcid":false,"given":"Gabriel","family":"Ciobanu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1665-9913","authenticated-orcid":false,"given":"Anna","family":"Philippou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6554-7950","authenticated-orcid":false,"given":"Kyriaki","family":"Psara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3834-2036","authenticated-orcid":false,"given":"Irek","family":"Ulidowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,5,12]]},"reference":[{"issue":"4","key":"7_CR1","doi-asserted-by":"publisher","first-page":"823","DOI":"10.1007\/s11047-018-9709-7","volume":"17","author":"B Aman","year":"2018","unstructured":"Aman, B., Ciobanu, G.: Bonding calculus. Nat. Comput. 17(4), 823\u2013832 (2018). https:\/\/doi.org\/10.1007\/s11047-018-9709-7","journal-title":"Nat. Comput."},{"issue":"4","key":"7_CR2","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. Nat. Comput. 9(4), 955\u2013989 (2010)","journal-title":"Nat. Comput."},{"key":"7_CR3","unstructured":"Barylska, K., Gogoli\u0144ska, A., Mikulski, \u0141., Philippou, A., Pia\u0327tkowski, M., Psara, K.: Reversing computations modelled by coloured Petri nets. In: Proceedings of ATAED 2018. CEUR Workshop Proceedings, vol. 2115, pp. 91\u2013111 (2018)"},{"key":"7_CR4","unstructured":"Bl\u00e4tke, M.A., Heiner, M., Marwan, W.: Petri nets in systems biology. Technical report, Otto-von-Guericke University Magdeburg (2011)"},{"issue":"4","key":"7_CR5","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1093\/bib\/bbm029","volume":"8","author":"C Chaouiya","year":"2007","unstructured":"Chaouiya, C.: Petri net modelling of biological networks. Brief. Bioinform. 8(4), 210\u2013219 (2007)","journal-title":"Brief. Bioinform."},{"issue":"33\u201334","key":"7_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. Theoret. Comput. Sci. 410(33\u201334), 3065\u20133084 (2009)","journal-title":"Theoret. Comput. Sci."},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-540-74407-8_3","volume-title":"CONCUR 2007 \u2013 Concurrency Theory","author":"V Danos","year":"2007","unstructured":"Danos, V., Feret, J., Fontana, W., Harmer, R., Krivine, J.: Rule-based modelling of cellular signalling. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 17\u201341. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-74407-8_3"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/978-3-540-28644-8_19","volume-title":"CONCUR 2004 - Concurrency Theory","author":"V Danos","year":"2004","unstructured":"Danos, V., Krivine, J.: Reversible communicating systems. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol. 3170, pp. 292\u2013307. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-28644-8_19"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-1-59745-525-1_5","volume":"500","author":"JR Faeder","year":"2009","unstructured":"Faeder, J.R., Blinov, M.L., Hlavacek, W.S.: Rule-based modeling of biochemical systems with BioNetGen. Methods Mol. Biol. 500, 113\u2013167 (2009)","journal-title":"Methods Mol. Biol."},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"64","DOI":"10.4024\/2040402.jbpc.04.02","volume":"4","author":"F Fages","year":"2004","unstructured":"Fages, F., Soliman, S., Chabrier-Rivier, N.: Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM. J. Biol. Phys. Chem. 4, 64\u201373 (2004)","journal-title":"J. Biol. Phys. Chem."},{"key":"7_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04293-9","volume-title":"Introduction to Process Algebra","author":"W Fokkink","year":"2000","unstructured":"Fokkink, W.: Introduction to Process Algebra. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/978-3-662-04293-9"},{"key":"7_CR12","first-page":"113","volume":"16","author":"R Hofest\u00e4dt","year":"1994","unstructured":"Hofest\u00e4dt, R.: A Petri net application of metabolic processes. J. Syst. Anal. Model. Simul. 16, 113\u2013122 (1994)","journal-title":"J. Syst. Anal. Model. Simul."},{"issue":"1","key":"7_CR13","first-page":"39","volume":"1","author":"R Hofest\u00e4dt","year":"1998","unstructured":"Hofest\u00e4dt, R., Thelen, S.: Quantitative modeling of biochemical networks. Silico Biol. 1(1), 39\u201353 (1998)","journal-title":"Silico Biol."},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-319-99498-7_8","volume-title":"Reversible Computation","author":"S Kuhn","year":"2018","unstructured":"Kuhn, S.: Simulation of base excision repair in the calculus of covalent bonding. In: Kari, J., Ulidowski, I. (eds.) RC 2018. LNCS, vol. 11106, pp. 123\u2013129. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99498-7_8"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-319-40578-0_2","volume-title":"Reversible Computation","author":"S Kuhn","year":"2016","unstructured":"Kuhn, S., Ulidowski, I.: A calculus for local reversibility. In: Devitt, S., Lanese, I. (eds.) RC 2016. LNCS, vol. 9720, pp. 20\u201335. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-40578-0_2"},{"issue":"Supplement C","key":"7_CR16","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1016\/j.scico.2017.09.008","volume":"151","author":"S Kuhn","year":"2018","unstructured":"Kuhn, S., Ulidowski, I.: Local reversibility in a calculus of covalent bonding. Sci. Comput. Program. 151(Supplement C), 18\u201347 (2018)","journal-title":"Sci. Comput. Program."},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-3-642-23217-6_20","volume-title":"CONCUR 2011 \u2013 Concurrency Theory","author":"I Lanese","year":"2011","unstructured":"Lanese, I., Mezzina, C.A., Schmitt, A., Stefani, J.-B.: Controlling reversibility in higher-order Pi. In: Katoen, J.-P., K\u00f6nig, B. (eds.) CONCUR 2011. LNCS, vol. 6901, pp. 297\u2013311. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-23217-6_20"},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-642-36315-3_19","volume-title":"Reversible Computation","author":"I Lanese","year":"2013","unstructured":"Lanese, I., Mezzina, C.A., Stefani, J.-B.: Controlled reversibility and compensations. In: Gl\u00fcck, R., Yokoyama, T. (eds.) RC 2012. LNCS, vol. 7581, pp. 233\u2013240. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-36315-3_19"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1007\/978-3-642-15375-4_33","volume-title":"CONCUR 2010 - Concurrency Theory","author":"I Lanese","year":"2010","unstructured":"Lanese, I., Mezzina, C.A., Stefani, J.-B.: Reversing higher-order Pi. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol. 6269, pp. 478\u2013493. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15375-4_33"},{"issue":"3","key":"7_CR20","doi-asserted-by":"publisher","first-page":"1099","DOI":"10.1007\/s11047-009-9164-6","volume":"10","author":"H Matsuno","year":"2011","unstructured":"Matsuno, H., Nagasaki, M., Miyano, S.: Hybrid Petri net based modeling for biological pathway simulation. Nat. Comput. 10(3), 1099\u20131120 (2011)","journal-title":"Nat. Comput."},{"key":"7_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","year":"1980","unstructured":"Milner, R. (ed.): A Calculus of Communicating Systems. LNCS, vol. 92. Springer, Heidelberg (1980). https:\/\/doi.org\/10.1007\/3-540-10235-3"},{"issue":"2","key":"7_CR22","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1197\/jamia.M1637","volume":"12","author":"M Peleg","year":"2005","unstructured":"Peleg, M., Rubin, D.L., Altman, R.B.: Using Petri net tools to study properties and dynamics of biological systems. J. Am. Med. Inform. Assoc. 12(2), 181\u2013199 (2005)","journal-title":"J. Am. Med. Inform. Assoc."},{"key":"7_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-319-99498-7_6","volume-title":"Reversible Computation","author":"A Philippou","year":"2018","unstructured":"Philippou, A., Psara, K.: Reversible computation in Petri nets. In: Kari, J., Ulidowski, I. (eds.) RC 2018. LNCS, vol. 11106, pp. 84\u2013101. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99498-7_6"},{"key":"7_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/978-3-030-21500-2_15","volume-title":"Reversible Computation","author":"A Philippou","year":"2019","unstructured":"Philippou, A., Psara, K., Siljak, H.: Controlling reversibility in reversing Petri nets with application to wireless communications. In: Thomsen, M.K., Soeken, M. (eds.) RC 2019. LNCS, vol. 11497, pp. 238\u2013245. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-21500-2_15"},{"issue":"1\u20132","key":"7_CR25","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.jlap.2006.11.002","volume":"73","author":"I Phillips","year":"2007","unstructured":"Phillips, I., Ulidowski, I.: Reversing algebraic process calculi. J. Logic Algebraic Program. 73(1\u20132), 70\u201396 (2007)","journal-title":"J. Logic Algebraic Program."},{"key":"7_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/978-3-642-40184-8_22","volume-title":"CONCUR 2013 \u2013 Concurrency Theory","author":"I Phillips","year":"2013","unstructured":"Phillips, I., Ulidowski, I.: Reversibility and asymmetric conflict in event structures. In: D\u2019Argenio, P.R., Melgratti, H. (eds.) CONCUR 2013. LNCS, vol. 8052, pp. 303\u2013318. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40184-8_22"},{"key":"7_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/978-3-642-38986-3_12","volume-title":"Reversible Computation","author":"I Phillips","year":"2013","unstructured":"Phillips, I., Ulidowski, I., Yuen, S.: Modelling of bonding with processes and events. In: Dueck, G.W., Miller, D.M. (eds.) RC 2013. LNCS, vol. 7948, pp. 141\u2013154. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38986-3_12"},{"key":"7_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-642-36315-3_18","volume-title":"Reversible Computation","author":"I Phillips","year":"2013","unstructured":"Phillips, I., Ulidowski, I., Yuen, S.: A reversible process calculus and the modelling of the ERK signalling pathway. In: Gl\u00fcck, R., Yokoyama, T. (eds.) RC 2012. LNCS, vol. 7581, pp. 218\u2013232. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-36315-3_18"},{"issue":"1\u20133","key":"7_CR29","first-page":"149","volume":"67","author":"L Popova-Zeugmann","year":"2005","unstructured":"Popova-Zeugmann, L., Heiner, M., Koch, I.: Time Petri nets for modelling and analysis of biochemical networks. Fundam. Informaticae 67(1\u20133), 149\u2013162 (2005)","journal-title":"Fundam. Informaticae"},{"issue":"7","key":"7_CR30","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","volume":"38","author":"C Priami","year":"1995","unstructured":"Priami, C.: Stochastic $$\\pi $$-calculus. Comput. J. 38(7), 578\u2013589 (1995)","journal-title":"Comput. J."},{"key":"7_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-540-25974-9_3","volume-title":"Computational Methods in Systems Biology","author":"C Priami","year":"2005","unstructured":"Priami, C., Quaglia, P.: Beta binders for biological interactions. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS, vol. 3082, pp. 20\u201333. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-25974-9_3"},{"key":"7_CR32","unstructured":"Reddy, V.N., Mavrovouniotis, M.L., Liebman, M.N.: Petri net representations in metabolic pathways. In: Proceedings of the 1st International Conference on Intelligent Systems for Molecular Biology, pp. 328\u2013336. AAAI (1993)"},{"issue":"1","key":"7_CR33","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/j.tcs.2004.03.061","volume":"325","author":"A Regev","year":"2004","unstructured":"Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: BioAmbients: an abstraction for biological compartments. Theoret. Comput. Sci. 325(1), 141\u2013167 (2004)","journal-title":"Theoret. Comput. Sci."},{"key":"7_CR34","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-642-18734-6_11","volume-title":"Modelling in Molecular Biology","author":"A Regev","year":"2004","unstructured":"Regev, A., Shapiro, E.: The $$\\pi $$-calculus as an abstraction for biomolecular systems. In: Ciobanu, G., Rozenberg, G. (eds.) Modelling in Molecular Biology, pp. 219\u2013266. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-642-18734-6_11"},{"key":"7_CR35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33278-4","volume-title":"Understanding Petri Nets - Modeling Techniques, Analysis Methods, Case Studies","author":"W Reisig","year":"2013","unstructured":"Reisig, W.: Understanding Petri Nets - Modeling Techniques, Analysis Methods, Case Studies. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-33278-4"},{"key":"7_CR36","unstructured":"Ulidowski, I.: Equivalences on observable processes. In: Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science, pp. 148\u2013159. IEEE (1992)"},{"issue":"3","key":"7_CR37","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/s00354-018-0040-8","volume":"36","author":"I Ulidowski","year":"2018","unstructured":"Ulidowski, I., Phillips, I., Yuen, S.: Reversing event structures. New Gener. Comput. 36(3), 281\u2013306 (2018)","journal-title":"New Gener. Comput."},{"issue":"3","key":"7_CR38","first-page":"367","volume":"3","author":"K Voss","year":"2003","unstructured":"Voss, K., Heiner, M., Koch, I.: Steady state analysis of metabolic pathways using Petri nets. Silico Biol. 3(3), 367\u2013387 (2003)","journal-title":"Silico Biol."}],"container-title":["Lecture Notes in Computer Science","Reversible Computation: Extending Horizons of Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-47361-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,3]],"date-time":"2024-07-03T10:04:18Z","timestamp":1720001058000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-47361-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030473600","9783030473617"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-47361-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"12 May 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}