{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,12]],"date-time":"2026-01-12T23:21:51Z","timestamp":1768260111693,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540724254","type":"print"},{"value":"9783540724261","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-72426-1_15","type":"book-chapter","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T09:12:51Z","timestamp":1183453971000},"page":"169-181","source":"Crossref","is-referenced-by-count":78,"title":["Process Mining Framework for Software Processes"],"prefix":"10.1007","author":[{"given":"Vladimir","family":"Rubin","sequence":"first","affiliation":[]},{"given":"Christian W.","family":"G\u00fcnther","sequence":"additional","affiliation":[]},{"given":"Wil M. P.","family":"van der Aalst","sequence":"additional","affiliation":[]},{"given":"Ekkart","family":"Kindler","sequence":"additional","affiliation":[]},{"given":"Boudewijn F.","family":"van Dongen","sequence":"additional","affiliation":[]},{"given":"Wilhelm","family":"Sch\u00e4fer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"444","DOI":"10.1007\/11494744_25","volume-title":"Applications and Theory of Petri Nets 2005","author":"B. Dongen van","year":"2005","unstructured":"van Dongen, B., et al.: The ProM framework: A New Era in Process Mining Tool Support. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 444\u2013454. Springer, Heidelberg (2005)"},{"key":"15_CR2","unstructured":"MSR 2005 International Workshop on Mining Software Repositories. In: ICSE \u201905: Proceedings of the 27th international conference on Software engineering, ACM Press, New York (2005)"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Sandusky, R.J., Gasser, L., Ripoche, G.: Bug Report Networks: Varieties, Strategies, and Impacts in a F\/OSS Development Community. In: MSR 2004: International Workshop on Mining Software Repositories (2004), citeseer.ist.psu.edu\/sandusky04bug.html","DOI":"10.1049\/ic:20040481"},{"key":"15_CR4","unstructured":"Iannacci, F.: Coordination Processes in Open Source Software Development: The Linux Case Study (Apr. 2005), http:\/\/opensource.mit.edu\/papers\/iannacci3.pdf"},{"key":"15_CR5","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/ICDE.1995.380415","volume-title":"Eleventh International Conference on Data Engineering","author":"R. Agrawal","year":"1995","unstructured":"Agrawal, R., Srikant, R.: Mining sequential patterns. In: Yu, P.S., Chen, A.S.P. (eds.) Eleventh International Conference on Data Engineering, Taipei, Taiwan, pp. 3\u201314. IEEE Computer Society Press, Los Alamitos (1995), citeseer.ist.psu.edu\/agrawal95mining.html"},{"issue":"2","key":"15_CR6","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/S0169-023X(03)00066-1","volume":"47","author":"W. Aalst van der","year":"2003","unstructured":"van der Aalst, W., et al.: Workflow Mining: A Survey of Issues and Approaches. Data and Knowledge Engineering\u00a047(2), 237\u2013267 (2003)","journal-title":"Data and Knowledge Engineering"},{"key":"15_CR7","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., et al. (eds.) EDBT 1998. LNCS, vol.\u00a01377, pp. 469\u2013483. Springer, Heidelberg (1998)"},{"issue":"3","key":"15_CR8","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1145\/287000.287001","volume":"7","author":"J.E. Cook","year":"1998","unstructured":"Cook, J.E., Wolf, A.L.: Discovering Models of Software Processes from Event-Based Data. ACM Transactions on Software Engineering and Methodology\u00a07(3), 215\u2013249 (1998)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"3","key":"15_CR9","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/j.compind.2003.10.005","volume":"53","author":"J.E. Cook","year":"2004","unstructured":"Cook, J.E., et al.: Discovering models of behavior for concurrent workflows. Computers in Industry\u00a053(3), 297\u2013319 (2004)","journal-title":"Computers in Industry"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/11608035_25","volume-title":"Unifying the Software Process Spectrum","author":"E. Kindler","year":"2006","unstructured":"Kindler, E., Rubin, V., Sch\u00e4fer, W.: Incremental Workflow mining based on Document Versioning Information. In: Li, M., Boehm, B., Osterweil, L.J. (eds.) SPW 2005. LNCS, vol.\u00a03840, pp. 287\u2013301. Springer, Heidelberg (2006)"},{"key":"15_CR11","unstructured":"Kindler, E., Rubin, V., Sch\u00e4fer, W.: Activity mining for discovering software process models. In: Biel, B., Book, M., Gruhn, V. (eds.) Proc. of the Software Engineering 2006 Conference, Leipzig, Germany, March 2006. LNI, vol.\u00a0P-79, pp. 175\u2013180. Gesellschaft f\u00fcr Informatik (2006)"},{"key":"15_CR12","unstructured":"van der Aalst, W., et al.: Process Mining: A Two-Step Approach using Transition Systems and Regions. BPM Center Report BPM-06-30, BPM Center, BPMcenter.org (Dec. 2006)"},{"issue":"8","key":"15_CR13","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1109\/12.707587","volume":"47","author":"J. Cortadella","year":"1998","unstructured":"Cortadella, J., et al.: Deriving Petri nets from finite transition systems. IEEE Transactions on Computers\u00a047(8), 859\u2013882 (1998), citeseer.ist.psu.edu\/article\/cortadella98deriving.html","journal-title":"IEEE Transactions on Computers"},{"key":"15_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11837862_12","volume-title":"Business Process Management Workshops","author":"E. Kindler","year":"2006","unstructured":"Kindler, E., Rubin, V.: Process Mining and Petri Net Synthesis. In: Eder, J., Dustdar, S. (eds.) Business Process Management Workshops. LNCS, vol.\u00a04103, Springer, Heidelberg (2006)"},{"issue":"3","key":"15_CR15","first-page":"315","volume":"E80-D","author":"J. Cortadella","year":"1997","unstructured":"Cortadella, J., et al.: Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers. IEICE Transactions on Information and Systems\u00a0E80-D(3), 315\u2013325 (1997), citeseer.ist.psu.edu\/cortadella96petrify.html","journal-title":"IEICE Transactions on Information and Systems"},{"issue":"9","key":"15_CR16","doi-asserted-by":"publisher","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"W. Aalst van der","year":"2004","unstructured":"van der Aalst, W., Weijters, A., Maruster, L.: Workflow Mining: Discovering Process Models from Event Logs. IEEE Transactions on Knowledge and Data Engineering\u00a016(9), 1128\u20131142 (2004)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"15_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1007\/978-3-540-30464-7_29","volume-title":"Conceptual Modeling \u2013 ER 2004","author":"B. Dongen van","year":"2004","unstructured":"van Dongen, B., van der Aalst, W.: Multi-Phase Process Mining: Building Instance Graphs. In: Atzeni, P., et al. (eds.) ER 2004. LNCS, vol.\u00a03288, pp. 362\u2013376. Springer, Heidelberg (2004)"},{"issue":"2","key":"15_CR18","doi-asserted-by":"crossref","first-page":"151","DOI":"10.3233\/ICA-2003-10205","volume":"10","author":"A. Weijters","year":"2003","unstructured":"Weijters, A., van der Aalst, W.: Rediscovering Workflow Models from Event-Based Data using Little Thumb. Integrated Computer-Aided Engineering\u00a010(2), 151\u2013162 (2003)","journal-title":"Integrated Computer-Aided Engineering"},{"key":"15_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1007\/11494744_5","volume-title":"Applications and Theory of Petri Nets 2005","author":"W. Aalst van der","year":"2005","unstructured":"van der Aalst, W., Medeiros, A., Weijters, A.: Genetic Process Mining. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 48\u201369. Springer, Heidelberg (2005)"},{"issue":"6","key":"15_CR20","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1007\/s10606-005-9005-9","volume":"14","author":"W. Aalst van der","year":"2005","unstructured":"van der Aalst, W., Reijers, H., Song, M.: Discovering Social Networks from Event Logs. Computer Supported Cooperative work\u00a014(6), 549\u2013593 (2005)","journal-title":"Computer Supported Cooperative work"},{"key":"15_CR21","unstructured":"G\u00fcnther, C., van der Aalst, W.: Mining Activity Clusters from Low-level Event Logs. BETA Working Paper Series, WP 165, Eindhoven University of Technology, Eindhoven (2006)"},{"key":"15_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/11678564_15","volume-title":"Business Process Management Workshops","author":"A. Rozinat","year":"2006","unstructured":"Rozinat, A., van der Aalst, W.: Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models. In: Bussler, C.J., Haller, A. (eds.) BPM 2005. LNCS, vol.\u00a03812, pp. 163\u2013176. Springer, Heidelberg (2006)"},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"van der Aalst, W., Beer, H., Dongen, B.: Process Mining and Verification of Properties: An Approach based on Temporal Logic. BETA Working Paper Series, WP 136, Eindhoven University of Technology, Eindhoven (2005)","DOI":"10.1007\/11575771_11"}],"container-title":["Lecture Notes in Computer Science","Software Process Dynamics and Agility"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72426-1_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T02:03:25Z","timestamp":1556589805000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72426-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540724254","9783540724261"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72426-1_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007]]}}}