Диссертация (1137084), страница 41
Текст из файла (страница 41)
Decomposed Replay Using Hiding and Reduction as Abstraction // LNCSTransactions on Petri Nets and Other Models of Concurrency (ToPNoC). — 2017. — Vol.XII. — Pp. 166–186.179137. Munoz-Gama Jorge. Conformance Checking and Diagnosis in Process Mining - ComparingObserved and Modeled Processes. — Springer, 2016. — Vol.
270 of Lecture Notes in BusinessInformation Processing.138. Polyvyanyy A., Vanhatalo J., Völzer H. Simplified Computation and Generalization of theRefined Process Structure Tree // WS-FM 2010 / Ed. by M. Bravetti, T. Bultan. — Vol. 6551of Lecture Notes in Computer Science. — Springer-Verlag, Berlin, 2011. — Pp.
25–41.139. Johnson Richard, Pearson David, Pingali Keshav. The Program Structure Tree: ComputingControl Regions in Linear Time // Proceedings of the ACM SIGPLAN 1994 Conference onProgramming Language Design and Implementation.
— PLDI ’94. — New York, NY, USA:ACM, 1994. — Pp. 171–185.140. Hopcroft John E., Tarjan Robert E. Dividing a Graph into Triconnected Components //SIAM J. Comput. — 1973. — Vol. 2. — Pp. 135–158.141. Event-Based Real-Time Decomposed Conformance Analysis / Seppe K. L. M. vanden Broucke, Jorge Munoz-Gama, Josep Carmona et al. // OTM Conferences. — Vol.
8841 of LectureNotes in Computer Science. — Springer, 2014. — Pp. 345–363.142. Raichelson Lihi, Soffer Pnina, Verbeek H. M. W. Merging event logs: Combining granularitylevels for process flow analysis // Information Systems. — 2017. — November. — Vol. 71. —Pp. 211–227.143. Leemans S. J. J. Robust process mining with guarantees: Ph.D. thesis / Department ofMathematics and Computer Science. — Technische Universiteit Eindhoven, 2017. — 5. —Proefschrift.144. van der Aalst Wil M. P.
Business Process Simulation Survival Guide // Handbook on Business Process Management (1). — Springer, 2015. — International Handbooks on InformationSystems. — Pp. 337–370.145. Chapter 17: Process Mining and Simulation / M. Wynn, A. Rozinat, W. M. P.
van der Aalstet al. // Modern Business Process Automation: YAWL and its Support Environment. —Springer-Verlag, Berlin, 2010. — Pp. 437–457.146. Alves de Medeiros A. K., Günther C. W. Process Mining: Using CPN Tools to Create TestLogs for Mining Algorithms // Proceedings of the Sixth Workshop on the Practical Use ofColoured Petri Nets and CPN Tools (CPN 2005) / Ed. by K. Jensen. — Vol. 576 of DAIMI.— Aarhus, Denmark: University of Aarhus, 2005. — October. — Pp. 177–190.147. Zäuram M. — Business Process Simulation Using Coloured Petri Nets.
— Master’s thesis,University of Tartu, Estonia, 2010.180148. Ramadan M., Elmongui H., Hassan R. BPMN Formalisation Using Coloured Petri Nets //The 2nd GSTF Annual International Conference on Software Engineering & Applications(SEA’11). — 2011.149. Zeigler Bernard. Hierarchical, Modular Discrete-event Modelling in an Object-oriented Environment // Simulation. — 1987.
— Vol. 49, no. 5. — Pp. 219–230.150. Cetinkaya Deniz, Verbraeck Alexander, Seck Mamadou D. Model Transformation fromBPMN to DEVS in the MDD4MS Framework // Proceedings of the 2012 Symposium onTheory of Modeling and Simulation - DEVS Integrative M&S Symposium. — TMS/DEVS ’12. — San Diego, CA, USA: Society for Computer Simulation International, 2012. —Pp. 28:1–28:6.151. Business Process Simulation: Transformation of BPMN 2.0 to DEVS Models (WIP) / Hassan Bazoun, Youssef Bouanan, Gregory Zacharewicz et al.
// Proceedings of the Symposiumon Theory of Modeling & Simulation - DEVS Integrative. — DEVS ’14. — San Diego, CA,USA: Society for Computer Simulation International, 2014. — Pp. 20:1–20:7.152. Boukelkoul S., Maamri R. Optimal model transformation of BPMN to DEVS // 2015IEEE/ACS 12th International Conference of Computer Systems and Applications (AICCSA). — 2015. — Nov. — Pp. 1–8.153. Burattin A., Sperduti A. PLG: A Framework for the Generation of Business Process Modelsand their Execution Logs // BPM 2010 Workshops, Proceedings of the Sixth Workshop onBusiness Process Intelligence (BPI2010) / Ed. by J.
Su, M. zur Muehlen. — Vol. 66 of LectureNotes in Business Information Processing. — Springer-Verlag, Berlin, 2011.154. Burattin A. PLG2: Multiperspective Processes Randomization and Simulation for Onlineand Offline Settings // CoRR. — 2015. — Vol. abs/1506.08415.155. Workflow Patterns / W. M. P. van der Aalst, A. H. M. ter Hofstede, B. Kiepuszewski,A.
P. Barros // Distributed and Parallel Databases. — 2003. — Vol. 14, no. 1. — Pp. 5–51.156. Kataeva V. M., Kalenkova A. A. Applying Graph Grammars for the Generation of Process Models and Their Logs // Proceedings of the 8th Spring/Summer Young ResearchersColloquium on Software Engineering (SYRCoSE 2014).
— 2014. — Pp. 83–87.157. Stocker T., Accorsi R. SecSy: Security-Aware Synthesis of Process Event Logs // Proceedings of the 5th International Workshop on Enterprise Modelling and Information SystemsArchitectures. — St. Gallen, Switzerland: 2013.158. Jouck Toon, Swennen Marijke, Depaire Benoı̂t. A Methodology for Generating ArtificialEvent Logs to Compare Process Discovery Techniques // SIMPDA. — Vol.
1293 of CEURWorkshop Proceedings. — CEUR-WS.org, 2014. — Pp. 174–178.181159. Jouck Toon, Depaire Benoı̂t. PTandLogGenerator: A Generator for Artificial Event Data //BPM (Demos). — Vol. 1789 of CEUR Workshop Proceedings. — CEUR-WS.org, 2016. —Pp. 23–27.160. Discovering simulation models / Anne Rozinat, R. S. Mans, Minseok Song, WilM. P. van der Aalst // Inf. Syst. — 2009.
— Vol. 34, no. 3. — Pp. 305–327.161. Workflow simulation for operational decision support / Anne Rozinat, Moe Thandar Wynn,Wil M. P. van der Aalst et al. // Data Knowl. Eng. — 2009. — Vol. 68, no. 9. — Pp. 834–850.162. van Hee Kees, Liu Zheng, Sidorova Natalia. Is my event log complete? - A probabilisticapproach to process mining // RCIS. — IEEE, 2011. — Pp. 1–7.163. RT-PLG: Real Time Process Log Generator / Bernardo Nugroho Yahya, Yohanes Khosiawan,Woosik Choi, Ngoc Anh Dung Do // ISAT (3). — Vol.
431 of Advances in Intelligent Systemsand Computing. — Springer, 2015. — Pp. 127–138.164. OMG. Business Process Model and Notation (BPMN). — Object Management Group,formal/2011-01-03. — 2011.165. Kalenkova A. A., de Leoni M., van der Aalst W. M.
P. Discovering, Analyzing and EnhancingBPMN Models Using ProM // Proceedings of the BPM Demo Sessions 2014 Co-located withthe 12th International Conference on Business Process Management (BPM 2014), Eindhoven,The Netherlands, September 10, 2014. — Vol. 1295 of CEUR Workshop Proceedings. —CEUR-WS.org, 2014. — P. 36.166. Process Mining Using BPMN: Relating Event Logs and Process Models / A. A. Kalenkova,W. M. P. van der Aalst, I. A. Lomazova, V. A.
Rubin // Software & Systems Modeling. —2015. — Pp. 1–30.167. Kalenkova A. A. Learning high-level process models from event data: Ph.D. thesis / Department of Mathematics and Computer Science. — Technische Universiteit Eindhoven, 2018. —6. — Proefschrift.168. zur Muehlen M., Recker J. How Much Language Is Enough? Theoretical and Practical Useof the Business Process Modeling Notation // Seminal Contributions to Information SystemsEngineering.
— Springer, 2013. — Pp. 429–443.169. Dijkman R. M., Dumas M., Ouyang C. Semantics and analysis of business process models inBPMN // Information & Software Technology. — 2008. — Vol. 50, no. 12. — Pp. 1281–1294.170. Kheldoun A., Barkaoui K., Ioualalen M. Specification and Verification of Complex BusinessProcesses - A High-Level Petri Net-Based Approach // BPM. — Vol. 9253 of Lecture Notesin Computer Science. — Springer, 2015. — Pp.
55–71.182171. Formal Semantics of BPMN Process Models Using YAWL / J. Ye, S. Sun, W. Song, L. Wen //Intelligent Information Technology Application, 2008. IITA ’08. Second International Symposium on. — Vol. 2. — 2008. — Dec. — Pp. 70–74.172. Kalenkova A. A., Lomazova I. A. Discovery of Cancellation Regions within Process MiningTechniques // Fundam. Inform. — 2014. — Vol. 133, no.
2-3. — Pp. 197–209.173. IEEE Task Force on Process Mining. XES Standard Definition. — www.xes-standard.org. —2013.174. Shershakov Sergey. DPMine/P // Proceedings of the 9th Central Eastern European SoftwareEngineering Conference in Russia on — CEE–SECR 13. — ACM Press, 2013.175. Shershakov Sergey.
DPMine graphical language for automation of experiments in processmining // Automatic Control and Computer Sciences. — 2016. — Vol. 50, no. 7. — Pp. 477–485.176. Mans Ronny, van der Aalst Wil M. P., Verbeek H. M. W. (Eric). Supporting Process MiningWorkflows with RapidProM // BPM (Demos). — Vol. 1295 of CEUR Workshop Proceedings.— CEUR-WS.org, 2014.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
