{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T04:38:35Z","timestamp":1743050315096,"version":"3.40.3"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319232669"},{"type":"electronic","value":"9783319232676"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23267-6_12","type":"book-chapter","created":{"date-parts":[[2015,8,21]],"date-time":"2015-08-21T16:52:22Z","timestamp":1440175942000},"page":"177-192","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Markov Decision Petri Nets with Uncertainty"],"prefix":"10.1007","author":[{"given":"Marco","family":"Beccuti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elvio G.","family":"Amparore","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Susanna","family":"Donatelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dimitri","family":"Scheftelowitsch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Buchholz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuliana","family":"Franceschinis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,8,22]]},"reference":[{"key":"12_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/BFb0055639","volume-title":"CONCUR \u201998 Concurrency Theory","author":"L de Alfaro","year":"1998","unstructured":"de Alfaro, L.: Stochastic transition systems. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol. 1466, pp. 423\u2013438. Springer, Heidelberg (1998)"},{"issue":"1","key":"12_CR2","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1008739929481","volume":"15","author":"R Alur","year":"1999","unstructured":"Alur, R., Henzinger, T.: Reactive modules. Formal Methods in System Design 15(1), 7\u201348 (1999)","journal-title":"Formal Methods in System Design"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-73094-1_6","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"M Beccuti","year":"2007","unstructured":"Beccuti, M., Franceschinis, G., Haddad, S.: Markov decision Petri net and Markov decision well-formed net formalisms. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 43\u201362. Springer, Heidelberg (2007)"},{"issue":"12","key":"12_CR4","doi-asserted-by":"publisher","first-page":"1870","DOI":"10.1093\/comjnl\/bxt134","volume":"57","author":"M Beccuti","year":"2014","unstructured":"Beccuti, M., Franceschinis, G., Codetta-Raiteri, D., Haddad, S.: Computing optimal repair strategies by means of NdRFT modeling and analysis. The Computer Journal 57(12), 1870\u20131892 (2014)","journal-title":"The Computer Journal"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Bellman, R.: A Markovian Decision Process. Indiana Univ. Math. Journal 6 (1957)","DOI":"10.1512\/iumj.1957.6.56038"},{"key":"12_CR6","doi-asserted-by":"crossref","DOI":"10.21236\/ADA254568","volume-title":"Planning and Control","author":"T Dean","year":"1991","unstructured":"Dean, T., Wellman, M.P.: Planning and Control. Morgan Kaufmann Pub, San Francisco (1991)"},{"key":"12_CR7","unstructured":"Dean, T., Givan, R., Leach, S.: Model reduction techniques for computing approximately optimal solutions for Markov decision processes. In: 13th Conference on Uncertainty in Artificial Intelligence, pp. 124\u2013131. Morgan Kaufmann (1997)"},{"issue":"9\u201310","key":"12_CR8","doi-asserted-by":"publisher","first-page":"1498","DOI":"10.1016\/j.artint.2011.01.001","volume":"175","author":"KV Delgado","year":"2011","unstructured":"Delgado, K.V., Sanner, S., de Barros, L.N.: Efficient solutions to factored MDPs with imprecise transition probabilities. Artif. Intell. 175(9\u201310), 1498\u20131527 (2011)","journal-title":"Artif. Intell."},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-642-16138-4_8","volume-title":"Advances in Artificial Intelligence \u2013 SBIA 2010","author":"MG Eboli","year":"2010","unstructured":"Eboli, M.G., Cozman, F.G.: Markov decision processes from colored Petri nets. In: da Rocha Costa, A.C., Vicari, R.M., Tonidandel, F. (eds.) SBIA 2010. LNCS, vol. 6404, pp. 72\u201381. Springer, Heidelberg (2010)"},{"issue":"1\u20132","key":"12_CR10","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/S0004-3702(00)00047-3","volume":"122","author":"R Givan","year":"2000","unstructured":"Givan, R., Leach, S.M., Dean, T.L.: Bounded-parameter Markov decision processes. Artif. Intell. 122(1\u20132), 71\u2013109 (2000)","journal-title":"Artif. Intell."},{"key":"12_CR11","doi-asserted-by":"publisher","DOI":"10.1002\/9780470316887","volume-title":"Markov Decision Processes: Discrete Stochastic Dynamic Programming","author":"ML Puterman","year":"1994","unstructured":"Puterman, M.L.: Markov Decision Processes: Discrete Stochastic Dynamic Programming, 1st edn. John Wiley & Sons Inc, New York (1994)","edition":"1"},{"key":"12_CR12","unstructured":"Scheftelowitsch, D., Buchholz, P.: Multi-criteria approaches to Markov decision processes with uncertain transition parameters. Tech. rep., TU Dortmund (2015). http:\/\/ls4-www.cs.uni-dortmund.de\/download\/buchholz\/pareto.pdf"}],"container-title":["Lecture Notes in Computer Science","Computer Performance Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23267-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T18:07:02Z","timestamp":1675274822000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23267-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319232669","9783319232676"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23267-6_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"22 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}