Discovering colored Petri nets from event logs

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’04). Caise’04 Workshops, vol. 2, pp. 138–145. Riga Technical University (2004)

van der Aalst W.M.P., and ter Hofstede A.H.M. (2005). YAWL: yet another workflow language. Inform. Syst. 30(4): 245–275

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–593

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–732

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–267

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)

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–1142

Agrawal, R., Gunopulos, D., Leymann, F.: Mining process models from workflow logs. In: Sixth International Conference on Extending Database Technology, pp. 469–483, 1998

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–249

CPN Group, Aarhus, Denmark. CPN Tools Help Pages. http://wiki.daimi.au.dk/cpntools-help/

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–156. University of Aarhus, Denmark, 2006

Grigori D., Casati F., Castellanos M., Dayal U., Sayal M. and Shan M.-C. (2004). Business process intelligence. Comput. Indus. 53(3): 321–343

Günther, 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–92. Springer, Berlin (2006)

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–194. Springer, Berlin (2000)

Hornix, P.T.G.: Performance analysis of business processes through process mining. Master’s Thesis, Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands, 2007

Jensen K. (1997). Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Springer, Heidelberg

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–4): 213–254

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–16. University of Aarhus, Denmark (2006)

Alves de Medeiros, A.K., Günther, 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–190 (2005)

Mitchell T.M. (1997). Machine Learning. McGraw-Hill, New York

Quinlan J.R. (1993). C4.5: Programs for Machine Learning. Morgan Kaufmann, San Fransisco

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 al. (eds.) Business Process Management 2005 Workshops. Lecture Notes in Computer Science, vol. 3812, pp. 163–176. Springer, Berlin (2006)

Rozinat, A., van der Aalst, W.M.P.: Decision mining in business processes. BPM Center Report BPM-06-10, BPMcenter.org (2006)

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–425. Springer, Berlin

Rozinat, A., de Jong, I.S.M., Günther, 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)

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–76. University of Aarhus, Denmark (2006)

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–462. Springer, Heidelberg (2003)

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–162

Witten I.H. and Frank E. (2005). Data Mining: Practical Machine Learning Tools and Techniques, 2nd edn. Morgan Kaufmann, San Fransisco