{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T22:44:19Z","timestamp":1765233859578,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031716706"},{"type":"electronic","value":"9783031716713"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-71671-3_3","type":"book-chapter","created":{"date-parts":[[2024,9,19]],"date-time":"2024-09-19T22:45:48Z","timestamp":1726785948000},"page":"27-44","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Enhancing Reaction Systems with\u00a0Guards for\u00a0Analysing Comorbidity Treatment Strategies"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5918-9114","authenticated-orcid":false,"given":"Juliana","family":"Bowles","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4455-2419","authenticated-orcid":false,"given":"Linda","family":"Brodo","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7771-4154","authenticated-orcid":false,"given":"Roberto","family":"Bruni","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6659-3828","authenticated-orcid":false,"given":"Moreno","family":"Falaschi","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7424-9576","authenticated-orcid":false,"given":"Roberta","family":"Gori","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7309-6424","authenticated-orcid":false,"given":"Paolo","family":"Milazzo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,9,19]]},"reference":[{"issue":"9","key":"3_CR1","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1038\/nrg.2016.86","volume":"17","author":"EA Ashley","year":"2016","unstructured":"Ashley, E.A.: Towards precision medicine. Nat. Rev. Genet. 17(9), 507\u2013522 (2016). https:\/\/doi.org\/10.1038\/nrg.2016.86","journal-title":"Nat. Rev. Genet."},{"key":"3_CR2","unstructured":"BioReSolve web page, a prolog interpreter for Reaction Systems analysis. http:\/\/www.di.unipi.it\/~bruni\/LTSRS\/. Accessed 3 May 2024"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-319-68690-5_13","volume-title":"Formal Methods and Software Engineering","author":"JKF Bowles","year":"2017","unstructured":"Bowles, J.K.F., Caminati, M.B.: A flexible approach for finding optimal paths with minimal conflicts. In: Duan, Z., Ong, L. (eds.) ICFEM 2017. LNCS, vol. 10610, pp. 209\u2013225. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68690-5_13"},{"key":"3_CR4","series-title":"Computational Biology","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-030-17297-8_9","volume-title":"Automated Reasoning for Systems Biology and Medicine","author":"JKF Bowles","year":"2019","unstructured":"Bowles, J.K.F., Caminati, M.B.: Balancing prescriptions with constraint solvers. In: Li\u00f2, P., Zuliani, P. (eds.) Automated Reasoning for Systems Biology and Medicine. CB, vol. 30, pp. 243\u2013267. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-17297-8_9"},{"key":"3_CR5","doi-asserted-by":"publisher","unstructured":"Bowles, J., Caminati, M.: Correct composition in the presence of behavioural conflicts and dephasing. Sci. Comput. Program. 185 (2020). https:\/\/doi.org\/10.1016\/j.scico.2019.102323","DOI":"10.1016\/j.scico.2019.102323"},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1016\/j.scico.2019.07.002","volume":"182","author":"J Bowles","year":"2019","unstructured":"Bowles, J., Caminati, M., Cha, S., Mendoza, J.: A framework for automated conflict detection and resolution in medical guidelines. Sci. Comput. Program. 182, 42\u201363 (2019). https:\/\/doi.org\/10.1016\/j.scico.2019.07.002","journal-title":"Sci. Comput. Program."},{"issue":"07","key":"3_CR7","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., Rozenberg, G.: A tour of reaction systems. Int. J. Found. Comput. Sci. 22(07), 1499\u20131517 (2011). https:\/\/doi.org\/10.1142\/S0129054111008842","journal-title":"Int. J. Found. Comput. Sci."},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1016\/j.tcs.2020.09.001","volume":"881","author":"L Brodo","year":"2021","unstructured":"Brodo, L., Bruni, R., Falaschi, M.: A process algebraic approach to reaction systems. Theoret. Comput. Sci. 881, 62\u201382 (2021). https:\/\/doi.org\/10.1016\/j.tcs.2020.09.001","journal-title":"Theoret. Comput. Sci."},{"key":"3_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.tcs.2021.03.024","volume":"875","author":"L Brodo","year":"2021","unstructured":"Brodo, L., Bruni, R., Falaschi, M.: A logical and graphical framework for reaction systems. Theoret. Comput. Sci. 875, 1\u201327 (2021). https:\/\/doi.org\/10.1016\/j.tcs.2021.03.024","journal-title":"Theoret. Comput. Sci."},{"key":"3_CR10","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-031-24841-2_8","volume-title":"PADL 2023","author":"L Brodo","year":"2023","unstructured":"Brodo, L., Bruni, R., Falaschi, M.: Dynamic slicing of reaction systems based on assertions and monitors. In: Hanus, M., Inclezan, D. (eds.) PADL 2023. LNCS, vol. 13880, pp. 107\u2013124. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-24841-2_8"},{"key":"3_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/s11047-024-09976-3","author":"L Brodo","year":"2024","unstructured":"Brodo, L., Bruni, R., Falaschi, M.: A framework for monitored dynamic slicing of reaction systems. Nat. Comput. (2024). https:\/\/doi.org\/10.1007\/s11047-024-09976-3","journal-title":"Nat. Comput."},{"issue":"9","key":"3_CR12","doi-asserted-by":"publisher","first-page":"6335","DOI":"10.1007\/s00521-022-07935-6","volume":"35","author":"L Brodo","year":"2023","unstructured":"Brodo, L., Bruni, R., Falaschi, M., Gori, R., Levi, F., Milazzo, P.: Quantitative extensions of reaction systems based on SOS semantics. Neural Comput. Appl. 35(9), 6335\u20136359 (2023). https:\/\/doi.org\/10.1007\/s00521-022-07935-6","journal-title":"Neural Comput. Appl."},{"key":"3_CR13","unstructured":"Brodo, L., Bruni, R., Falaschi, M., Gori, R., Milazzo, P.: Attractor and slicing analysis of a T Cell differentiation model based on reaction systems. In: Proceedings of DataMod 2023. LNCS. Springer, Berlin (in press)"},{"key":"3_CR14","unstructured":"Github repository with the RS model and Python script developed for this paper. https:\/\/github.com\/Unipisa\/AFib-Hyper-GuidelinesAnalysis. Accessed 3 May 2024"},{"key":"3_CR15","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Reaction systems. Fundam. Inf. 75(1-4), 263\u2013280 (2007). http:\/\/content.iospress.com\/articles\/fundamenta-informaticae\/fi75-1-4-15"},{"issue":"7185","key":"3_CR16","doi-asserted-by":"publisher","first-page":"728","DOI":"10.1136\/bmj.318.7185.728","volume":"318","author":"G Feder","year":"1999","unstructured":"Feder, G., Eccles, M., Grol, R., Griffiths, C., Grimshaw, J.: Using clinical guidelines. BMJ 318(7185), 728\u2013730 (1999). https:\/\/doi.org\/10.1136\/bmj.318.7185.728","journal-title":"BMJ"},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1093\/ageing\/afs100","volume":"42","author":"L Hughes","year":"2013","unstructured":"Hughes, L., McMurdo, M.E.T., Guthrie, B.: Guidelines for people not for diseases: the challenges of applying UK clinical guidelines to people with multimorbidity. Age Ageing 42, 62\u201369 (2013). https:\/\/doi.org\/10.1093\/ageing\/afs100","journal-title":"Age Ageing"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/978-3-319-33693-0_24","volume-title":"Integrated Formal Methods","author":"A Kovalov","year":"2016","unstructured":"Kovalov, A., Bowles, J.K.F.: Avoiding medication conflicts for patients with multimorbidities. In: \u00c1brah\u00e1m, E., Huisman, M. (eds.) IFM 2016. LNCS, vol. 9681, pp. 376\u2013390. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-33693-0_24"},{"key":"3_CR19","series-title":"LNCS","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communicating Systems. LNCS, vol. 92. Springer, Heidelberg (1980). https:\/\/doi.org\/10.1007\/3-540-10235-3"},{"key":"3_CR20","first-page":"17","volume":"60\u201361","author":"GD Plotkin","year":"2004","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. J. Log. Algebraic Methods Program. 60\u201361, 17\u2013139 (2004)","journal-title":"J. Log. Algebraic Methods Program."},{"key":"3_CR21","unstructured":"SWI-Prolog home page. https:\/\/www.swi-prolog.org\/. Accessed 3 May 2024"},{"issue":"7182","key":"3_CR22","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1136\/bmj.318.7182.527","volume":"318","author":"SH Woolf","year":"1999","unstructured":"Woolf, S.H., Grol, R., Hutchinson, A., Eccles, M., Grimshaw, J.: Potential benefits, limitations, and harms of clinical guidelines. BMJ 318(7182), 527\u2013530 (1999). https:\/\/doi.org\/10.1136\/bmj.318.7182.527","journal-title":"BMJ"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-71671-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,19]],"date-time":"2024-09-19T22:46:03Z","timestamp":1726785963000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-71671-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031716706","9783031716713"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-71671-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"19 September 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CMSB","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computational Methods in Systems Biology","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Pisa","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cmsb2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cmsb.sciencesconf.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}