Process Model Discovery: A Method Based on Transition System Decomposition
暂无分享,去创建一个
Wil M. P. van der Aalst | Irina A. Lomazova | Wil M.P. van der Aalst | Anna A. Kalenkova | I. Lomazova | A. Kalenkova
[1] Josep Carmona,et al. New Region-Based Algorithms for Deriving Bounded Petri Nets , 2010, IEEE Transactions on Computers.
[2] Mogens Nielsen,et al. TAPSOFT '95: Theory and Practice of Software Development , 1995, Lecture Notes in Computer Science.
[3] Robin Bergenthum,et al. Process Mining Based on Regions of Languages , 2007, BPM.
[4] Josep Carmona,et al. Process Mining from a Basis of State Regions , 2010, Petri Nets.
[5] Josep Carmona,et al. Incremental Process Mining , 2010, ACSD/Petri Nets Workshops.
[6] Boudewijn F. van Dongen,et al. ProM: The Process Mining Toolkit , 2009, BPM.
[7] Wil M. P. van der Aalst,et al. The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..
[8] Andrzej Ehrenfeucht,et al. Partial (set) 2-structures , 1990, Acta Informatica.
[9] Josep Carmona,et al. Divide-and-Conquer Strategies for Process Mining , 2009, BPM.
[10] Philippe Darondeau,et al. Deriving Unbounded Petri Nets from Formal Languages , 1998, CONCUR.
[11] Wil M. P. van der Aalst,et al. Process Mining - Discovery, Conformance and Enhancement of Business Processes , 2011 .
[12] Wil M. P. van der Aalst,et al. Transactions on Petri Nets and Other Models of Concurrency II, Special Issue on Concurrency in Process-Aware Information Systems , 2009, Trans. Petri Nets and Other Models of Concurrency.
[13] Mark von Rosing,et al. Business Process Model and Notation - BPMN , 2015, The Complete Business Process Handbook, Vol. I.
[14] Philippe Darondeau,et al. Polynomial Algorithms for the Synthesis of Bounded Nets , 1995, TAPSOFT.
[15] Boudewijn F. van Dongen,et al. Process Discovery using Integer Linear Programming , 2009, Fundamenta Informaticae.
[16] Wil M. P. van der Aalst,et al. Decomposing Process Mining Problems Using Passages , 2012, Petri Nets.
[17] Wolfgang Reisig,et al. Application and Theory of Petri Nets , 1982, Informatik-Fachberichte.
[18] Boudewijn F. van Dongen,et al. Process mining: a two-step approach to balance between underfitting and overfitting , 2008, Software & Systems Modeling.
[19] Wil M. P. van der Aalst,et al. Decomposing Petri nets for process mining: A generic approach , 2013, Distributed and Parallel Databases.
[20] Luciano Lavagno,et al. Synthesizing Petri nets from state-based models , 1995, ICCAD.
[21] Boudewijn F. van Dongen,et al. ProM 6: The Process Mining Toolkit , 2010, BPM.
[22] Wil M. P. van der Aalst,et al. Design and Implementation of the YAWL System , 2004, CAiSE.
[23] G. G. Stokes. "J." , 1890, The New Yale Book of Quotations.
[24] Robert de Simone,et al. CONCUR'98 Concurrency Theory , 1998, Lecture Notes in Computer Science.
[25] Luciano Lavagno,et al. Deriving Petri Nets for Finite Transition Systems , 1998, IEEE Trans. Computers.
[26] Boudewijn F. van Dongen,et al. Process Mining: Overview and Outlook of Petri Net Discovery Algorithms , 2009, Trans. Petri Nets Other Model. Concurr..
[27] James L. Peterson,et al. Petri Nets , 1977, CSUR.
[28] Jan Mendling,et al. Quality metrics for business process models , 2007 .
[29] Josep Carmona,et al. A Region-Based Algorithm for Discovering Petri Nets from Event Logs , 2008, BPM.
[30] Sebastian Mauser,et al. How to synthesize nets from languages - a survey , 2007, 2007 Winter Simulation Conference.
[31] Irina A. Lomazova,et al. Discovery of Cancellation Regions within Process Mining Techniques , 2014, CS&P.