Диссертация (1137084), страница 40
Текст из файла (страница 40)
182–192.94. Munoz-Gama Jorge, Carmona Josep, van der Aalst Wil M.P. Single-Entry Single-Exit decomposed conformance checking // Information Systems. — 2014. — Vol. 46, no. 0. — Pp. 102– 122.95. Munoz-Gama Jorge. Conformance Checking and Diagnosis in Process Mining - ComparingObserved and Modeled Processes. — Springer, 2016. — Vol. 270 of Lecture Notes in BusinessInformation Processing.96. van Dongen Boudewijn, Carmona Josep, Chatain Thomas. A Unified Approach for Measuring Precision and Generalization Based on Anti-alignments // BPM. — Vol.
9850 of LectureNotes in Computer Science. — Springer, 2016. — Pp. 39–56.97. Begicheva A. K., Lomazova I. A. Does Your Event Log Fit the High-level Process Model? //Modeling and Analysis of Information Systems. — 2015. — jul. — Vol. 22, no. 3. — Pp. 392–403.98. CCaaS: Online Conformance Checking as a Service / Ingo Weber, Andreas Rogge-Solti,Chao Li, Jan Mendling // BPM (Demos).
— Vol. 1418 of CEUR Workshop Proceedings. —CEUR-WS.org, 2015. — Pp. 45–49.99. Measuring precision of modeled behavior / Arya Adriansyah, Jorge Munoz-Gama, Josep Carmona et al. // Inf. Syst. E-Business Management. — 2015. — Vol. 13, no. 1. — Pp. 37–67.100. Burattin Andrea, Maggi Fabrizio Maria, Sperduti Alessandro. Conformance checking basedon multi-perspective declarative process models // Expert Syst. Appl. — 2016.
— Vol. 65. —Pp. 194–211.101. Replay using Recomposition: Alignment-Based Conformance Checking in the Large / WaiLam Jonathan Lee, H. M. W. Verbeek, Jorge Munoz-Gama et al. // Proceedings of the BPMDemo Track and BPM Dissertation Award co-located with 15th International Conference onBusiness Process Modeling (BPM 2017), Barcelona, Spain, September 13, 2017. — 2017.102. Rozinat A., van der Aalst W. M.
P. Conformance Checking of Processes Based on MonitoringReal Behavior // Information Systems. — 2008. — Vol. 33, no. 1. — Pp. 64–95.103. Rozinat A. Process Mining: Conformance and Extension: PhD Thesis / Eindhoven Universityof Technology. — 2010. — November.176104. Munoz-Gama J., Carmona J.
Enhancing Precision in Process Conformance: Stability, Confidence and Severity // IEEE Symposium on Computational Intelligence and Data Mining(CIDM 2011) / Ed. by N. Chawla, I. King, A. Sperduti. — Paris, France: IEEE, 2011. —April. — Pp. 184–191.105.
Munoz-Gama Jorge, Carmona Josep, van der Aalst Wil M. P. Single-Entry Single-Exit decomposed conformance checking // Inf. Syst. — 2014. — Vol. 46. — Pp. 102–122.106. van der Aalst Wil M. P. Relating Process Models and Event Logs - 21 Conformance Propositions // ATAED@Petri Nets/ACSD. — Vol. 2115 of CEUR Workshop Proceedings. —CEUR-WS.org, 2018. — Pp. 56–74.107. The imprecisions of precision measures in process mining / Niek Tax, Xixi Lu, Natalia Sidorova et al. // Inf.
Process. Lett. — 2018. — Vol. 135. — Pp. 1–8.108. Impact-driven process model repair / A. Polyvyanyy, W. M. P. van der Aalst,A. H. M. ter Hofstede, M. T. Wynn // ACM Transactions on Software Engineering andMethodology (TOSEM). — 2016. — July.109. Improving Business Process Models Using Observed Behavior / J. C. A. M.
Buijs, M. La Rosa,H. A. Reijers et al. // IFIP International Symposium on Data-Driven Process Discovery andAnalysis (SIMPDA 2012) / Ed. by P. Cudre-Mauroux, P. Ceravolo, D. Gasevic. — Vol. 162of Lecture Notes in Business Information Processing. — Springer-Verlag, Berlin, 2013. —Pp. 44–59.110. Vanhatalo J., Völzer H., Koehler J. The Refined Process Structure Tree // Data and Knowledge Engineering. — 2009. — Vol. 68, no. 9. — Pp.
793–818.111. Pawlik Mateusz, Augsten Nikolaus. RTED: A Robust Algorithm for the Tree Edit Distance //CoRR. — 2012. — Vol. abs/1201.0230.112. Interactive and Incremental Business Process Model Repair / Abel Armas-Cervantes, N. R.T. P. van Beest, Marcello La Rosa et al. // OTM Conferences (1). — Vol. 10573 of LectureNotes in Computer Science. — Springer, 2017.
— Pp. 53–74.113. Incremental and Interactive Business Process Model Repair in Apromore / Abel ArmasCervantes, N. R. T. P. van Beest, Marcello La Rosa et al. // BPM (Demos). — Vol. 1920 ofCEUR Workshop Proceedings. — CEUR-WS.org, 2017.114. Nielsen Mogens, Plotkin Gordon D., Winskel Glynn. Petri Nets, Event Structures and Domains // Semantics of Concurrent Computation. — Vol.
70 of Lecture Notes in ComputerScience. — Springer, 1979. — Pp. 266–284.177115. Automated Error Correction of Business Process Models / M. Gambini, M. La Rosa, S. Migliorini, A. H. M. ter Hofstede // Business Process Management (BPM 2011) / Ed. by S. Rinderle, F. Toumani, K. Wolf. — Vol. 6896 of Lecture Notes in Computer Science. — SpringerVerlag, Berlin, 2011.
— Pp. 148–165.116. Basile F., Chiacchio P., Coppola J. Model repair of Time Petri Nets with temporal anomalies // IFAC-PapersOnLine. — 2015. — Vol. 48, no. 7. — Pp. 85 – 90. — 5th IFACInternational Workshop on Dependable Control of Discrete Systems.117. Martínez-Araiza Ulises, López-Mellado Ernesto. CTL Model Repair for Bounded and Deadlock Free Petri Nets // IFAC-PapersOnLine.
— 2015. — Vol. 48, no. 7. — Pp. 154 – 160. —5th IFAC International Workshop on Dependable Control of Discrete Systems.118. Clarke Edmund M., Emerson E. Allen. Design and synthesis of synchronization skeletonsusing branching time temporal logic // Logics of Programs / Ed. by Dexter Kozen. — Berlin,Heidelberg: Springer Berlin Heidelberg, 1982. — Pp. 52–71.119. Awad Ahmed, Decker Gero, Lohmann Niels. Diagnosing and Repairing Data Anomalies inProcess Models // Business Process Management Workshops. — Vol. 43 of Lecture Notes inBusiness Information Processing. — Springer, 2009. — Pp.
5–16.120. Improving Process Model Precision by Loop Unrolling / David Sanchez-Charles, Marc Solé,Josep Carmona, Victor Muntés-Mulero // SIMPDA. — Vol. 1757 of CEUR Workshop Proceedings. — CEUR-WS.org, 2016. — Pp. 89–99.121. Sun Yanan, Du Yuyue, Li Maozhen. A Repair of Workflow Models Based on MirroringMatrices // International Journal of Parallel Programming. — 2017. — Vol. 45, no. 4.
—Pp. 1001–1020.122. An Approach for Repairing Process Models Based on Logic Petri Nets / Xize Zhang, Yuyue Du, Liang Qi, Haichun Sun // IEEE Access. — 2018. — Vol. 6. — Pp. 29926–29939.123. An approach to repair Petri net-based process models with choice structures / HongDa Qi,YuYue Du, Liang Qi, Lu Wang // Enterprise Information Systems. — 2018. — Vol. 12, no. 0.— Pp. 1–31.124. Fahland Dirk, van der Aalst Wil M.
P. Simplifying discovered process models in a controlledmanner // Inf. Syst. — 2013. — Vol. 38, no. 4. — Pp. 585–605.125. de San Pedro Javier, Carmona Josep, Cortadella Jordi. Log-Based Simplification of ProcessModels // BPM. — Vol. 9253 of Lecture Notes in Computer Science. — Springer, 2015. —Pp. 457–474.126. van der Aalst Wil M.
P. Decomposing Petri Nets for Process Mining: A Generic Approach //Distributed and Parallel Databases. — 2013. — Vol. 31, no. 4. — Pp. 471–507.178127. van der Aalst Wil M. P., Verbeek H. M. W. Process Discovery and Conformance CheckingUsing Passages // Fundam. Inform. — 2014. — Vol. 131, no. 1. — Pp. 103–138.128. Verbeek H. M. W. Decomposed Process Mining with Divide And Conquer // BPM 2014Demos. — CEUR-WS.org, 2014. — Vol. 1295.
— Pp. 86–90.129. Verbeek H. M. W., Munoz-Gama J., Aalst W. M. P. van der. Divide And Conquer: A ToolFramework for Supporting Decomposed Discovery in Process Mining // The Computer Journal. — 2017. — November. — Vol. 60, no. 11. — Pp.
1649–1674.130. Carmona J., Cortadella J., Kishinevsky M. Divide-and-Conquer Strategies for Process Mining // Business Process Management (BPM 2009) / Ed. by U. Dayal, J. Eder, J. Koehler,H. Reijers. — Vol. 5701 of Lecture Notes in Computer Science. — Springer-Verlag, Berlin,2009. — Pp.
327–343.131. Hompes B. F. A. — On Decomposed Process Discovery: How to Solve a Jigsaw Puzzle withFriends. — Master’s thesis, Eindhoven University of Technology, 2014.132. Hompes B. F. A., Verbeek H. M. W, van der Aalst W. M. P. Finding Suitable ActivityClusters for Decomposed Process Discovery // SIMPDA 2014. — Vol. 1293. — CEURWS.org, 2014. — Pp. 16–30.133. Replay using Recomposition: Alignment-Based Conformance Checking in the Large /W. L. J.
Lee, H. M. W. Verbeek, J. Munoz-Gama et al. // 2017 BPM Demo Track and BPMDissertation Award, BPM-D and DA 2017, co-located with 15th International Conference onBusiness Process Management, BPM 2017 / Ed. by J. Mendling, M. Weske, R. Clariso et al.— Vol. 1920 of CEUR Workshop Proceedings. — Barcelona, Spain: 2017. — September 2017.— Conditionally accepted.134. Verbeek H. M. W. Decomposed Replay using Hiding and Reduction // PNSE 2016 WorkshopProceedings / Ed. by L. Cabac, L. Kristensen, H. Rölke. — Torun, Poland: 2016. — June.
—Accepted for publication.135. Verbeek H. M. W, van der Aalst W. M. P. Merging Alignments for Decomposed Replay //Application and Theory of Petri Nets and Concurrency / Ed. by F Kordon, D. Moldt. —Vol. 9698 of LNCS. — Torun, Poland: Springer International Publishing, 2016. — June. —Pp. 219–239.136. Verbeek H. M. W.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
