{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:28:11Z","timestamp":1750307291102,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,9,30]],"date-time":"2011-09-30T00:00:00Z","timestamp":1317340800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,9,30]]},"DOI":"10.1145\/1958746.1958754","type":"proceedings-article","created":{"date-parts":[[2011,3,15]],"date-time":"2011-03-15T16:37:50Z","timestamp":1300207070000},"page":"7-18","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Computing first passage time distributions in stochastic well-formed nets"],"prefix":"10.1145","author":[{"given":"Gianfranco","family":"Balbo","sequence":"first","affiliation":[{"name":"Universit\u00e0 di Torino"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Beccuti","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Torino"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimiliano","family":"De Pierro","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Torino"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuliana","family":"Franceschini","sequence":"additional","affiliation":[{"name":"Universit\u00e0 del Piemonte Orientale"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,9,30]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"Ajmone Marsan M.","year":"1995","unstructured":"M. Ajmone Marsan , G. Balbo , G. Conte , S. Donatelli , and G. Franceschinis . Modelling with Generalized Stochastic Petri Nets . J. Wiley , New York, NY, USA , 1995 . M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. J. Wiley, New York, NY, USA, 1995."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1145\/1530873.1530876"},{"key":"e_1_3_2_1_3_1","volume-title":"OR2010: Proc. of Int. Conf. Operations Research \"Mastering Complexity\". LNCS Springer","author":"Balbo G.","year":"2010","unstructured":"G. Balbo , M. Beccuti , M. De Pierro , and G. Franceschinis . Stochastic Petri Nets sensitivity to token scheduling policies . In OR2010: Proc. of Int. Conf. Operations Research \"Mastering Complexity\". LNCS Springer , 2010 . To appear. G. Balbo, M. Beccuti, M. De Pierro, and G. Franceschinis. Stochastic Petri Nets sensitivity to token scheduling policies. In OR2010: Proc. of Int. Conf. Operations Research \"Mastering Complexity\". LNCS Springer, 2010. To appear."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1093\/comjnl\/bxq056"},{"key":"e_1_3_2_1_5_1","volume-title":"Stochastic Petri Nets - An Introduction to the Theory","author":"Bause F.","year":"2002","unstructured":"F. Bause and P. Kritzinger . Stochastic Petri Nets - An Introduction to the Theory , 2 nd ed. F. Vieweg & Sohn Verlag , Braunschweig\/ Wiesbaden, Germany , 2002 . ls4-www.informatik.uni-dortmund.de\/QM\/MA\/fb\/spnbook2.html. F. Bause and P. Kritzinger. Stochastic Petri Nets - An Introduction to the Theory, 2nd ed. F. Vieweg & Sohn Verlag, Braunschweig\/Wiesbaden, Germany, 2002. ls4-www.informatik.uni-dortmund.de\/QM\/MA\/fb\/spnbook2.html.","edition":"2"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1109\/QEST.2006.17"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1109\/QEST.2006.2"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1109\/MASCOT.2003.1240679"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1109\/12.247838"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1007\/978-3-540-87412-6_10"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.5555\/647738.735637"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1016\/j.jpdc.2004.03.017"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1016\/j.entcs.2009.02.051"},{"key":"e_1_3_2_1_14_1","volume-title":"Coloured Petri nets. Basic Concepts, Analysis Methods and Practical Use (vol.1,2,3)","author":"Jensen K.","year":"1997","unstructured":"K. Jensen . Coloured Petri nets. Basic Concepts, Analysis Methods and Practical Use (vol.1,2,3) . Springer Inc ., New York, NY, USA, 1997 . K. Jensen. Coloured Petri nets. Basic Concepts, Analysis Methods and Practical Use (vol.1,2,3). Springer Inc., New York, NY, USA, 1997."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1109\/TSE.2006.69"}],"event":{"sponsor":["SIGMETRICS ACM Special Interest Group on Measurement and Evaluation","SIGSOFT ACM Special Interest Group on Software Engineering"],"acronym":"ICPE'11","name":"ICPE'11: Second Joint WOSP\/SIPEW International Conference on Performance Engineering","location":"Karlsruhe Germany"},"container-title":["Proceedings of the 2nd ACM\/SPEC International Conference on Performance engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1958746.1958754","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1958746.1958754","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:59:42Z","timestamp":1750244382000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1958746.1958754"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,30]]},"references-count":15,"alternative-id":["10.1145\/1958746.1958754","10.1145\/1958746"],"URL":"https:\/\/doi.org\/10.1145\/1958746.1958754","relation":{},"subject":[],"published":{"date-parts":[[2011,9,30]]},"assertion":[{"value":"2011-09-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}