{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T13:43:43Z","timestamp":1773668623725,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642008986","type":"print"},{"value":"9783642008993","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-00899-3_14","type":"book-chapter","created":{"date-parts":[[2009,3,25]],"date-time":"2009-03-25T10:24:54Z","timestamp":1237976694000},"page":"243-259","source":"Crossref","is-referenced-by-count":11,"title":["Construction of Process Models from Example Runs"],"prefix":"10.1007","author":[{"given":"Robin","family":"Bergenthum","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00f6rg","family":"Desel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Mauser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Lorenz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","volume-title":"Workflow Management: Models, Methods, and Systems","author":"W. Aalst","year":"2002","unstructured":"Aalst, W., Hee, K.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2002)"},{"key":"14_CR2","volume-title":"Process-Aware Information Systems \u2013 Bridging People and Software","author":"W. Aalst","year":"2005","unstructured":"Aalst, W., Dumas, M., Hofstede, A.: Process-Aware Information Systems \u2013 Bridging People and Software. Wiley, Chichester (2005)"},{"key":"14_CR3","volume-title":"Business Process Management \u2013 Concepts, Languages and Architectures","author":"M. Weske","year":"2007","unstructured":"Weske, M.: Business Process Management \u2013 Concepts, Languages and Architectures. Springer, Heidelberg (2007)"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/3-540-44895-0_26","volume-title":"Business Process Management","author":"J. Desel","year":"2003","unstructured":"Desel, J., Juh\u00e1s, G., Lorenz, R., Neumair, C.: Modelling and Validation with Viptool. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol.\u00a02678, pp. 380\u2013389. Springer, Heidelberg (2003)"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/11767589_21","volume-title":"Petri Nets and Other Models of Concurrency - ICATPN 2006","author":"R. Bergenthum","year":"2006","unstructured":"Bergenthum, R., Desel, J., Juh\u00e1s, G., Lorenz, R.: Can I Execute My Scenario in Your Net? Viptool Tells You! In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol.\u00a04024, pp. 381\u2013390. Springer, Heidelberg (2006)"},{"key":"14_CR6","first-page":"170","volume-title":"ACSD 2008","author":"R. Bergenthum","year":"2008","unstructured":"Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Synthesis of Petri Nets from Infinite Partial Languages. In: ACSD 2008, pp. 170\u2013179. IEEE, Los Alamitos (2008)"},{"key":"14_CR7","unstructured":"Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Synthesis of Petri Nets from Finite Partial Languages. Fundam. Inform (to appear)"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","first-page":"529","volume-title":"Advanced Course: Petri Nets","author":"E. Badouel","year":"1996","unstructured":"Badouel, E., Darondeau, P.: Theory of Regions. In: APN 1998. LNCS, vol.\u00a01491, pp. 529\u2013586. Springer, Heidelberg (1996)"},{"key":"14_CR9","first-page":"3","volume-title":"ACSD 2007","author":"W. Aalst","year":"2007","unstructured":"Aalst, W.: Finding Structure in Unstructured Processes: The Case for Process Mining. In: ACSD 2007, pp. 3\u201312. IEEE, Los Alamitos (2007)"},{"key":"14_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/978-3-540-75183-0_27","volume-title":"Business Process Management","author":"R. Bergenthum","year":"2007","unstructured":"Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Process Mining Based on Regions of Languages. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 375\u2013383. Springer, Heidelberg (2007)"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Bergenthum, R., Mauser, S.: Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language. In: Workshop CHINA, Petri Nets 2008, X\u2019ian (2008)","DOI":"10.1007\/978-3-642-04856-2_9"},{"key":"14_CR12","series-title":"LNBIP","first-page":"84","volume-title":"UNISCON 2008","author":"J. Desel","year":"2008","unstructured":"Desel, J.: From Human Knowledge to Process Models. In: Kaschek, R., Kop, C., Steinberger, C., Flirdl, G. (eds.) UNISCON 2008. LNBIP, vol.\u00a05, pp. 84\u201395. Springer, Heidelberg (2008)"},{"key":"14_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/3-540-60406-5_19","volume-title":"Software Engineering - ESEC \u201995","author":"M. Glinz","year":"1995","unstructured":"Glinz, M.: An Integrated Formal Model of Scenarios Based on Statecharts. In: Botella, P., Sch\u00e4fer, W. (eds.) ESEC 1995. LNCS, vol.\u00a0989, pp. 254\u2013271. Springer, Heidelberg (1995)"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Lorenz, R., Juh\u00e1s, G., Mauser, S.: How to Synthesize Nets from Languages - a Survey. In: Wintersimulation Conference 2007, Washington, pp. 638\u2013647 (2007)","DOI":"10.1109\/WSC.2007.4419657"},{"key":"14_CR15","first-page":"157","volume-title":"ACSD 2007","author":"R. Lorenz","year":"2007","unstructured":"Lorenz, R., Bergenthum, R., Desel, J., Mauser, S.: Synthesis of Petri Nets from Finite Partial Languages. In: ACSD 2007, pp. 157\u2013166. IEEE, Los Alamitos (2007)"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Bergenthum, R., Mauser, S.: Synthesis of Petri Nets from Infinite Partial Languages with VipTool. In: AWPN 2008, Rostock, pp. 81\u201386 (2008)","DOI":"10.1109\/ACSD.2008.4574609"},{"key":"14_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19029-2","volume-title":"Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine","author":"D. Harel","year":"2003","unstructured":"Harel, D., Marelly, R.: Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)"},{"key":"14_CR18","volume-title":"Object-Oriented Software Engineering: A Use Case Driven Approach","author":"I. Jacobson","year":"1992","unstructured":"Jacobson, I.: Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley, Reading (1992)"},{"key":"14_CR19","unstructured":"Glinz, M., Seybold, C., Meier, S.: Simulation-Driven Creation, Validation and Evolution of Behavioral Requirements Models. In: MBEES 2007, Dagstuhl, pp. 103\u2013112 (2007)"},{"key":"14_CR20","unstructured":"Glinz, M.: Improving the Quality of Requirements with Scenarios. In: Second World Congress on Software Quality, Yokohama, pp. 55\u201360 (2000)"},{"issue":"1","key":"14_CR21","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1023\/A:1025890110119","volume":"24","author":"D. Amyot","year":"2003","unstructured":"Amyot, D., Eberlein, A.: An Evaluation of Scenario Notations and Construction Approaches for Telecommunication Systems Development. Telecommunication Systems\u00a024(1), 61\u201394 (2003)","journal-title":"Telecommunication Systems"},{"key":"14_CR22","first-page":"5","volume-title":"SCESM 2006","author":"H. Liang","year":"2006","unstructured":"Liang, H., Dingel, J., Diskin, Z.: A Comparative Survey of Scenario-Based to State-Based Model Synthesis Approaches. In: SCESM 2006, pp. 5\u201312. ACM, New York (2006)"},{"key":"14_CR23","unstructured":"Scheer: IDS Scheer: ARIS Process Performance Manager, http:\/\/www.ids-scheer.com"},{"key":"14_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1007\/978-3-540-30464-7_29","volume-title":"Conceptual Modeling \u2013 ER 2004","author":"B. Dongen","year":"2004","unstructured":"Dongen, B., Aalst, W.: Multi-Phase Process Mining: Building Instance Graphs. In: Atzeni, P., Chu, W., Lu, H., Zhou, S., Ling, T.-W. (eds.) ER 2004. LNCS, vol.\u00a03288, pp. 362\u2013376. Springer, Heidelberg (2004)"},{"key":"14_CR25","unstructured":"Dongen, B., Aalst, W.: Multi-Phase Process Mining: Aggregating Instance Graphs into EPC\u2019s and Petri Nets. In: 2nd Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management, Petri Nets, Miami, pp. 35\u201358 (2005)"},{"key":"14_CR26","unstructured":"Lassen, K., Dongen, B., Aalst, W.: Translating Message Sequence Charts to Other Process Languages Using Process Mining. In: PNSE 2007, Petri Nets 2007, Siedlce, pp. 82\u201397 (2007)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00899-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,8]],"date-time":"2025-02-08T17:29:42Z","timestamp":1739035782000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00899-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642008986","9783642008993"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00899-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}