Discovery of cancellation regions within process mining techniques

CEUR Workshop Proceedings

Volumn 1032, Issue , 2013, Pages 232-244

  Kalenkova, A A ^a,b   Lomazova, I A ^a,b  

^a NATIONAL RESEARCH UNIVERSITY HIGHER SCHOOL OF ECONOMICS   (Russian Federation)

^b PROGRAM SYSTEMS INSTITUTE   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

FLOW STRUCTURE; MODEL CHECKING; PETRI NETS; SPECIFICATIONS;

CONTROL-FLOW STRUCTURES; LIFE EVENTS; PROCESS DISCOVERY; PROCESS MINING; RESET ARCS; STATE BASED; TRANSITION SYSTEM; WORKFLOW NETS;

DATA MINING;

EID: 84924804286     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. W.M.P. van der Aalst Discovery, Conformance and Enhancement of Business Processes. Springer-Verlag, Berlin, 2011.
2. Object Management Group Business Process Modeling Notation (BPMN) Version 2.0, OMG Final Adopted Specification. Object Management Group, 2011.
3. W.M.P. van der Aalst and A.H.M. ter Hofstede YAWL: Yet another workflow language. Information Systems. Vol. 30, Nr. 4, pages 245-275. 2005.
4. W.M.P. van der Aalst, K.M. van Hee, A.H.M. ter Hofstede, N. Sidorova, H.M.W. Verbeek, M Voorhoeve, M.T. Wynn Soundness of Workflow Nets with Reset Arcs. Transactions on Petri Nets and Other Models of Concurrency. Vol. 3, pages 50-70. 2005.
5. W.M.P. van der Aalst Discovery, Verification and Conformance of Workflows with Cancellation. In 4th International Conference, ICGT 2008, Vol. 5214 of Lecture Notes in Computer Science, pages 18-37. Springer, 2008.
6. W.M.P. van der Aalst, V. Rubin, B.F. van Dongen, E. Kindler, and C.W. Günther. Process Mining: A Two-Step Approach using Transition Systems and Regions. BPM Center Report BPM-06-30, BPMcenter.org, 2006.
7. M. Nielsen, G. Rozenberg, and P.S. Thiagarajan. Elementary transition systems. Theoretical computer science. Vol. 96, pages 3-33. 1992.
8. J. Cortadella, M. Kishinevsky, L. Lavagno, and A. Yakovlev. Synthesizing Petri nets from state-based models. Technical Report RR 95/09 UPC/DAC, Universitat Politecnica de Catalunya, April 1995.
9. J. Cortadella, M. Kishinevsky, L. Lavagno, and A. Yakovlev. Deriving Petri Nets from Finite Transition Systems. IEEE Transactions on Computers. Vol. 47, Nr. 8, pages 859-882. 1998.
10. B.F. van Dongen, A.K. Alves de Medeiros, H.M.W. Verbeek, A.J.M.M. Weijters, and W.M.P. van der Aalst. The ProM framework: A New Era in Process Mining Tool Support. In G. Ciardo and P. Darondeau, editors, Application and Theory of Petri Nets, Vol. 3536 of Lecture Notes in Computer Science, pages 444-454. Springer-Verlag, Berlin, 2005.