{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:51:49Z","timestamp":1725486709058},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540730934"},{"type":"electronic","value":"9783540730941"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73094-1_6","type":"book-chapter","created":{"date-parts":[[2007,6,30]],"date-time":"2007-06-30T01:53:56Z","timestamp":1183168436000},"page":"43-62","source":"Crossref","is-referenced-by-count":12,"title":["Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms"],"prefix":"10.1007","author":[{"given":"M.","family":"Beccuti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Franceschinis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Haddad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"6_CR1","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\u00a015(1), 7\u201348 (1999)","journal-title":"Formal Methods in System Design"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Beccuti, M., Franceschinis, G., Haddad, S.: Markov Decision Petri Net and Markov Decision Well-formed Net formalisms. Technical Report TR-INF-2007-02-01, Dipartimento di Informatica, Universit\u00e0 del Piemonte Orientale (2007) http:\/\/www.di.unipmn.it\/Tecnical-R","DOI":"10.1007\/978-3-540-73094-1_6"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1007\/3-540-60692-0_70","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"A. Bianco","year":"1995","unstructured":"Bianco, A., de Alfaro, L.: Model checking of probabilistic and nondeterministic systems. In: Thiagarajan, P.S. (ed.) Foundations of Software Technology and Theoretical Computer Science. LNCS, vol.\u00a01026, pp. 499\u2013513. Springer, Heidelberg (1995)"},{"issue":"11","key":"6_CR4","doi-asserted-by":"publisher","first-page":"1343","DOI":"10.1109\/12.247838","volume":"42","author":"G. Chiola","year":"1993","unstructured":"Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: Stochastic well-formed coloured nets for symmetric modelling applications. IEEE Transactions on Computers\u00a042(11), 1343\u20131360 (November 1993)","journal-title":"IEEE Transactions on Computers"},{"issue":"1\u20132","key":"6_CR5","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0304-3975(96)00010-2","volume":"176","author":"G. Chiola","year":"1997","unstructured":"Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: A symbolic reachability graph for coloured Petri nets. Theoretical Computer Science\u00a0176(1\u20132), 39\u201365 (1997)","journal-title":"Theoretical Computer Science"},{"issue":"1-2","key":"6_CR6","first-page":"47","volume":"24","author":"G. Chiola","year":"1995","unstructured":"Chiola, G., Franceschinis, G., Gaeta, R., Ribaudo, M.: GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic petri nets. Performance Evaluation, special issue on Performance Modeling Tools\u00a024(1-2), 47\u201368 (November 1995)","journal-title":"Performance Evaluation, special issue on Performance Modeling Tools"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/BFb0023457","volume-title":"STACS 97","author":"L. Alfaro de","year":"1997","unstructured":"de Alfaro, L.: Temporal logics for the specification of performance and reliability. In: Reischuk, R., Morvan, M. (eds.) STACS 97. LNCS, vol.\u00a01200, pp. 165\u2013176. Springer, Heidelberg (1997)"},{"key":"6_CR8","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. Alfaro de","year":"1998","unstructured":"de Alfaro, L.: Stochastic transition systems. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol.\u00a01466, pp. 423\u2013438. Springer, Heidelberg (1998)"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Demaille, K., Peyronnet, S., Sigoure, B.: Modeling of sensor networks using XRM. In: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Paphos, Cyprus (2006)","DOI":"10.1109\/ISoLA.2006.27"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","first-page":"10","volume-title":"FME 2002: Formal Methods - Getting IT Right","author":"H. Garavel","year":"2000","unstructured":"Garavel, H., Hermanns, H.: On combining functional verification and performance evaluation using CADP. In: FME 2002. LNCS, vol.\u00a02391, pp. 10\u2013429. Springer, Heidelberg (2000)"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/11691372_29","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Hinton","year":"2006","unstructured":"Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: A tool for automatic verification of probabilistic systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006 and ETAPS 2006. LNCS, vol.\u00a03920, pp. 441\u2013444. Springer, Heidelberg (2006)"},{"key":"6_CR12","series-title":"Wiley Series in Parallel Computing","volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"M. Ajmone Marsan","year":"1995","unstructured":"Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Wiley Series in Parallel Computing. John Wiley and Sons, New york (1995) http:\/\/www.di.unito.it\/~greatspn"},{"key":"6_CR13","volume-title":"Discrete Stochastic Dynamic Programming","author":"M.L. Puterman","year":"2005","unstructured":"Puterman, M.L.: Markov Decision Processes. In: Discrete Stochastic Dynamic Programming, Wiley, Chichester (2005)"}],"container-title":["Lecture Notes in Computer Science","Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73094-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,23]],"date-time":"2020-04-23T17:28:49Z","timestamp":1587662929000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73094-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540730934","9783540730941"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73094-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}