{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T21:23:15Z","timestamp":1750454595323},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319434247"},{"type":"electronic","value":"9783319434254"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-43425-4_11","type":"book-chapter","created":{"date-parts":[[2016,8,2]],"date-time":"2016-08-02T11:24:52Z","timestamp":1470137092000},"page":"163-166","source":"Crossref","is-referenced-by-count":3,"title":["Spnps: A Tool for Perfect Sampling in Stochastic Petri Nets"],"prefix":"10.1007","author":[{"given":"Simonetta","family":"Balsamo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Marin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivan","family":"Stojic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,8,3]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Balsamo, S., Marin, A., Stojic, I.: Perfect sampling in stochastic Petri nets using decision diagrams. In: Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS), 2015 IEEE 23rd International Symposium on. pp. 126\u2013135., October 2015","DOI":"10.1109\/MASCOTS.2015.30"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Bouillard, A., Bu\u0161i\u0107, A., Rovetta, C.: Perfect sampling for closed queueing networks. Performance Evaluation 79, 146\u2013159 , special Issue: Performance 2014(2014)","DOI":"10.1016\/j.peva.2014.07.010"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Bouillard, A., Gaujal, B.: Backward coupling in Petri nets. In: Proceedings of the 1st International Conference on Performance Evaluation Methodologies and Tools. VALUETOOLS \u201906, NY, USA. ACM, New York (2006)","DOI":"10.1145\/1190095.1190137"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1007\/978-3-642-30782-9_10","volume-title":"Analytical and Stochastic Modeling Techniques and Applications","author":"A Bu\u0161i\u0107","year":"2012","unstructured":"Bu\u0161i\u0107, A., Gaujal, B., Perronnin, F.: Perfect Sampling of Networks with Finite and Infinite Capacity Queues. In: Al-Begain, K., Fiems, D., Vincent, J.-M. (eds.) ASMTA 2012. LNCS, vol. 7314, pp. 136\u2013149. Springer, Heidelberg (2012)"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Bu\u0161i\u0107, A., Gaujal, B., Vincent, J.M.: Perfect simulation and non-monotone Markovian systems. In: VALUETOOLS \u201908: Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and Tools. pp. 1\u201310. ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering), ICST, Brussels, Belgium, Belgium (2008)","DOI":"10.4108\/ICST.VALUETOOLS2008.4404"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/978-3-540-27793-4_2","volume-title":"Applications and Theory of Petri Nets 2004","author":"G Ciardo","year":"2004","unstructured":"Ciardo, G.: Reachability Set Generation for Petri Nets: Can Brute Force Be Smart? In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 17\u201334. Springer, Heidelberg (2004)"},{"key":"11_CR7","volume-title":"Stochastic Petri nets: Modelling, stability, simulation","author":"PJ Haas","year":"2002","unstructured":"Haas, P.J.: Stochastic Petri nets: Modelling, stability, simulation. Springer-Verlag, New York (2002)"},{"issue":"1","key":"11_CR8","first-page":"9","volume":"4","author":"T Kam","year":"1998","unstructured":"Kam, T., Villa, T., Brayton, R., Sangiovanni-Vincentelli, A.: Multi-valued decision diagrams: theory and applications. Multiple-Valued Logic 4(1), 9\u201362 (1998)","journal-title":"Multiple-Valued Logic"},{"key":"11_CR9","unstructured":"Law, A.M., Kelton, D.M.: Simulation Modeling and Analysis. McGraw-Hill Higher Education, 3rd edn. (1999)"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Panneton, F., L\u2019Ecuyer, P., Matsumoto, M.: Improved long-period generators based on linear recurrences modulo 2. ACM Trans. Math. Softw. 32(1), 1\u201316 (2006). http:\/\/acm.org\/10.1145\/1132973.1132974","DOI":"10.1145\/1132973.1132974"},{"issue":"1\u20132","key":"11_CR11","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1002\/(SICI)1098-2418(199608\/09)9:1\/2<223::AID-RSA14>3.0.CO;2-O","volume":"9","author":"JG Propp","year":"1996","unstructured":"Propp, J.G., Wilson, D.B.: Exact sampling with coupled Markov chains and applications to statistical mechanics. Random Struct. Algorithms 9(1\u20132), 223\u2013252 (1996)","journal-title":"Random Struct. Algorithms"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/978-3-540-40022-6_7","volume-title":"Petri Net Technology for Communication-Based Systems","author":"M Weber","year":"2003","unstructured":"Weber, M., Kindler, E.: The Petri net markup language. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, pp. 124\u2013144. Springer, Berlin Heidelberg (2003)"}],"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-43425-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,11]],"date-time":"2019-09-11T22:15:41Z","timestamp":1568240141000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-43425-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319434247","9783319434254"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-43425-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}