Discovery of cancellation regions within process mining techniques

Fundamenta Informaticae

Volumn 133, Issue 2-3, 2014, Pages 197-209

  Kalenkova, Anna A ^a   Lomazova, Irina A ^a  

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

Author keywords

[No Author keywords available]

Indexed keywords

FLOW STRUCTURE; MODEL CHECKING; PETRI NETS;

CONTROL-FLOW STRUCTURES; EVENT LOGS; PROCESS DISCOVERY; PROCESS MINING; RESET ARCS; TRANSITION SYSTEM; WORKFLOW NETS;

DATA MINING;

EID: 84907671447     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/FI-2014-1071     Document Type: Conference Paper

References (11)

1. W.M.P. Van Der Aalst. Discovery, Conformance and Enhancement of Business Processes. Springer-Verlag, Berlin, 2011
2. 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, pp. 18-37, Springer, 2008
3. 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
4. W.M.P. Van Der Aalst and A.H.M. ter Hofstede. YAWL: Yet another workflow language. Information Systems, vol. 30(4), pp. 245-275, 2005
5. 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, pp. 50-70, 2005
6. J. Cortadella, M. Kishinevsky, L. Lavagno, and A. Yakovlev. Deriving Petri Nets from Finite Transition Systems. IEEE Transactions on Computers, vol. 47(8), pp. 859-882, 1998
7. 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
8. 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, pp. 444-454, Springer, 2005
9. A.A. Kalenkova and I.A. Lomazova. Discovery of cancellation regions within process mining techniques. In CS&P-2013, volume 1032 of CEUR Workshop Proceedings, pp. 232-244, CEUR-WS.org, 2013
10. M. Nielsen, G. Rozenberg, and P.S. Thiagarajan. Elementary transition systems. Theoretical computer science, vol. 96, pp. 3-33, 1992
11. Object Management Group. Business Process Modeling Notation (BPMN) Version 2.0, OMG Final Adopted Specification. Object Management Group, 2011