{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,17]],"date-time":"2026-10-17T16:23:06Z","timestamp":1792254186885,"version":"4.4.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642401954","type":"print"},{"value":"9783642401961","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40196-1_31","type":"book-chapter","created":{"date-parts":[[2013,7,22]],"date-time":"2013-07-22T21:54:56Z","timestamp":1374530096000},"page":"372-388","source":"Crossref","is-referenced-by-count":13,"title":["Automated Rare Event Simulation for Stochastic Petri Nets"],"prefix":"10.1007","author":[{"given":"Dani\u00ebl","family":"Reijsbergen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pieter-Tjerk","family":"de Boer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Werner","family":"Scheinhardt","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Boudewijn","family":"Haverkort","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"31_CR1","unstructured":"Ajmone Marsan, M., Balbo, G., Donatelli, S., Franceschinis, G., Conte, G.: Modelling with generalized stochastic Petri nets. John Wiley & Sons, Inc. (1994)"},{"key":"31_CR2","doi-asserted-by":"crossref","unstructured":"Baier, C., D\u2019Argenio, P., Groesser, M.: Partial order reduction for probabilistic branching time. Electronic Notes in Theoretical Computer Science (2006)","DOI":"10.1016\/j.entcs.2005.10.034"},{"key":"31_CR3","unstructured":"Baier, C., Katoen, J.P.: Principles of model checking. MIT Press (2008)"},{"key":"31_CR4","unstructured":"Blum, A.M., Goyal, A., Heidelberger, P., Lavenberg, S.S., Nakayama, M.K., Shahabuddin, P.: Modeling and analysis of system dependability using the system availability estimator. In: Twenty-Fourth International Symposium on Fault-Tolerant Computing, pp. 137\u2013141. IEEE (1994)"},{"key":"31_CR5","unstructured":"Carrasco, J.A.: Failure distance based simulation of repairable fault-tolerant systems. In: Proceedings of the 5th International Conference on Modeling Techniques and Tools for Computer Performance Evaluation, pp. 351\u2013365 (1992)"},{"key":"31_CR6","unstructured":"Clark, G., Courtney, T., Daly, D., Deavours, D., Derisavi, S., Doyle, J.M., Sanders, W.H., Webster, P.: The M\u00f6bius modeling tool. In: Proceedings of the 9th International Workshop on Petri Nets and Performance Models. IEEE (2001)"},{"issue":"10","key":"31_CR7","doi-asserted-by":"publisher","first-page":"1464","DOI":"10.1109\/26.237881","volume":"41","author":"M. Devetsikiotis","year":"1993","unstructured":"Devetsikiotis, M., Townsend, J.K.: An algorithmic approach to the optimization of importance sampling parameters in digital communication system simulation. IEEE Transactions on Communications\u00a041(10), 1464\u20131473 (1993)","journal-title":"IEEE Transactions on Communications"},{"issue":"4","key":"31_CR8","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1287\/opre.47.4.585","volume":"47","author":"P. Glasserman","year":"1999","unstructured":"Glasserman, P., Heidelberger, P., Shahabuddin, P., Zajic, T.: Multilevel splitting for estimating rare event probabilities. Operations Research\u00a047(4), 585\u2013600 (1999)","journal-title":"Operations Research"},{"key":"31_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-540-71209-1_8","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T. Han","year":"2007","unstructured":"Han, T., Katoen, J.-P.: Counterexamples in probabilistic model checking. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 72\u201386. Springer, Heidelberg (2007)"},{"key":"31_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/BFb0013853","volume-title":"Performance Evaluation of Computer and Communication Systems","author":"P. Heidelberger","year":"1993","unstructured":"Heidelberger, P.: Fast simulation of rare events in queueing and reliability models. In: Donatiello, L., Nelson, R. (eds.) SIGMETRICS 1993 and Performance 1993. LNCS, vol.\u00a0729, pp. 165\u2013202. Springer, Heidelberg (1993)"},{"key":"31_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/978-3-642-31424-7_26","volume-title":"Computer Aided Verification","author":"C. Jegourel","year":"2012","unstructured":"Jegourel, C., Legay, A., Sedwards, S.: Cross-entropy optimisation of importance sampling parameters for statistical model checking. In: Madhusudan, P., Seshia, S.A. (eds.) CAV 2012. LNCS, vol.\u00a07358, pp. 327\u2013342. Springer, Heidelberg (2012)"},{"key":"31_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1007\/978-3-642-28756-5_37","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"C. Jegourel","year":"2012","unstructured":"Jegourel, C., Legay, A., Sedwards, S.: A platform for high performance statistical model checking \u2013 PLASMA. In: Flanagan, C., K\u00f6nig, B. (eds.) TACAS 2012. LNCS, vol.\u00a07214, pp. 498\u2013503. Springer, Heidelberg (2012)"},{"key":"31_CR13","doi-asserted-by":"crossref","unstructured":"J\u00falvez, J.: Basic qualitative properties of Petri nets with multi-guarded transitions. In: American Control Conference, ACC 2009. IEEE (2009)","DOI":"10.1109\/ACC.2009.5159892"},{"key":"31_CR14","doi-asserted-by":"crossref","unstructured":"Kelling, C.: A framework for rare event simulation of stochastic Petri nets using \u201cRESTART\u201d. In: Proceedings of the 28th Winter Simulation Conference, pp. 317\u2013324. IEEE Computer Society (1996)","DOI":"10.1145\/256562.256639"},{"key":"31_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/3-540-46029-2_13","volume-title":"Computer Performance Evaluation","author":"M. Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic symbolic model checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol.\u00a02324, pp. 200\u2013204. Springer, Heidelberg (2002)"},{"key":"31_CR16","volume-title":"Simulation modeling and analysis","author":"A. Law","year":"1991","unstructured":"Law, A., Kelton, W.: Simulation modeling and analysis. McGraw-Hill, New York (1991)"},{"issue":"1","key":"31_CR17","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/s10479-009-0532-5","volume":"189","author":"P. L\u2019Ecuyer","year":"2011","unstructured":"L\u2019Ecuyer, P., Tuffin, B.: Approximating zero-variance importance sampling in a reliability setting. Annals of Operations Research\u00a0189(1), 277\u2013297 (2011)","journal-title":"Annals of Operations Research"},{"issue":"6","key":"31_CR18","doi-asserted-by":"publisher","first-page":"890","DOI":"10.1080\/03610918.2012.625337","volume":"41","author":"D. Miretskiy","year":"2012","unstructured":"Miretskiy, D., Scheinhardt, W., Mandjes, M.: On efficiency of multilevel splitting. Communications in Statistics \u2013 Simulation and Computation\u00a041(6), 890\u2013904 (2012)","journal-title":"Communications in Statistics \u2013 Simulation and Computation"},{"issue":"4","key":"31_CR19","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"issue":"3","key":"31_CR20","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1109\/24.974122","volume":"50","author":"V. Nicola","year":"2001","unstructured":"Nicola, V., Shahabuddin, P., Nakayama, M.: Techniques for fast simulation of models of highly dependable systems. IEEE Transactions on Reliability\u00a050(3), 246\u2013264 (2001)","journal-title":"IEEE Transactions on Reliability"},{"key":"31_CR21","unstructured":"Obal, W., Sanders, W.: An environment for importance sampling based on stochastic activity networks. In: Proceedings of the 13th Symposium on Reliable Distributed Systems, pp. 64\u201373. IEEE (1994)"},{"issue":"1","key":"31_CR22","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/s10479-005-5727-9","volume":"134","author":"A. Ridder","year":"2005","unstructured":"Ridder, A.: Importance sampling simulations of Markovian reliability systems using cross-entropy. Annals of Operations Research\u00a0134(1), 119\u2013136 (2005)","journal-title":"Annals of Operations Research"},{"key":"31_CR23","unstructured":"Rubinstein, R., Kroese, D.: The cross-entropy method: a unified approach to combinatorial optimization, Monte-Carlo simulation and machine learning. Springer (2004)"},{"key":"31_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/3-540-44667-2_9","volume-title":"Lectures on Formal Methods and Performance Analysis","author":"W.H. Sanders","year":"2001","unstructured":"Sanders, W.H., Meyer, J.F.: Stochastic activity networks: Formal definitions and concepts. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) FMPA 2000. LNCS, vol.\u00a02090, pp. 315\u2013343. Springer, Heidelberg (2001)"},{"issue":"3","key":"31_CR25","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1287\/mnsc.40.3.333","volume":"40","author":"P. Shahabuddin","year":"1994","unstructured":"Shahabuddin, P.: Importance sampling for the simulation of highly reliable Markovian systems. Management Science\u00a040(3), 333\u2013352 (1994)","journal-title":"Management Science"},{"key":"31_CR26","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.\u00a01786, pp. 216\u2013229. Springer, Heidelberg (2000)"},{"key":"31_CR27","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":"31_CR28","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.\u00a01786, pp. 188\u2013202. Springer, Heidelberg (2000)"}],"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-642-40196-1_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T22:43:03Z","timestamp":1557960183000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40196-1_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642401954","9783642401961"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40196-1_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}