Region-based foldings in process discovery

IEEE Transactions on Knowledge and Data Engineering

Volumn 25, Issue 1, 2013, Pages 192-205

  Solé, Marc ^a   Carmona, Josep ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

Process discovery; region theory; transition system folding

Indexed keywords

CENTRAL PROBLEMS; CYCLE DETECTION; FOLDINGS; FORMAL MODEL; IN-PROCESS; INDUSTRIAL SCENARIOS; PROCESS DISCOVERY; PROCESS MINING; REGION INFORMATION; REGION THEORY; REGION-BASED; THEORY OF REGIONS; TRANSITION SYSTEM;

DATA MINING; PETRI NETS;

AUTOMATA THEORY;

EID: 84870430898     PISSN: 10414347     EISSN: None     Source Type: Journal    
DOI: 10.1109/TKDE.2011.192     Document Type: Article

References (36)

1. W. van der Aalst, H. Reijers, and M. Song, "Discovering Social Networks from Event Logs," Computer Supported Cooperative Work, vol. 14, no. 6, pp. 549-593, 2005. (Pubitemid 41813452)
2. W. van der Aalst, T. Weijters, and L. Maruster, "Workflow Mining: Discovering Process Models from Event Logs," IEEE Trans. Knowledge Data Eng., vol. 16, no. 9, pp. 1128-1142, Sept. 2004.
3. A. de Medeiros, W. van der Aalst, and A. Weijters, "Workflow Mining: Current Status and Future Directions," Proc. On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, pp. 389-406, 2003.
4. L. Wen, W. van der Aalst, J. Wang, and J. Sun, "Mining Process Models with Non-Free-Choice Constructs," Data Mining and Knowledge Discovery, vol. 15, no. 2, pp. 145-180, 2007. (Pubitemid 47293485)
5. W. van der Aalst, A. de Medeiros, and A. Weijters, "Genetic Process Mining," Proc. 26th Int'l Conf. Applications and Theory of Petri Nets (ICATPN), pp. 48-69, 2005. (Pubitemid 41422005)
6. A. Ehrenfeucht and G. Rozenberg, "Partial (Set) 2-Structures. Part I, II," Acta Informatica, vol. 27, pp. 315-368, 1990.
7. E. Badouel, L. Bernardinello, and P. Darondeau, "Polynomial Algorithms for the Synthesis of Bounded Nets," Proc. Sixth Int'l Joint Conf. CAAP/FASE on Theory and Practice of Software Development, pp. 364-383, 1995.
8. R. Bergenthum, J. Desel, R. Lorenz, and S. Mauser, "Synthesis of Petri Nets from Finite Partial Languages," Fundamental Information, vol. 88, no. 4, pp. 437-468, 2008.
9. J. Cortadella, M. Kishinevsky, L. Lavagno, and A. Yakovlev, "Deriving Petri Nets from Finite Transition Systems," IEEE Trans. Computers, vol. 47, no. 8, pp. 859-882, Aug. 1998. (Pubitemid 128738520)
10. J. Carmona, J. Cortadella, and M. Kishinevsky, "New Region- Based Algorithms for Deriving Bounded Petri Nets," IEEE Trans. Computers, vol. 59, no. 3, pp. 371-384, Mar. 2010.
11. H. Verbeek, A. Pretorius, W. van der Aalst, and J. van Wijk, "On Petri-Net Synthesis and Attribute-Based Visualization," Proc. Workshop Petri Nets and Software Eng. (PNSE), pp. 127- 141, 2007.
12. W. van der Aalst, V. Rubin, H. Verbeek, B. van Dongen, E. Kindler, and C. Günther, "Process Mining: A Two-Step Approach to Balance between Underfitting and Overfitting," Software and Systems Modeling, vol. 9, pp. 87-111, 2010.
13. J. Carmona, J. Cortadella, and M. Kishinevsky, "A Region-Based Algorithm for Discovering Petri Nets from Event Logs," Proc. Sixth Int'l Conf. Business Process Management (BPM), pp. 358-373, 2008.
14. R. Bergenthum, J. Desel, R. Lorenz, and S. Mauser, "Process Mining Based on Regions of Languages," Proc. Fifth Int'l Conf. Business Process Management (BPM), pp. 375-383, 2007.
15. J. van der Werf, B. van Dongen, C. Hurkens, and A. Serebrenik, "Process Discovery Using Integer Linear Programming," Proc. 29th Int'l Conf. Applications and Theory of Petri Nets, pp. 368-387, 2008.
16. M. Solé and J. Carmona, "Process Mining from a Basis of State Regions," Proc. 31st Int'l Conf. Applications and Theory of Petri Nets (ATPN), pp. 226-245, 2010.
17. T. Murata, "Petri Nets: Properties, Analysis and Applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
18. J. Desel and W. Reisig, "The Synthesis Problem of Petri Nets," Acta Informatica, vol. 33, no. 4, pp. 297-315, 1996. (Pubitemid 126331525)
19. M. Mukund, "Petri Nets and Step Transition Systems," Foundations of Comp. Science, vol. 3, no. 4, pp. 443-478, 1992.
20. L. Bernardinello, G.D. Michelis, K. Petruni, and S. Vigna, "On the Synchronic Structure of Transition Systems," Proc. Int'l Workshop Structures in Concurrency Theory, pp. 69-84, 1995.
21. N. Busi and G.M. Pinna, "Process Discovery and Petri Nets," Math. Structures in Computer Science, vol. 19, no. Special Issue 06, pp. 1091-1124, 2009.
22. E. Badouel and P. Darondeau, "Theory of Regions," Lectures on Petri Nets I: Basic Models, pp. 529-586, Springer, 1998. (Pubitemid 128165820)
23. J. Jansson and Z. Peng, "Online and Dynamic Recognition of Squarefree Strings," Math. Foundation of Comp. Science, vol. 3618/ 2005, pp. 520-531, 2005. (Pubitemid 41449526)
24. R. Kolpakov and G. Kucherov, "Finding Maximal Repetitions in a Word in Linear Time," Proc. 40th Ann. Symp. Foundations of Computer Science, pp. 596-604, 1999. (Pubitemid 30539948)
25. M.G. Main and R.J. Lorentz, "An o(n log n) Algorithm for Finding all Repetitions in a String," J. Algorithms, vol. 5, no. 3, pp. 422-432, 1984.
26. A. Apostolico and F.P. Preparata, "Optimal Off-Line Detection of Repetitions in a String," Theoretical Computer Science, vol. 22, no. 3, pp. 297-315, 1983.
27. M. Crochemore, "Transducers and Repetitions," Theoretical Computer Science, vol. 45, pp. 63-86, 1986.
28. D. Gusfield and J. Stoye, "Linear Time Algorithms for Finding and Representing all the Tandem Repeats in a String," J. Computer and System Sciences, vol. 69, no. 4, pp. 525-546, 2004.
29. R. Jagadeesh Chandra Bose and W. van der Aalst, "Abstractions in Process Mining: A Taxonomy of Patterns," Business Process Management, vol. 5701, pp. 159-175, 2009.
30. R.P.J.C. Bose and W.M.P. van der Aalst, "Context Aware Trace Clustering: Towards Improving Process Mining Results," Proc. SIAM Int'l Conf. Data Mining (SDM), pp. 401-412, 2009.
31. J. Li, R.P.J.C. Bose, and W.M. van der Aalst, "Mining Context- Dependent and Interactive Business Process Maps Using Execution Patterns," Proc. Sixth Int'l Workshop Business Process Intelligence (BPM), vol. 66, pp. 109-121, 2011.
32. W. van der Aalst, B. van Dongen, C. Günther, R. Mans, A. de Medeiros, A. Rozinat, V. Rubin, M. Song, H. Verbeek, and A. Weijters, "ProM 4.0: Comprehensive Support for Real Process Analysis," Proc. 28th Int'l Conf. Applications and Theory of Petri Nets and Other Models of Concurrency (ICATPN), pp. 484-494, 2007.
33. M. Solé and J. Carmona, "Region-Based Foldings in Process Discovery," UPC, Technical Report UPC-DAC-RR-GEN-2010-1, 2010.
34. A. Schrijver, Theory of Linear and Integer Programming. John Wiley & Sons, 1986.
35. G. Greco, A. Guzzo, L. Pontieri, and D. Saccà, "Discovering Expressive Process Models by Clustering Log Traces," IEEE Trans. Knowledge Data Eng., vol. 18, no. 8, pp. 1010-1027, Aug. 2006. (Pubitemid 44109532)
36. L. Ghionna, G. Greco, A. Guzzo, and L. Pontieri, "Outlier Detection Techniques for Process Mining Applications," Foundations of Intelligent Systems, vol. 4994, pp. 150-159, 2008. (Pubitemid 351775889)