{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T15:29:05Z","timestamp":1772119745982,"version":"3.50.1"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2024,3,29]],"date-time":"2024-03-29T00:00:00Z","timestamp":1711670400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,3,29]],"date-time":"2024-03-29T00:00:00Z","timestamp":1711670400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"name":"NCBR Poland and FNR Luxembourg","award":["POLLUX-XI\/14\/SpaceVote\/2023"],"award-info":[{"award-number":["POLLUX-XI\/14\/SpaceVote\/2023"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Nat Comput"],"published-print":{"date-parts":[[2024,6]]},"DOI":"10.1007\/s11047-024-09978-1","type":"journal-article","created":{"date-parts":[[2024,3,29]],"date-time":"2024-03-29T03:01:42Z","timestamp":1711681302000},"page":"295-307","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On categorical approach to reaction systems"],"prefix":"10.1007","volume":"23","author":[{"given":"Mariusz","family":"Kaniecki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u0141ukasz","family":"Mikulski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,3,29]]},"reference":[{"issue":"4","key":"9978_CR1","first-page":"589","volume":"15","author":"J Ad\u00e1mek","year":"1974","unstructured":"Ad\u00e1mek J (1974) Free algebras and automata realizations in the language of categories. Comment Math Univ Carol 15(4):589\u2013602","journal-title":"Comment Math Univ Carol"},{"key":"9978_CR2","volume-title":"Abstract and concrete categories","author":"J Ad\u00e1mek","year":"1990","unstructured":"Ad\u00e1mek J, Herrlich H, Strecker G (1990) Abstract and concrete categories. Wiley-Interscience, New York"},{"issue":"1\u20134","key":"9978_CR3","first-page":"263","volume":"75","author":"A Ehrenfeucht","year":"2007","unstructured":"Ehrenfeucht A, Rozenberg G (2007) Reaction systems. Fund Inform 75(1\u20134):263\u2013280","journal-title":"Fund Inform"},{"issue":"4\u20135","key":"9978_CR4","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 (2009) Introducing time in reaction systems. Theoret Comput Sci 410(4\u20135):310\u2013322","journal-title":"Theoret Comput Sci"},{"key":"9978_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-322-96644-5","volume-title":"Universal theory of automata\u2014a categorial approach","author":"H Ehrig","year":"1974","unstructured":"Ehrig H, Kiermeier K, Kreowski H, K\u00fchnel W (1974) Universal theory of automata\u2014a categorial approach. Teubner Studienb\u00fccher, Teubner, Stuttgart"},{"key":"9978_CR6","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.tcs.2017.05.019","volume":"701","author":"D Genova","year":"2017","unstructured":"Genova D, Hoogeboom HJ, Jonoska N (2017) A graph isomorphism condition and equivalence of reaction systems. Theoret Comput Sci 701:109\u2013119","journal-title":"Theoret Comput Sci"},{"key":"9978_CR7","doi-asserted-by":"crossref","unstructured":"Hasuo I, Jacobs B, Uustalu T (2007) Categorical views on computations on trees. In: ICALP, vol 4596. Springer, pp 619\u2013630","DOI":"10.1007\/978-3-540-73420-8_54"},{"issue":"1\u20134","key":"9978_CR8","first-page":"261","volume":"171","author":"J Kleijn","year":"2020","unstructured":"Kleijn J, Koutny M, Mikulski \u0141 (2020) Reaction systems and enabling equivalence. Fund Inform 171(1\u20134):261\u2013277","journal-title":"Fund Inform"},{"key":"9978_CR9","doi-asserted-by":"crossref","unstructured":"Kleijn J, Koutny M, Mikulski \u0141, Rozenberg G (2018) Reaction systems, transition systems, and equivalences. Adventures between lower bounds and higher altitudes: essays dedicated to Juraj Hromkovi\u010d on the occasion of his 60th birthday, pp 63\u201384","DOI":"10.1007\/978-3-319-98355-4_5"},{"key":"9978_CR10","unstructured":"Kleijn J, Koutny M, Rozenberg G (2011) Modelling reaction systems with Petri nets. In: BioPPN-2011, 2nd international workshop on biological processes & petri nets. Newcastle University"},{"key":"9978_CR11","doi-asserted-by":"crossref","unstructured":"Kreowski H-J, Lye A (2020) Graph surfing in reaction systems from a categorial perspective. arXiv preprint arXiv:2012.01659","DOI":"10.4204\/EPTCS.330.5"},{"key":"9978_CR12","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/j.tcs.2020.08.013","volume":"881","author":"H-J Kreowski","year":"2021","unstructured":"Kreowski H-J, Lye A (2021) A categorial approach to reaction systems: first steps. Theoret Comput Sci 881:111\u2013128","journal-title":"Theoret Comput Sci"},{"key":"9978_CR13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804199","volume-title":"Conceptual mathematics: a first introduction to categories","author":"FW Lawvere","year":"2009","unstructured":"Lawvere FW, Schanuel SH (2009) Conceptual mathematics: a first introduction to categories, 2nd edn. Cambridge University Press, Cambridge","edition":"2"},{"key":"9978_CR14","doi-asserted-by":"crossref","unstructured":"Lye A (2021) Transformations of reaction systems over categories by means of epi-mono factorization and functors. In: Graph transformation: 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24\u201325, 2021, proceedings. Springer, pp 40\u201359","DOI":"10.1007\/978-3-030-78946-6_3"},{"key":"9978_CR15","volume-title":"Categories for the working mathematician","author":"S Mac Lane","year":"2013","unstructured":"Mac Lane S (2013) Categories for the working mathematician, vol 5. Springer, New York"},{"key":"9978_CR16","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1142\/S012905411440005X","volume":"25","author":"L Manzoni","year":"2014","unstructured":"Manzoni L, Po\u00e7as D, Porreca AE (2014) Simple reaction systems and their classification. Int J Found Comput Sci 25:441\u2013458","journal-title":"Int J Found Comput Sci"},{"issue":"2","key":"9978_CR17","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0890-5401(90)90013-8","volume":"88","author":"J Meseguer","year":"1990","unstructured":"Meseguer J, Montanari U (1990) Petri nets are monoids. Inf Comput 88(2):105\u2013155","journal-title":"Inf Comput"},{"key":"9978_CR18","unstructured":"M\u0229ski A, Koutny M, Penczek W (2019) Model checking for temporal-epistemic properties of distributed reaction systems. School of computing technical report series"},{"issue":"2","key":"9978_CR19","doi-asserted-by":"publisher","first-page":"247","DOI":"10.14232\/actacyb.22.2.2015.2","volume":"22","author":"A Salomaa","year":"2015","unstructured":"Salomaa A (2015) Two-step simulations of reaction systems by minimal ones. Acta Cybernet 22(2):247\u2013257","journal-title":"Acta Cybernet"},{"key":"9978_CR20","doi-asserted-by":"crossref","unstructured":"Winskel G (1983) Synchronisation trees. In: Automata, languages and programming: 10th Colloquium Barcelona, Spain, July 18\u201322, 1983 10. Springer, pp 695\u2013711","DOI":"10.1007\/BFb0036949"},{"issue":"3","key":"9978_CR21","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0890-5401(87)90032-0","volume":"72","author":"G Winskel","year":"1987","unstructured":"Winskel G (1987) Petri nets, algebras, morphisms, and compositionality. Inf Comput 72(3):197\u2013238","journal-title":"Inf Comput"}],"container-title":["Natural Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-024-09978-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11047-024-09978-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-024-09978-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,2]],"date-time":"2024-08-02T15:07:08Z","timestamp":1722611228000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11047-024-09978-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,3,29]]},"references-count":21,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2024,6]]}},"alternative-id":["9978"],"URL":"https:\/\/doi.org\/10.1007\/s11047-024-09978-1","relation":{"has-preprint":[{"id-type":"doi","id":"10.21203\/rs.3.rs-3516050\/v1","asserted-by":"object"}]},"ISSN":["1567-7818","1572-9796"],"issn-type":[{"value":"1567-7818","type":"print"},{"value":"1572-9796","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,3,29]]},"assertion":[{"value":"19 February 2024","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 March 2024","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"Not applicable.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval"}}]}}