{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:44:48Z","timestamp":1725543888930},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642114854"},{"type":"electronic","value":"9783642114861"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11486-1_31","type":"book-chapter","created":{"date-parts":[[2010,1,27]],"date-time":"2010-01-27T03:39:51Z","timestamp":1264563591000},"page":"366-379","source":"Crossref","is-referenced-by-count":2,"title":["History-Dependent Stochastic Petri Nets"],"prefix":"10.1007","author":[{"given":"Helen","family":"Schonenberg","sequence":"first","affiliation":[]},{"given":"Natalia","family":"Sidorova","sequence":"additional","affiliation":[]},{"given":"Wil","family":"van der Aalst","sequence":"additional","affiliation":[]},{"given":"Kees","family":"van Hee","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"31_CR1","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/S0169-023X(03)00066-1","volume":"47","author":"W.M.P. Aalst van der","year":"1996","unstructured":"van der Aalst, W.M.P., van Dongen, B.F., Herbst, J., Maruster, L., Schimm, G., Weijters, A.J.M.M.: Workflow Mining: A Survey of Issues and Approaches. Data and Knowledge Engineering\u00a047(2), 237\u2013267 (1996)","journal-title":"Data and Knowledge Engineering"},{"key":"31_CR2","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511526558","volume-title":"Free Choice Petri Nets","author":"J. Desel","year":"1995","unstructured":"Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge Tracts in Theoretical Computer Science, vol.\u00a040. Cambridge University Press, Cambridge (1995)"},{"issue":"1","key":"31_CR3","first-page":"143","volume":"4","author":"G. Florin","year":"1985","unstructured":"Florin, G., Natkin, S.: Les Reseaux de Petri Stochastiques. Technique et Science Informatiques\u00a04(1), 143\u2013160 (1985)","journal-title":"Technique et Science Informatiques"},{"key":"31_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-540-73094-1_12","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"K.M. Hee van","year":"2007","unstructured":"van Hee, K.M., Serebrenik, A., Sidorova, N., van der Aalst, W.M.P.: History-Dependent Petri Nets. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol.\u00a04546, pp. 164\u2013183. Springer, Heidelberg (2007)"},{"key":"31_CR5","series-title":"EATCS monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-06289-0","volume-title":"Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use","author":"K. Jensen","year":"1992","unstructured":"Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. EATCS monographs on Theoretical Computer Science. Springer, Heidelberg (1992)"},{"issue":"3-4","key":"31_CR6","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","volume":"9","author":"K. Jensen","year":"2007","unstructured":"Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. International Journal on Software Tools for Technology Transfer\u00a09(3-4), 213\u2013254 (2007)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"31_CR7","unstructured":"Kolmogorov, A.: Moscow Univ. Math. Bull. \u00a01 (1937)"},{"key":"31_CR8","first-page":"44","volume-title":"PNPM 1987: The Proceedings of the Second International Workshop on Petri Nets and Performance Models","author":"M. Ajmone Marsan","year":"1987","unstructured":"Ajmone Marsan, M., Balbo, G., Chiola, G., Conte, G.: Generalized Stochastic Petri Nets Revisited: Random Switches and Priorities. In: PNPM 1987: The Proceedings of the Second International Workshop on Petri Nets and Performance Models, Washington, DC, USA, pp. 44\u201353. IEEE Computer Society, Los Alamitos (1987)"},{"issue":"2","key":"31_CR9","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/288197.581193","volume":"26","author":"M. Ajmone Marsan","year":"1998","unstructured":"Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. ACM SIGMETRICS Perform. Eval. Rev.\u00a026(2), 2 (1998)","journal-title":"ACM SIGMETRICS Perform. Eval. Rev."},{"key":"31_CR10","unstructured":"Molloy, M.K.: On the Integration of Delay and Throughput Measures in Distributed Processing Models. PhD thesis, University of California, Los Angeles (1981)"},{"key":"31_CR11","unstructured":"Neveu, J.: Mathematical Foundations of the Calculus of Probability. Holden-day (1965)"},{"key":"31_CR12","volume-title":"Introduction to Probability Models","author":"S.M. Ross","year":"2006","unstructured":"Ross, S.M.: Introduction to Probability Models, 9th edn. Academic Press, Inc., Orlando (2006)","edition":"9"},{"issue":"1","key":"31_CR13","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/s10009-007-0051-0","volume":"10","author":"A. Rozinat","year":"2008","unstructured":"Rozinat, A., Mans, R.S., Song, M., van der Aalst, W.M.P.: Discovering Colored Petri Nets From Event Logs. International Journal on Software Tools for Technology Transfer\u00a010(1), 57\u201374 (2008)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"31_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-540-85758-7_7","volume-title":"Business Process Management","author":"H. Schonenberg","year":"2008","unstructured":"Schonenberg, H., Weber, B., van Dongen, B.F., van der Aalst, W.M.P.: Supporting Flexible Processes Through Recommendations Based on History. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol.\u00a05240, pp. 51\u201366. Springer, Heidelberg (2008)"},{"key":"31_CR15","unstructured":"Symons, F.J.W.: Modelling and Analysis of Communication Protocols Using Numerical Petri Nets. 152, Ph.D. Thesis, Univ. of Essex, Dep. of Electr. Engineering Science, Telecommunication Systems Group (May 1978)"}],"container-title":["Lecture Notes in Computer Science","Perspectives of Systems Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11486-1_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T00:14:30Z","timestamp":1552349670000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11486-1_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642114854","9783642114861"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11486-1_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}