{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T09:33:20Z","timestamp":1791192800147,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642136740","type":"print"},{"value":"9783642136757","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13675-7_13","type":"book-chapter","created":{"date-parts":[[2010,6,11]],"date-time":"2010-06-11T11:26:50Z","timestamp":1276255610000},"page":"206-225","source":"Crossref","is-referenced-by-count":8,"title":["Learning Workflow Petri Nets"],"prefix":"10.1007","author":[{"given":"Javier","family":"Esparza","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martin","family":"Leucker","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Maximilian","family":"Schlund","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"13_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/BFb0101003","volume-title":"Advances in Database Technology - EDBT \u201998","author":"R. Agrawal","year":"1998","unstructured":"Agrawal, R., Gunopulos, D., Leymann, F.: Mining process models from workflow logs. In: Schek, H.-J., Saltor, F., Ramos, I., Alonso, G. (eds.) EDBT 1998. LNCS, vol.\u00a01377, pp. 469\u2013483. Springer, Heidelberg (1998)"},{"key":"13_CR2","unstructured":"Andersen, H.R.: An introduction to binary decision diagrams. Technical report (1999), http:\/\/www.itu.dk\/people\/hra\/bdd-eap.pdf"},{"issue":"2","key":"13_CR3","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D. Angluin","year":"1987","unstructured":"Angluin, D.: Learning regular sets from queries and counterexamples. Information and Computation\u00a075(2), 87\u2013106 (1987)","journal-title":"Information and Computation"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"TAPSOFT \u201995: Theory and Practice of Software Development","author":"E. Badouel","year":"1995","unstructured":"Badouel, E., Bernardinello, L., Darondeau, P.: Polynomial algorithms for the synthesis of bounded nets. In: Mosses, P.D., Schwartzbach, M.I., Nielsen, M. (eds.) CAAP 1995, FASE 1995, and TAPSOFT 1995. LNCS, vol.\u00a0915. Springer, Heidelberg (1995)"},{"key":"13_CR5","unstructured":"Badouel, E., Darondeau, P.: On the synthesis of general petri nets. Technical report, INRIA (1996)"},{"key":"13_CR6","unstructured":"Bergenthum, R., Desel, J., K\u00f6lbl, C., Mauser, S.: Experimental results on process mining based on regions of languages. In: CHINA 2008, Workshop at the Applications and Theory of Petri Nets: 29th International Conference (2008)"},{"key":"13_CR7","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":"13_CR8","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-642-00899-3_14","volume":"2","author":"R. Bergenthum","year":"2009","unstructured":"Bergenthum, R., Desel, J., Mauser, S., Lorenz, R.: Construction of process models from example runs. T. Petri Nets and Other Models of Concurrency\u00a02, 243\u2013259 (2009)","journal-title":"T. Petri Nets and Other Models of Concurrency"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Bollig, B., Katoen, J.-P., Kern, C., Leucker, M.: Learning communicating automata from MSCs. IEEE Transactions on Software Engineering, TSE (in press, 2009)","DOI":"10.1109\/TSE.2009.89"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of the 22nd International Conference on Computer-Aided Verification (CAV 2010)","author":"B. Bollig","year":"2010","unstructured":"Bollig, B., Katoen, J.-P., Kern, C., Leucker, M., Neider, D., Piegdon, D.: libalf: the Automata Learning Framework. In: Proceedings of the 22nd International Conference on Computer-Aided Verification (CAV 2010). LNCS. Springer, Heidelberg (to appear, 2010)"},{"issue":"3","key":"13_CR11","first-page":"178","volume":"4","author":"T.S. Chow","year":"1978","unstructured":"Chow, T.S.: Testing software design modeled by finite-state machines. TSE\u00a04(3), 178\u2013187 (1978); Special collection based on COMPSAC","journal-title":"TSE"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/11837862_12","volume-title":"Business Process Management Workshops","author":"E. Kindler","year":"2006","unstructured":"Kindler, E., Rubin, V., Sch\u00e4fer, W.: Process mining and petri net synthesis. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol.\u00a04103, pp. 105\u2013116. Springer, Heidelberg (2006)"},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-540-72426-1_15","volume-title":"Software Process Dynamics and Agility","author":"V. Rubin","year":"2007","unstructured":"Rubin, V., G\u00fcnther, C.W., van der Aalst, W.M.P., Kindler, E., van Dongen, B.F., Sch\u00e4fer, W.: Process mining framework for software processes. In: Wang, Q., Pfahl, D., Raffo, D.M. (eds.) ICSP 2007. LNCS, vol.\u00a04470, pp. 169\u2013181. Springer, Heidelberg (2007)"},{"key":"13_CR14","unstructured":"SAP AG. SAP Business Workflow Demo Examples (BC-BMT-WFM) (2001)"},{"issue":"4","key":"13_CR15","doi-asserted-by":"publisher","first-page":"653","DOI":"10.1007\/BF01068590","volume":"9","author":"M.P. Vasilevski","year":"1973","unstructured":"Vasilevski, M.P.: Failure diagnosis of automata. Cybernetic\u00a09(4), 653\u2013665 (1973)","journal-title":"Cybernetic"},{"issue":"1","key":"13_CR16","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W.M.P. Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The application of petri nets to workflow management. Journal of Circuits, Systems, and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"Journal of Circuits, Systems, and Computers"},{"key":"13_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1007\/978-3-540-73094-1_28","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"W.M.P. Aalst van der","year":"2007","unstructured":"van der Aalst, W.M.P., van Dongen, B.F., G\u00fcnther, C.W., Mans, R.S., de Medeiros, A.K.A., Rozinat, A., Rubin, V., Song, M. (Eric)Verbeek, H.M.W., Weijters, A.J.M.M.: Prom 4.0: Comprehensive support for real process analysis. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol.\u00a04546, pp. 484\u2013494. Springer, Heidelberg (2007)"},{"issue":"2","key":"13_CR18","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/S0169-023X(03)00066-1","volume":"47","author":"W.M.P. Aalst van der","year":"2003","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 Knowl. Eng.\u00a047(2), 237\u2013267 (2003)","journal-title":"Data Knowl. Eng."},{"key":"13_CR19","volume-title":"Workflow Management. Models, Methods, and Systems","author":"W. Aalst van der","year":"2004","unstructured":"van der Aalst, W., van Hee, K.: Workflow Management. Models, Methods, and Systems. MIT Press, Cambridge (2004)"},{"key":"13_CR20","unstructured":"Verbeek, H.M.W.: Verification of WF-nets. PhD thesis, Technische Universiteit Eindhoven (2004)"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13675-7_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:41:43Z","timestamp":1606167703000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13675-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642136740","9783642136757"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13675-7_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}