{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,12]],"date-time":"2025-05-12T19:10:10Z","timestamp":1747077010811,"version":"3.40.5"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031907135","type":"print"},{"value":"9783031907142","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-90714-2_13","type":"book-chapter","created":{"date-parts":[[2025,5,12]],"date-time":"2025-05-12T18:36:10Z","timestamp":1747074970000},"page":"177-191","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Extension of\u00a0the\u00a0GreatMod Modeling Framework to\u00a0Simulate Non-Markovian Processes with\u00a0General-Distributed Events"],"prefix":"10.1007","author":[{"given":"Irene","family":"Terrone","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniela","family":"Volpatto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simone","family":"Pernice","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elvio","family":"Amparore","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberta","family":"Sirovich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesca","family":"Cordero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Beccuti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,5,13]]},"reference":[{"key":"13_CR1","volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"MA Marsan","year":"1995","unstructured":"Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Wiley, Hoboken (1995)"},{"key":"13_CR2","doi-asserted-by":"publisher","first-page":"112286","DOI":"10.1016\/j.chaos.2022.112286","volume":"160","author":"L Basnarkov","year":"2022","unstructured":"Basnarkov, L., Tomovski, I., Sandev, T., Kocarev, L.: Non-Markovian sir epidemic spreading model of COVID-19. Chaos, Solitons Fractals 160, 112286 (2022)","journal-title":"Chaos, Solitons Fractals"},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"042108","DOI":"10.1103\/PhysRevE.90.042108","volume":"90","author":"M Bogu\u00f1\u00e1","year":"2014","unstructured":"Bogu\u00f1\u00e1, M., Lafuerza, L.F., Toral, R., Serrano, M.A.: Simulating non-Markovian stochastic processes. Phys. Rev. E 90, 042108 (2014). https:\/\/doi.org\/10.1103\/PhysRevE.90.042108","journal-title":"Phys. Rev. E"},{"key":"13_CR4","doi-asserted-by":"publisher","unstructured":"Cai, X.: Exact stochastic simulation of coupled chemical reactions with delays. J. Chem. Phys. 126(12) (2007). https:\/\/doi.org\/10.1063\/1.2710253","DOI":"10.1063\/1.2710253"},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/s12859-020-03648-6","volume":"21","author":"P Castagno","year":"2020","unstructured":"Castagno, P., et al.: A computational framework for modeling and studying pertussis epidemiology and vaccination. BMC Bioinf. 21, 1\u201332 (2020). https:\/\/doi.org\/10.1186\/s12859-020-03648-6","journal-title":"BMC Bioinf."},{"key":"13_CR6","doi-asserted-by":"publisher","unstructured":"Choi, H., Kulkarni, V.G., Trivedi, K.S.: Markov regenerative stochastic petri nets. Perform. Eval. 20(1), 337\u2013357 (1994). https:\/\/doi.org\/10.1016\/0166-5316(94)90021-3, https:\/\/www.sciencedirect.com\/science\/article\/pii\/0166531694900213,performance \u201993","DOI":"10.1016\/0166-5316(94)90021-3"},{"key":"13_CR7","doi-asserted-by":"publisher","unstructured":"Ciardo, G., Miner, A.: Smart: simulation and Markovian analyzer for reliability and timing. In: Proceedings of IEEE International Computer Performance and Dependability Symposium, p. 60 (1996). https:\/\/doi.org\/10.1109\/IPDS.1996.540204","DOI":"10.1109\/IPDS.1996.540204"},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.spl.2013.10.017","volume":"85","author":"D Clancy","year":"2014","unstructured":"Clancy, D.: Sir epidemic models with general infectious period distribution. Stat. Probab. Lett. 85, 1\u20135 (2014)","journal-title":"Stat. Probab. Lett."},{"key":"13_CR9","doi-asserted-by":"publisher","unstructured":"Clark, G., et al.: The mobius modeling tool. In: Proceedings 9th International Workshop on Petri Nets and Performance Models, pp. 241\u2013250 (2001). https:\/\/doi.org\/10.1109\/PNPM.2001.953373","DOI":"10.1109\/PNPM.2001.953373"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Dugan, J.B., Trivedi, K.S., Geist, R., Nicola, V.F.: Extended stochastic petri nets: applications and analysis. In: Proceedings of the Tenth International Symposium on Computer Performance Modelling, Measurement and Evaluation, pp. 507\u2013519. Performance 1984, North-Holland Publishing Co., NLD (1984)","DOI":"10.21236\/ADA148439"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"German, R.: Non-Markovian analysis. In: Lectures on Formal Methods and Performance Analysis, pp. 156\u2013182. Springer, Cham (2001)","DOI":"10.1007\/3-540-44667-2_4"},{"issue":"25","key":"13_CR12","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"DT Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81(25), 2340\u20132361 (1977)","journal-title":"J. Phys. Chem."},{"issue":"10","key":"13_CR13","doi-asserted-by":"publisher","first-page":"e0241394","DOI":"10.1371\/journal.pone.0241394","volume":"15","author":"G Grossmann","year":"2020","unstructured":"Grossmann, G., Bortolussi, L., Wolf, V.: Efficient simulation of non-Markovian dynamics on complex networks. PLoS ONE 15(10), e0241394 (2020). https:\/\/doi.org\/10.1371\/journal.pone.0241394","journal-title":"PLoS ONE"},{"key":"13_CR14","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/978-3-031-43835-6_13","volume-title":"Quantitative Evaluation of Systems","author":"A Horv\u00e1th","year":"2023","unstructured":"Horv\u00e1th, A., Paolieri, M., Vicario, E.: Equilibrium analysis of Markov regenerative processes. In: Jansen, N., Tribastone, M. (eds.) Quantitative Evaluation of Systems, pp. 172\u2013187. Springer Nature Switzerland, Cham (2023)"},{"issue":"7","key":"13_CR15","doi-asserted-by":"publisher","first-page":"49","DOI":"10.2307\/3212147","volume":"1","author":"T Kurtz","year":"1970","unstructured":"Kurtz, T.: Solutions of ordinary differential equations as limits of pure jump Markov processes. J. Appl. Probab. 1(7), 49\u201358 (1970)","journal-title":"J. Appl. Probab."},{"key":"13_CR16","unstructured":"Lauro, F.D., KhudaBukhsh, W.R., Kiss, I.Z., Kenah, E., Jensen, M., Rempala, G.A.: Dynamic survival analysis for non-Markovian epidemic models (2022). https:\/\/arxiv.org\/abs\/2202.09948"},{"issue":"1","key":"13_CR17","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1137\/16m1055876","volume":"60","author":"N Masuda","year":"2018","unstructured":"Masuda, N., Rocha, L.: A gillespie algorithm for non-Markovian stochastic processes. SIAM Rev. 60(1), 95\u2013115 (2018). https:\/\/doi.org\/10.1137\/16m1055876","journal-title":"SIAM Rev."},{"key":"13_CR18","doi-asserted-by":"publisher","unstructured":"Munro, J., Suwanda, H.: Implicit data structures for fast search and update. J. Comput. Syst. Sci. 21(2), 236\u2013250 (1980). https:\/\/doi.org\/10.1016\/0022-0000(80)90037-9, https:\/\/www.sciencedirect.com\/science\/article\/pii\/0022000080900379","DOI":"10.1016\/0022-0000(80)90037-9"},{"key":"13_CR19","series-title":"ISOR","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/978-1-4615-1019-2_11","volume-title":"Analysis and Modeling of Manufacturing Systems","author":"\u00dc \u00d6zdo\u011fru","year":"2003","unstructured":"\u00d6zdo\u011fru, \u00dc., Altiok, T.: Analysis of two-valve fluid-flow systems with general repair times. In: Gershwin, S.B., Dallery, Y., Papadopoulos, C.T., Smith, J.M. (eds.) Analysis and Modeling of Manufacturing Systems. ISOR, vol. 60, pp. 255\u2013288. Springer, Boston (2003). https:\/\/doi.org\/10.1007\/978-1-4615-1019-2_11"},{"issue":"6","key":"13_CR20","doi-asserted-by":"publisher","first-page":"1211","DOI":"10.1109\/TSE.2019.2917202","volume":"47","author":"M Paolieri","year":"2021","unstructured":"Paolieri, M., Biagi, M., Carnevali, L., Vicario, E.: The ORIS tool: quantitative evaluation of non-Markovian systems. IEEE Trans. Softw. Eng. 47(6), 1211\u20131225 (2021). https:\/\/doi.org\/10.1109\/TSE.2019.2917202","journal-title":"IEEE Trans. Softw. Eng."},{"key":"13_CR21","unstructured":"Pelissier, A., Phan, M., Beerenwinkel, N., Martinez, M.R.: Practical and scalable simulations of non-Markovian stochastic processes (2023). https:\/\/arxiv.org\/abs\/2212.05059"},{"key":"13_CR22","unstructured":"Pini A., Vantini, S.: The interval testing procedure: inference for functional data controlling the family wise error rate on intervals (2013). https:\/\/www.mate.polimi.it\/biblioteca\/add\/qmox\/13-2013.pdf"},{"issue":"2","key":"13_CR23","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1109\/TR.1987.5222336","volume":"36","author":"RA Sahner","year":"1987","unstructured":"Sahner, R.A., Trivedi, K.S.: Reliability modeling using SHARPE. IEEE Trans. Reliab. 36(2), 186\u2013193 (1987). https:\/\/doi.org\/10.1109\/TR.1987.5222336","journal-title":"IEEE Trans. Reliab."}],"container-title":["Lecture Notes in Computer Science","Computational Intelligence Methods for Bioinformatics and Biostatistics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-90714-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,12]],"date-time":"2025-05-12T18:36:16Z","timestamp":1747074976000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-90714-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031907135","9783031907142"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-90714-2_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"13 May 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"All authors declare that they have no conflicts of interest.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of Interests"}},{"value":"CIBB","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Padova","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":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 September 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 September 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cibb2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cibb2023.dei.unipd.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}