{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T05:07:05Z","timestamp":1769749625104,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540672609","type":"print"},{"value":"9783540464297","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46429-8_30","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T14:52:33Z","timestamp":1192891953000},"page":"354-357","source":"Crossref","is-referenced-by-count":83,"title":["SPNP: Stochastic Petri Nets. Version 6.0"],"prefix":"10.1007","author":[{"given":"Christophe","family":"Hirel","sequence":"first","affiliation":[]},{"given":"Bruno","family":"Tuffin","sequence":"additional","affiliation":[]},{"given":"Kishor S.","family":"Trivedi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,12,20]]},"reference":[{"issue":"1\u20133","key":"30_CR1","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/0166-5316(94)90021-3","volume":"20","author":"H. Choi","year":"1994","unstructured":"H. Choi et al. Markov Regenerative Stochastic Petri Nets. Performance Evaluation, 20(1\u20133):337\u2013357, 1994.","journal-title":"Performance Evaluation"},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"G. Ciardo, J. K. Muppala, and K. S. Trivedi. SPNP: Stochastic Petri Net Package. Proc. of 3rd International Workshop on Petri Nets and Performance Models, pages 142\u2013150, Kyoto, Japan, Dec. 1989.","DOI":"10.1109\/PNPM.1989.68548"},{"issue":"2","key":"30_CR3","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1109\/32.761446","volume":"25","author":"G. Ciardo","year":"1999","unstructured":"G. Ciardo, D.M. Nicol, and K.S. Trivedi. Discrete-Event Simulation of Fluid Stochastic Petri-Nets. IEEE Trans. on Soft. Eng., 25(2):207\u2013217, 1999.","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"30_CR4","unstructured":"Computer Science Department. College of Willian and Mary. On the Simulation of Stochastic Petri Nets."},{"key":"30_CR5","unstructured":"G.S. Fishman. Monte Carlo: Concepts, Algorithms and Applications. Springer-Verlag, 1997."},{"issue":"11","key":"30_CR6","doi-asserted-by":"publisher","first-page":"1367","DOI":"10.1287\/mnsc.35.11.1367","volume":"35","author":"P. W. Glynn","year":"1989","unstructured":"P. W. Glynn and D. L. Iglehart. Importance Sampling for Stochastic Simulations. Management Science, 35(11):1367\u20131392, November 1989.","journal-title":"Management Science"},{"issue":"1","key":"30_CR7","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/12.123381","volume":"41","author":"A. Goyal","year":"1992","unstructured":"A. Goyal et al. A Unified Framework for Simulating Markovian Models of Highly Dependable Systems. IEEE Trans. on Computers, 41(1):36\u201351, Jan. 1992.","journal-title":"IEEE Trans. on Computers"},{"key":"30_CR8","unstructured":"S. P. Harbison and G. L. Steele Jr. C \u2014 A Reference Manual. Prentice-Hall, 3 edition, 1991."},{"issue":"2","key":"30_CR9","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/175007.175008","volume":"4","author":"P. Heidelberger","year":"1994","unstructured":"P. Heidelberger et al. Bounded Relative Error in estimating transient Measures of Highly Dependable Non-Markovian Systems. ACM Trans. on Modeling and Computer Simulation, 4(2):137\u2013164, April 1994.","journal-title":"ACM Trans. on Modeling and Computer Simulation"},{"key":"30_CR10","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1002\/nav.3800260304","volume":"26","author":"P.A.W. Lewis","year":"1979","unstructured":"P.A.W. Lewis and G.S. Shedler. Simulation of nonhomogeneous Poisson processes by thinning. Naval Res. Logist. Quart., 26:403\u2013413, 1979.","journal-title":"Naval Res. Logist. Quart."},{"issue":"11","key":"30_CR11","doi-asserted-by":"publisher","first-page":"1825","DOI":"10.1016\/0026-2714(94)90137-6","volume":"34","author":"M. Malhotra","year":"1994","unstructured":"M. Malhotra et al. Stiffness-tolerant methods for transient analysis of stiff Markov chains. Microelectron. & Rel., 34(11):1825\u20131841, 1994.","journal-title":"Microelectron. & Rel."},{"issue":"12","key":"30_CR12","doi-asserted-by":"publisher","first-page":"1440","DOI":"10.1109\/12.260634","volume":"42","author":"V. F. Nicola","year":"1993","unstructured":"V. F. Nicola et al. Fast Simulation of Highly Dependable Systems with General Failure and Repair Processes. IEEE Trans. on Computers, 42(12):1440\u20131452, December 1993.","journal-title":"IEEE Trans. on Computers"},{"key":"30_CR13","doi-asserted-by":"crossref","unstructured":"W. J. Stewart. Introduction to the Numerical Solution of Markov Chains. Princeton University Press, 1994.","DOI":"10.1515\/9780691223384"},{"key":"30_CR14","doi-asserted-by":"crossref","unstructured":"B. Tuffin and K.S. Trivedi. Implementation of importance splitting techniques in stochastic petri net package. Computer performance evaluation: Modelling tools and techniques; 11th International Conference; TOOLS 2000, Schaumburg, Il., USA, March 2000.","DOI":"10.1007\/3-540-46429-8_16"},{"key":"30_CR15","unstructured":"W. B. van den Hout. The Power-Series Algorithm: A Numerical Approach to Markov Processes. Tilburg University, 1996."}],"container-title":["Lecture Notes in Computer Science","Computer Performance Evaluation.Modelling Techniques and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46429-8_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T19:56:44Z","timestamp":1737489404000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46429-8_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672609","9783540464297"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-46429-8_30","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2000]]}}}