{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T22:10:04Z","timestamp":1750803004645,"version":"3.41.0"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319663340"},{"type":"electronic","value":"9783319663357"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66335-7_7","type":"book-chapter","created":{"date-parts":[[2017,8,10]],"date-time":"2017-08-10T03:53:48Z","timestamp":1502337228000},"page":"107-122","source":"Crossref","is-referenced-by-count":3,"title":["A Hybrid Multi-trajectory Simulation Algorithm for the Performance Evaluation of Stochastic Petri Nets"],"prefix":"10.1007","author":[{"given":"Armin","family":"Zimmermann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Hotz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e9s Canabal","family":"Lavista","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,11]]},"reference":[{"key":"7_CR1","series-title":"Series in Parallel Computing","volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"M Ajmone Marsan","year":"1995","unstructured":"Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Series in Parallel Computing. Wiley, Hoboken (1995)"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-52494-0_23","volume-title":"Advances in Petri Nets 1989","author":"MA Marsan","year":"1990","unstructured":"Marsan, M.A.: Stochastic Petri nets: an elementary introduction. In: Rozenberg, G. (ed.) APN 1988. LNCS, vol. 424, pp. 1\u201329. Springer, Heidelberg (1990). doi: 10.1007\/3-540-52494-0_23"},{"key":"7_CR3","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1145\/280265.280274","volume":"8","author":"P Buchholz","year":"1998","unstructured":"Buchholz, P.: A new approach combining simulation and randomization for the analysis of large continuous time Markov chains. ACM Trans. Model. Comput. Simul. 8, 194\u2013222 (1998)","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"7_CR4","unstructured":"Canabal Lavista, A.: Multi-trajectory rare-event simulation of stochastic Petri nets. Master\u2019s thesis, Technische Universit\u00e4t Ilmenau (2015)"},{"key":"7_CR5","doi-asserted-by":"crossref","first-page":"506","DOI":"10.1109\/32.297939","volume":"20","author":"G Ciardo","year":"1994","unstructured":"Ciardo, G., German, R., Lindemann, C.: A characterization of the stochastic process underlying a stochastic Petri net. IEEE Trans. Softw. Eng. 20, 506\u2013515 (1994)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"7_CR6","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/0166-5316(95)00010-U","volume":"24","author":"R German","year":"1995","unstructured":"German, R., Kelling, C., Zimmermann, A., Hommel, G.: TimeNET - a toolkit for evaluating non-Markovian stochastic Petri nets. Perform. Eval. 24, 69\u201387 (1995)","journal-title":"Perform. Eval."},{"key":"7_CR7","unstructured":"Gilmer Jr., J.B., Sullivan, F.J.: Combat simulation trajectory management. In: Chinni, M. (ed.) Proceedings of Military, Government, and Aerospace Simulation Conference, pp. 236\u2013241. Society for Computer Simulation, San Diego (1996)"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Kelling, C.: TimeNET $$_\\text{sim}$$ sim - a parallel simulator for stochastic Petri nets. In: Proceedings of 28th Annual Simulation Symposium, Phoenix, AZ, USA, pp. 250\u2013258 (1995)","DOI":"10.1109\/SIMSYM.1995.393574"},{"key":"7_CR9","doi-asserted-by":"crossref","first-page":"532","DOI":"10.1016\/j.procs.2015.05.280","volume":"51","author":"SV Kovalchuk","year":"2015","unstructured":"Kovalchuk, S.V., Boukhanovsky, A.V.: Towards ensemble simulation of complex systems. Procedia Comput. Sci. 51, 532\u2013541 (2015)","journal-title":"Procedia Comput. Sci."},{"key":"7_CR10","unstructured":"Lazarova-Molnar, S., Horton, G.: Proxel-based simulation of stochastic Petri nets containing immediate transistion. In: Kemper, P. (Hrsg.) Workshop on Stachastic Petri Nets and Related Formalisms: Satellite Workshop of ICALP 2003, Eindhoven, Dortmund, The Netherland 28\u201329 June 2003 - on-site proceedings, pp. S.203\u2013S.217 (2003)"},{"issue":"2","key":"7_CR11","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1145\/130844.130853","volume":"24","author":"C McGeoch","year":"1992","unstructured":"McGeoch, C.: Analysing algorithms by simulation: variance reduction techniques and simulation speedups. ACM Comput. Surv. 24(2), 195\u2013212 (1992)","journal-title":"ACM Comput. Surv."},{"issue":"2","key":"7_CR12","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1145\/78919.78921","volume":"22","author":"K Pawlikowski","year":"1990","unstructured":"Pawlikowski, K.: Steady-state simulation of queueing processes: survey of problems and solutions. ACM Comput. Surv. 22(2), 123\u2013170 (1990)","journal-title":"ACM Comput. Surv."},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-7091-9123-1_10","volume-title":"Dependable Computing for Critical Applications, Dependable Computing and Fault-Tolerant Systems","author":"WH Sanders","year":"1991","unstructured":"Sanders, W.H., Meyer, J.F.: A unified approach for specifying measures of performance, dependability, and performability. In: Avizienis, A., Laprie, J. (eds.) Dependable Computing for Critical Applications, Dependable Computing and Fault-Tolerant Systems, vol. 4, pp. 215\u2013237. Springer, Heidelberg (1991). doi: 10.1007\/978-3-7091-9123-1_10"},{"issue":"9","key":"7_CR14","doi-asserted-by":"crossref","first-page":"718","DOI":"10.1145\/359588.359594","volume":"21","author":"HD Schwetman","year":"1978","unstructured":"Schwetman, H.D.: Hybrid simulation models of computer systems. Commun. ACM 21(9), 718\u2013723 (1978)","journal-title":"Commun. ACM"},{"key":"7_CR15","volume-title":"Probability and Statistics with Reliability, Queuing and Computer Science Applications","author":"KS Trivedi","year":"2002","unstructured":"Trivedi, K.S.: Probability and Statistics with Reliability, Queuing and Computer Science Applications, 2nd edn. Wiley, Hoboken (2002)","edition":"2"},{"key":"7_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/3-540-46429-8_16","volume-title":"Computer Performance Evaluation.Modelling Techniques and Tools","author":"B Tuffin","year":"2000","unstructured":"Tuffin, B., Trivedi, K.S.: Implementation of importance splitting techniques in stochastic Petri net package. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds.) TOOLS 2000. LNCS, vol. 1786, pp. 216\u2013229. Springer, Heidelberg (2000). doi: 10.1007\/3-540-46429-8_16"},{"key":"7_CR17","unstructured":"Vill\u00e9n-Altamirano, M., Vill\u00e9n-Altamirano, J.: RESTART: a method for accelerating rare event simulations. In: Queueing, Performance and Control in ATM, pp. 71\u201376. Elsevier Science Publishers (1991)"},{"key":"7_CR18","volume-title":"Stochastic Discrete Event Systems","author":"A Zimmermann","year":"2007","unstructured":"Zimmermann, A.: Stochastic Discrete Event Systems. Springer, Berlin (2007)"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Zimmermann, A.: Modeling and evaluation of stochastic Petri nets with TimeNET 4.1. In: Proceedings of 6th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS), Corse, France, pp. 54\u201363 (2012)","DOI":"10.4108\/valuetools.2012.250263"},{"key":"7_CR20","unstructured":"Zimmermann, A., Reijsbergen, D., Wichmann, A.: Canabal Lavista, A.: Numerical results for the automated rare event simulation of stochastic Petri nets. In: 11th International Workshop on Rare Event Simulation (RESIM 2016), Eindhoven, Netherlands, pp. 1\u201310 (2016)"}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66335-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T21:38:03Z","timestamp":1750801083000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66335-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319663340","9783319663357"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66335-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}