{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,17]],"date-time":"2026-06-17T00:00:01Z","timestamp":1781654401789,"version":"3.54.5"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2007,9,11]],"date-time":"2007-09-11T00:00:00Z","timestamp":1189468800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/2.0"},{"start":{"date-parts":[[2007,9,11]],"date-time":"2007-09-11T00:00:00Z","timestamp":1189468800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/2.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transf"],"published-print":{"date-parts":[[2008,1]]},"DOI":"10.1007\/s10009-007-0051-0","type":"journal-article","created":{"date-parts":[[2007,9,10]],"date-time":"2007-09-10T05:28:43Z","timestamp":1189402123000},"page":"57-74","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":52,"title":["Discovering colored Petri nets from event logs"],"prefix":"10.1007","volume":"10","author":[{"given":"A.","family":"Rozinat","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"R. S.","family":"Mans","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M.","family":"Song","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"W. M. P.","family":"van der Aalst","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2007,9,11]]},"reference":[{"key":"51_CR1","unstructured":"van der Aalst, W.M.P.: Business alignment: using process mining as a tool for delta analysis. In: Grundspenkis, J., Kirikova, M. (eds.) Proceedings of the 5th Workshop on Business Process Modeling, Development and Support (BPMDS\u201904). Caise\u201904 Workshops, vol. 2, pp. 138\u2013145. Riga Technical University (2004)"},{"issue":"4","key":"51_CR2","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","volume":"30","author":"W.M.P. van der Aalst","year":"2005","unstructured":"van der Aalst W.M.P., and ter Hofstede A.H.M.   (2005). YAWL: yet another workflow language. Inform. Syst. 30(4): 245\u2013275","journal-title":"Inform. Syst."},{"issue":"6","key":"51_CR3","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1007\/s10606-005-9005-9","volume":"14","author":"W.M.P. van der Aalst","year":"2005","unstructured":"van der Aalst W.M.P., Reijers H.A. and Song M. (2005). Discovering social networks from event logs. Comput. Suppor. Cooper. Work 14(6): 549\u2013593","journal-title":"Comput. Suppor. Cooper. Work"},{"issue":"5","key":"51_CR4","doi-asserted-by":"publisher","first-page":"713","DOI":"10.1016\/j.is.2006.05.003","volume":"32","author":"W.M.P. van der Aalst","year":"2007","unstructured":"Reijers H.A., Weijters A.J.M.M., Alves de Medeiros A.K., Song M., Verbeek H.M.W., van der Aalst W.M.P. and Dongen B.F. (2007). Business process mining: an industrial application. Inform. Syst. 32(5): 713\u2013732","journal-title":"Inform. Syst."},{"issue":"2","key":"51_CR5","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/S0169-023X(03)00066-1","volume":"47","author":"W.M.P. van der Aalst","year":"2003","unstructured":"van der Aalst W.M.P. van Dongen B.F. Herbst J., Maruster L., Schimm G., and Weijters A.J.M.M., (2003). Workflow mining: a survey of issues and approaches. Data Knowl. Eng. 47(2): 237\u2013267","journal-title":"Data Knowl. Eng."},{"key":"51_CR6","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., Weijters, A.J.M.M. (eds.) Process Mining. Special Issue of Computers in Industry, vol. 53, no. 3. Elsevier Science Publishers, Amsterdam (2004)","DOI":"10.1016\/j.compind.2003.10.001"},{"issue":"9","key":"51_CR7","doi-asserted-by":"publisher","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"W.M.P. van der Aalst","year":"2004","unstructured":"Weijters A.J.M.M., Maruster L. and van der Aalst W.M.P. (2004). Workflow mining: discovering process models from event logs. IEEE Trans. Knowl. Data Eng. 16(9): 1128\u20131142","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"51_CR8","doi-asserted-by":"crossref","unstructured":"Agrawal, R., Gunopulos, D., Leymann, F.: Mining process models from workflow logs. In: Sixth International Conference on Extending Database Technology, pp. 469\u2013483, 1998","DOI":"10.1007\/BFb0101003"},{"issue":"3","key":"51_CR9","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1145\/287000.287001","volume":"7","author":"J.E. Cook","year":"1998","unstructured":"Cook J.E. and Wolf A.L. (1998). Discovering models of software processes from event-based data. ACM Trans. Software Eng. Methodol. 7(3): 215\u2013249","journal-title":"ACM Trans. Software Eng. Methodol."},{"key":"51_CR10","unstructured":"CPN Group, Aarhus, Denmark. CPN Tools Help Pages. http:\/\/wiki.daimi.au.dk\/cpntools-help\/"},{"key":"51_CR11","doi-asserted-by":"crossref","unstructured":"Gottschalk, F., van der Aalst, W.M.P., Jansen-Vullers, M.H., Verbeek, H.M.W.: Protos2CPN: using colored Petri nets for configuring and testing business processes. In: Jensen, K. (ed.) Proceedings of the Seventh Workshop on the Practical Use of Coloured Petri Nets and CPN Tools, pp. 137\u2013156. University of Aarhus, Denmark, 2006","DOI":"10.1007\/s10009-007-0055-9"},{"issue":"3","key":"51_CR12","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/j.compind.2003.10.007","volume":"53","author":"D. Grigori","year":"2004","unstructured":"Grigori D., Casati F., Castellanos M., Dayal U., Sayal M. and Shan M.-C. (2004). Business process intelligence. Comput. Indus. 53(3): 321\u2013343","journal-title":"Comput. Indus."},{"key":"51_CR13","doi-asserted-by":"crossref","unstructured":"G\u00fcnther, C.W., van der Aalst, W.M.P.: A generic import framework for process event logs. In: Eder, J., Dustdar, S. (eds.) Business Process Management Workshops, Workshop on Business Process Intelligence (BPI 2006). Lecture Notes in Computer Science, vol. 4103, pp. 81\u201392. Springer, Berlin (2006)","DOI":"10.1007\/11837862_10"},{"key":"51_CR14","doi-asserted-by":"crossref","unstructured":"Herbst, J.: A machine learning approach to workflow management. In: Proceedings 11th European Conference on Machine Learning. Lecture Notes in Computer Science, vol. 1810, pp. 183\u2013194. Springer, Berlin (2000)","DOI":"10.1007\/3-540-45164-1_19"},{"key":"51_CR15","unstructured":"Hornix, P.T.G.: Performance analysis of business processes through process mining. Master\u2019s Thesis, Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands, 2007"},{"key":"51_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-60794-3","volume-title":"Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use","author":"K. Jensen","year":"1997","unstructured":"Jensen K. (1997). Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Springer, Heidelberg"},{"issue":"3\u20134","key":"51_CR17","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. and Wells L. (2007). Coloured Petri nets and CPN Tools for modelling and validation of concurrent systems. Software Tools Technol. Transf. (STTT) 9(3\u20134): 213\u2013254","journal-title":"Software Tools Technol. Transf. (STTT)"},{"key":"51_CR18","unstructured":"Kristensen, L.M., Mechlenborg, P., Zhang, L., Mitchell, B., Gallasch, G.E.: Modelbased development of a course of action scheduling tool. In: Jensen, K. (ed.) Proceedings of the Seventh Workshop on the Practical Use of Coloured Petri Nets and CPN Tools, pp. 1\u201316. University of Aarhus, Denmark (2006)"},{"key":"51_CR19","unstructured":"Alves de Medeiros, A.K., G\u00fcnther, C.W.: Process mining: using CPN Tools to create test logs for mining algorithms. In: Jensen, K. (ed.) Proceedings of the Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pp. 177\u2013190 (2005)"},{"key":"51_CR20","volume-title":"Machine Learning","author":"T.M. Mitchell","year":"1997","unstructured":"Mitchell T.M. (1997). Machine Learning. McGraw-Hill, New York"},{"key":"51_CR21","volume-title":"C4.5: Programs for Machine Learning","author":"J.R. Quinlan","year":"1993","unstructured":"Quinlan J.R. (1993). C4.5: Programs for Machine Learning. Morgan Kaufmann, San Fransisco"},{"key":"51_CR22","doi-asserted-by":"crossref","unstructured":"Rozinat, A., van der Aalst, W.M.P.: Conformance testing: measuring the fit and appropriateness of event logs and process models. In: Bussler, C. et\u00a0al. (eds.) Business Process Management 2005 Workshops. Lecture Notes in Computer Science, vol. 3812, pp. 163\u2013176. Springer, Berlin (2006)","DOI":"10.1007\/11678564_15"},{"key":"51_CR23","doi-asserted-by":"crossref","unstructured":"Rozinat, A., van der Aalst, W.M.P.: Decision mining in business processes. BPM Center Report BPM-06-10, BPMcenter.org (2006)","DOI":"10.1007\/11841760_33"},{"key":"51_CR24","first-page":"420","volume-title":"BPM 2006. Lecture Notes in Computer Science, vol. 4102","author":"A. Rozinat","year":"2006","unstructured":"Rozinat A. and van der Aalst W.M.P. (2006). Decision mining in ProM. In: Dustdar, S., Fiadeiro, J.L. and Sheth, A. (eds) BPM 2006. Lecture Notes in Computer Science, vol. 4102, pp 420\u2013425. Springer, Berlin"},{"key":"51_CR25","unstructured":"Rozinat, A., de Jong, I.S.M., G\u00fcnther, C.W., van der Aalst, W.M.P.: Process mining of test processes: a case study. BETA Working Paper Series, WP 220, Eindhoven University of Technology, Eindhoven (2007)"},{"key":"51_CR26","unstructured":"Rozinat, A., Mans, R.S., van der Aalst, W.M.P.: Mining CPN models: discovering process models with data from event logs. In: Jensen, K. (ed.) Proceedings of the Seventh Workshop on the Practical Use of Coloured Petri Nets and CPN Tools, pp. 57\u201376. University of Aarhus, Denmark (2006)"},{"key":"51_CR27","doi-asserted-by":"crossref","unstructured":"Vinter Ratzer, A., Wells, L., Lassen, H.M., Laursen, M., Qvortrup, J.F., Stissing, M.S., Westergaard, M., Christensen, S., Jensen, K.: CPN Tools for editing, simulating, and analysing coloured Petri nets. In: van der Aalst, W.M.P., Best, E. (eds.) Applications and Theory of Petri Nets 2003: 24th International Conference, ICATPN 2003. Lecture Notes in Computer Science, vol. 2679, pp. 450\u2013462. Springer, Heidelberg (2003)","DOI":"10.1007\/3-540-44919-1_28"},{"issue":"2","key":"51_CR28","doi-asserted-by":"crossref","first-page":"151","DOI":"10.3233\/ICA-2003-10205","volume":"10","author":"A.J.M.M. Weijters","year":"2003","unstructured":"Weijters A.J.M.M. and van der Aalst W.M.P. (2003). Rediscovering workflow models from event-based data using Little Thumb. Integr. Comput. Aided Eng. 10(2): 151\u2013162","journal-title":"Integr. Comput. Aided Eng."},{"key":"51_CR29","volume-title":"Data Mining: Practical Machine Learning Tools and Techniques, 2nd edn","author":"I.H. Witten","year":"2005","unstructured":"Witten I.H. and Frank E. (2005). Data Mining: Practical Machine Learning Tools and Techniques, 2nd edn. Morgan Kaufmann, San Fransisco"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-007-0051-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-007-0051-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-007-0051-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-007-0051-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,31]],"date-time":"2021-08-31T18:58:43Z","timestamp":1630436323000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-007-0051-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9,11]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2008,1]]}},"alternative-id":["51"],"URL":"https:\/\/doi.org\/10.1007\/s10009-007-0051-0","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,9,11]]},"assertion":[{"value":"11 September 2007","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}