{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T18:40:08Z","timestamp":1751654408638,"version":"3.41.0"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319916316"},{"type":"electronic","value":"9783319916323"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-91632-3_10","type":"book-chapter","created":{"date-parts":[[2018,5,23]],"date-time":"2018-05-23T01:58:40Z","timestamp":1527040720000},"page":"127-138","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Analysis of Non-Markovian Systems in GreatSPN"],"prefix":"10.1007","author":[{"given":"Elvio Gilberto","family":"Amparore","sequence":"first","affiliation":[]},{"given":"Susanna","family":"Donatelli","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,5,24]]},"reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/3-540-18086-9_23","volume-title":"Advances in Petri Nets 1987","author":"M Ajmone Marsan","year":"1987","unstructured":"Ajmone Marsan, M., Chiola, G.: On Petri nets with deterministic and exponentially distributed firing times. In: Rozenberg, G. (ed.) APN 1986. LNCS, vol. 266, pp. 132\u2013145. Springer, Heidelberg (1987). https:\/\/doi.org\/10.1007\/3-540-18086-9_23"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M Ajmone Marsan","year":"1984","unstructured":"Ajmone Marsan, M., Conte, G., Balbo, G.: A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Trans. Comput. Syst. 2, 93\u2013122 (1984)","journal-title":"ACM Trans. Comput. Syst."},{"key":"10_CR3","unstructured":"Amparore, E.G.: The home of the new GreatSPN Graphical User Interface (2014). http:\/\/www.di.unito.it\/~amparore\/mc4cslta\/editor.html"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/978-3-319-10696-0_3","volume-title":"Quantitative Evaluation of Systems","author":"EG Amparore","year":"2014","unstructured":"Amparore, E.G., Buchholz, P., Donatelli, S.: A structured solution approach for Markov regenerative processes. In: Norman, G., Sanders, W. (eds.) QEST 2014. LNCS, vol. 8657, pp. 9\u201324. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-10696-0_3"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Amparore, E.G., Donatelli, S.: DSPN-Tool: a new DSPN and GSPN solver for GreatSPN. In: International Conference on Quantitative Evaluation of Systems, Los Alamitos, CA, USA, pp. 79\u201380. IEEE Computer Society (2010)","DOI":"10.1109\/QEST.2010.17"},{"key":"10_CR6","doi-asserted-by":"publisher","first-page":"1067","DOI":"10.1002\/nla.819","volume":"18","author":"EG Amparore","year":"2011","unstructured":"Amparore, E.G., Donatelli, S.: Revisiting the matrix-free solution of Markov regenerative processes. Numer. Linear Algebr. Appl. Spec. Issue Numer. Solut. Markov Chains 18, 1067\u20131083 (2011)","journal-title":"Numer. Linear Algebr. Appl. Spec. Issue Numer. Solut. Markov Chains"},{"issue":"6","key":"10_CR7","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1016\/j.peva.2013.02.002","volume":"70","author":"EG Amparore","year":"2013","unstructured":"Amparore, E.G., Donatelli, S.: A component-based solution for reducible Markov regenerative processes. Perform. Eval. 70(6), 400\u2013422 (2013)","journal-title":"Perform. Eval."},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-319-66335-7_3","volume-title":"Quantitative Evaluation of Systems","author":"EG Amparore","year":"2017","unstructured":"Amparore, E.G., Donatelli, S.: alphaFactory: a tool for generating the alpha factors of general distributions. In: Bertrand, N., Bortolussi, L. (eds.) QEST 2017. LNCS, vol. 10503, pp. 36\u201351. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66335-7_3"},{"key":"10_CR9","unstructured":"Bobbio, A., Puliafito, A., Scarpa, M., Telek, M.: WebSPN: non-Markovian stochastic Petri net tool. In: 18th Conference on Application and Theory of Petri Nets (1997)"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Bodenstein, C., Zimmermann, A.: TimeNET optimization environment: batch simulation and heuristic optimization of SCPNs with TimeNET 4.2. In: 8th International Conference on Performance Evaluation Methodologies and Tools, pp. 129\u2013133. ICST (2014)","DOI":"10.4108\/icst.valuetools.2014.258193"},{"issue":"5","key":"10_CR11","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/s10009-010-0156-8","volume":"12","author":"G Bucci","year":"2010","unstructured":"Bucci, G., Carnevali, L., Ridi, L., Vicario, E.: Oris: a tool for modeling, verification and evaluation of real-time systems. Int. J. Softw. Tools Technol. Transfer 12(5), 391\u2013403 (2010)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/978-3-642-24270-0_30","volume-title":"Computer Safety, Reliability, and Security","author":"L Carnevali","year":"2011","unstructured":"Carnevali, L., Ridi, L., Vicario, E.: A framework for simulation and symbolic state space analysis of non-Markovian models. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol. 6894, pp. 409\u2013422. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24270-0_30"},{"issue":"11","key":"10_CR13","doi-asserted-by":"publisher","first-page":"1343","DOI":"10.1109\/12.247838","volume":"42","author":"G Chiola","year":"1993","unstructured":"Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: Stochastic well-formed colored nets and symmetric modeling applications. IEEE Trans. Comput. 42(11), 1343\u20131360 (1993)","journal-title":"IEEE Trans. Comput."},{"issue":"1\u20133","key":"10_CR14","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/0166-5316(94)90021-3","volume":"20","author":"H Choi","year":"1994","unstructured":"Choi, H., Kulkarni, V.G., Trivedi, K.S.: Markov regenerative stochastic Petri nets. Perform. Eval. 20(1\u20133), 337\u2013357 (1994)","journal-title":"Perform. Eval."},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Dingle, N.J., Harrison, P.G., Knottenbelt, W.J.: Response time densities in generalised stochastic Petri nets. In: Workshop on Software and Performance, pp. 46\u201354 (2002)","DOI":"10.1145\/584369.584377"},{"issue":"2","key":"10_CR16","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1109\/TSE.2008.108","volume":"35","author":"S Donatelli","year":"2009","unstructured":"Donatelli, S., Haddad, S., Sproston, J.: Model checking timed and stochastic properties with CSL$$^\\text{ TA }$$TA. IEEE Trans. Softw. Eng. 35(2), 224\u2013240 (2009)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1\u20134","key":"10_CR17","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0166-5316(99)00063-2","volume":"39","author":"R German","year":"2000","unstructured":"German, R.: Markov regenerative stochastic Petri nets with general execution policies: supplementary variable analysis and a prototype tool. Perform. Eval. 39(1\u20134), 165\u2013188 (2000)","journal-title":"Perform. Eval."},{"key":"10_CR18","volume-title":"Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets","author":"R German","year":"2000","unstructured":"German, R.: Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets. Wiley, New York (2000)"},{"key":"10_CR19","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/S0166-5316(00)00061-4","volume":"44","author":"R German","year":"2001","unstructured":"German, R.: Iterative analysis of Markov regenerative models. Perform. Eval. 44, 51\u201372 (2001)","journal-title":"Perform. Eval."},{"issue":"1","key":"10_CR20","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/0305-0548(77)90007-7","volume":"4","author":"W Grassmann","year":"1977","unstructured":"Grassmann, W.: Transient solutions in Markovian queueing systems. Comput. Oper. Res. 4(1), 47\u201353 (1977)","journal-title":"Comput. Oper. Res."},{"key":"10_CR21","volume-title":"Performance Modelling with Deterministic and Stochastic Petri Nets","author":"C Lindemann","year":"1998","unstructured":"Lindemann, C.: Performance Modelling with Deterministic and Stochastic Petri Nets. Wiley, New York (1998)"},{"issue":"9","key":"10_CR22","doi-asserted-by":"publisher","first-page":"1540","DOI":"10.1080\/00207721.2013.822940","volume":"46","author":"F Longo","year":"2015","unstructured":"Longo, F., Scarpa, M.: Two-layer symbolic representation for stochastic models with Phase-type distributed events. Int. J. Syst. Sci. 46(9), 1540\u20131571 (2015)","journal-title":"Int. J. Syst. Sci."},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"Mura, I., Bondavalli, A., Zang, X., Trivedi, K.S.: Dependability modeling and evaluation of phased mission systems: a DSPN approach. In: International Conference on Dependable Computing for Critical Applications (DCCA), pp. 299\u2013318. IEEE (1999)","DOI":"10.1109\/DCFTS.1999.814303"},{"issue":"12","key":"10_CR24","doi-asserted-by":"publisher","first-page":"1337","DOI":"10.1109\/TC.2001.970572","volume":"50","author":"I Mura","year":"2001","unstructured":"Mura, I., Bondavalli, A.: Markov regenerative stochastic Petri nets to model and evaluate the dependability of phased mission systems dependability. IEEE Trans. Comput. 50(12), 1337\u20131351 (2001)","journal-title":"IEEE Trans. Comput."},{"key":"10_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/978-3-319-66335-7_19","volume-title":"Quantitative Evaluation of Systems","author":"A Zimmermann","year":"2017","unstructured":"Zimmermann, A.: Modelling and performance evaluation with TimeNET 4.4. In: Bertrand, N., Bortolussi, L. (eds.) QEST 2017. LNCS, vol. 10503, pp. 300\u2013303. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66335-7_19"},{"key":"10_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/3-540-46429-8_14","volume-title":"Computer Performance Evaluation.Modelling Techniques and Tools","author":"A Zimmermann","year":"2000","unstructured":"Zimmermann, A., Freiheit, J., German, R., Hommel, G.: Petri net modelling and performability evaluation with TimeNET 3.0. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds.) TOOLS 2000. LNCS, vol. 1786, pp. 188\u2013202. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-46429-8_14"}],"container-title":["Communications in Computer and Information Science","New Frontiers in Quantitative Methods in Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-91632-3_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T18:04:10Z","timestamp":1751652250000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-91632-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319916316","9783319916323"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-91632-3_10","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2018]]}}}