Диссертация (1137084), страница 38
Текст из файла (страница 38)
— Pp. 459–480.10. Shugurov I. S., Mitsyuk A. A. Iskra: A Tool for Process Model Repair // Proceedings of theInstitute for System Programming of the RAS. — 2015. — Vol. 27, no. 3. — Pp. 237–254.16811. Mitsyuk A. A., Shugurov I.
S. On process model synthesis based on event logs with noise //Automatic Control and Computer Sciences. — 2016. — Vol. 50, no. 7. — Pp. 460–470.12. Мицюк А. А., Шугуров И. С. Синтез моделей процессов по журналам событий сшумом // Моделирование и анализ информационных систем. — 2014. — Vol. 21, no. 4.— Pp. 181–198.13. Mitsyuk A. A. Non-Local Correction of Process Models Using Event Logs // Proceedings ofthe 2017 Ivannikov ISPRAS Open Conference / Los Alamitos : IEEE Computer Society. —2018. — Pp.
6–11.14. Process Model Repair by Detecting Unfitting Fragments / Mitsyuk A. A., Lomazova I. A.,Shugurov I. S., van der Aalst W. M. P. // Supplementary Proceedings of the 6th InternationalConference on Analysis of Images, Social Networks and Texts (AIST-SUP 2017), Moscow,Russia, July 27-29, 2017. — Vol.
1975 of CEUR-WS.org. — CEUR-WS.org, 2017. — Pp. 301–313.15. Shugurov I. S., Mitsyuk A. A. Generation of a Set of Event Logs with Noise // Proceedings ofthe 8th Spring/Summer Young Researchers Colloquium on Software Engineering (SYRCoSE2014). — 2014. — Pp. 88–95.16. Process mining can be applied to software too! / Vladimir A. Rubin, Alexey A. Mitsyuk,Irina A. Lomazova, Wil M. P. van der Aalst // ESEM.
— ACM, 2014. — Pp. 57:1–57:8.17. Nesterov R. A., Mitsyuk A. A., Lomazova I. A. Simulating Behavior of Multi-Agent Systemswith Acyclic Interactions of Agents // Proceedings of the Institute for System Programming.— 2018. — Vol. 30, no. 3. — Pp. 285–302.18. Shugurov I. S., Mitsyuk A. A. Applying MapReduce to Conformance Checking // Proceedingsof the Institute for System Programming of the RAS.
— 2016. — Vol. 28, no. 3. — Pp. 103–122.19. Nikitina N., Mitsyuk A. A. Carassius: A Simple Process Model Editor // Proceedings of theInstitute for System Programming. — 2015. — Vol. 27, no. 3. — Pp. 219–236.20. Using process mining for the analysis of an e-trade system: A case study / A. A. Mitsyuk,A. A. Kalenkova, S. A. Shershakov, W. M. P. van der Aalst // Business Informatics. — 2014.— Vol. 29, no. 3.
— Pp. 15–27.21. Mitsyuk A. A., Kotylev Y. V. Layered Layouts for Software Systems Visualization UsingNested Petri Nets // Tools and Methods of Program Analysis / Ed. by Vladimir Itsykson, Andre Scedrov, Victor Zakharov. — Cham: Springer International Publishing, 2018. —Pp.
127–138.22. Adriansyah Arya. Aligning observed and modeled behavior: Ph.D. thesis / Technische Universiteit Eindhoven. — 2014.16923. Leemans S. J. J., Fahland D., van der Aalst W. M. P. Discovering Block-Structured ProcessModels from Incomplete Event Logs // Application and Theory of Petri Nets and Concurrency / edited by G. Ciardo, E. Kindler. — Springer International Publishing, 2014. — Vol. 8489of Lecture Notes in Computer Science. — Pp. 91–110.24. Process Discovery using Integer Linear Programming / Jan Martijn E.
M. van der Werf,Boudewijn F. van Dongen, Cor A. J. Hurkens, Alexander Serebrenik // Fundam. Inform. —2009. — Vol. 94, no. 3-4. — Pp. 387–412.25. Fahland Dirk, van der Aalst Wil M. P. Model Repair - Aligning Process Models to Reality //Inf. Syst. — 2015. — Vol. 47. — Pp. 220–243.26. ProM 6: The Process Mining Toolkit / H. M. W.
Verbeek, J. C. A. M. Buijs, B. F. van Dongen,W. M. P. van der Aalst // Proc. of BPM Demonstration Track 2010 / Ed. by M. La Rosa.— Vol. 615 of CEUR Workshop Proceedings. — 2010. — Pp. 34–39.27. Mendling J. Detection and Prediction of Errors in EPC Business Process Models: Ph.D.thesis / Vienna University of Economics and Business Administration. — Vienna, Austria,2007.28.
On the Suitability of BPMN for Business Process Modelling / P. Wohed, W. M. P. vander Aalst, M. Dumas et al. // International Conference on Business Process Management(BPM 2006) / Ed. by S. Dustdar, J. L. Fiadeiro, A. Sheth. — Vol. 4102 of Lecture Notes inComputer Science. — Springer-Verlag, Berlin, 2006. — Pp. 161–176.29. Dumas M., ter Hofstede A. H. M. UML Activity Diagrams as a Workflow SpecificationLanguage // Proc. of the 4th Int. Conference on the Unified Modeling Language (UML01) /Ed. by M. Gogolla, C. Kobryn.
— Vol. 2185 of LNCS. — Toronto, Canada: Springer Verlag,2001. — October. — Pp. 76–90.30. Reisig Wolfgang. Understanding Petri Nets — Modeling Techniques, Analysis Methods, CaseStudies. — Springer, 2013.31. Murata T. Petri Nets: Properties, Analysis and Applications // Proceedings of the IEEE. —1989.
— April. — Vol. 77, no. 4. — Pp. 541–580.32. IEEE Standard for eXtensible Event Stream (XES) for Achieving Interoperability in EventLogs and Event Streams // IEEE Std 1849-2016. — 2016. — Nov. — Pp. 1–50.33. Fundamentals of Business Process Management / M. Dumas, M. La Rosa, J. Mendling,H. Reijers. — Springer-Verlag, Berlin, 2013.34. Kunze Matthias, Weske Mathias.
Behavioural Models — From Modelling Finite Automatato Analysing Business Processes. — Springer, 2016.17035. Snoeck Monique. Enterprise Information Systems Engineering — The MERODE Approach.The Enterprise Engineering Series. — Springer, 2014.36. Cardoso Jorge S., Lopes Ricardo, Poels Geert. Service Systems — Concepts, Modeling, andProgramming. Springer Briefs in Computer Science. — Springer, 2014.37. Cortellessa Vittorio, Marco Antinisca Di, Inverardi Paola. Model-Based Software Performance Analysis. — Springer, 2011.38.
Architectural Design — Conception and Specification of Interactive Systems / Chris A. Vissers, Luı́s Ferreira Pires, Dick A. C. Quartel, Marten van Sinderen. — Springer, 2016.39. Krogmann Klaus. Reconstruction of software component architectures and behaviour modelsusing static and dynamic analysis: Ph.D. thesis / Karlsruhe Institute of Technology. — 2010.40. Meisinger Michael. A Service-Oriented Development Process for Distributed Reactive Systems: Ph.D. thesis / Technical University Munich, Germany. — 2016.41.
Cook J. E., Wolf A. L. Discovering Models of Software Processes from Event-Based Data //ACM Transactions on Software Engineering and Methodology. — 1998. — Vol. 7, no. 3. —Pp. 215–249.42. van der Aalst W., Weijters T., Maruster L. Workflow mining: discovering process modelsfrom event logs // Knowledge and Data Engineering, IEEE Transactions on. — 2004.
—Sept. — Vol. 16, no. 9. — Pp. 1128–1142.43. Alves de Medeiros A. K.. Genetic Process Mining: PhD Thesis / Eindhoven University ofTechnology. — 2006.44. Günther C. W., van der Aalst W. M. P. Fuzzy Mining: Adaptive Process SimplificationBased on Multi-perspective Metrics // Proceedings of the 5th International Conference onBusiness Process Management.
— BPM’07. — Berlin, Heidelberg: Springer-Verlag, 2007. —Pp. 328–343.45. Weijters A., Ribeiro J. Flexible Heuristics Miner (FHM) // IEEE Symposium on Computational Intelligence and Data Mining (CIDM 2011) / Ed. by N. Chawla, I. King, A. Sperduti.— Paris, France: IEEE, 2011. — April. — Pp. 310–317.46. Kalenkova Anna A., Lomazova Irina A., van der Aalst Wil M. P. Process Model Discovery:A Method Based on Transition System Decomposition // Petri Nets. — Vol. 8489 of LectureNotes in Computer Science. — Springer, 2014.
— Pp. 71–90.47. Leemans Sander J. J., Fahland Dirk, van der Aalst Wil M. P. Scalable Process Discovery withGuarantees // BPMDS/EMMSAD. — Vol. 214 of Lecture Notes in Business InformationProcessing. — Springer, 2015. — Pp. 85–101.17148. Process Discovery Using Localized Events / Wil M. P. van der Aalst, Anna A. Kalenkova,Vladimir A. Rubin, Eric Verbeek // Petri Nets. — Vol. 9115 of Lecture Notes in ComputerScience. — Springer, 2015. — Pp. 287–308.49. Begicheva A.
K., Lomazova I. A. Discovering High-Level Process Models from Event Logs //Modeling and Analysis of Information Systems. — 2017. — Vol. 24, no. 2. — Pp. 125–140.50. Automated Discovery of Process Models from Event Logs: Review and Benchmark /Adriano Augusto, Raffaele Conforti, Marlon Dumas et al. // CoRR.
— 2017. — Vol.abs/1705.02288.51. van der Aalst W. M. P., van Dongen B .F. Discovering Petri Nets From Event Logs // Transactions on Petri Nets and Other Models of Concurrency (ToPNoC VII) / Ed. by K. Jensen,W. M. P. van der Aalst, G. Balbo et al. — Vol. 7480 of Lecture Notes in Computer Science.— Springer-Verlag, Berlin, 2013. — Pp.
372–422.52. Carmona J., Cortadella J., Kishinevsky M. A Region-Based Algorithm for Discovering PetriNets from Event Logs // Business Process Management, 6th International Conference, BPM2008, Milan, Italy, September 2-4, 2008. Proceedings. — 2008. — Pp. 358–373.53. Carmona J., Cortadella J., Kishinevsky M. Genet: A Tool for the Synthesis and Miningof Petri Nets // Ninth International Conference on Application of Concurrency to SystemDesign, ACSD 2009, Augsburg, Germany, 1-3 July 2009. — IEEE Computer Society, 2009.— Pp. 181–185.54. A Symbolic Algorithm for the Synthesis of Bounded Petri Nets / J. Carmona, J. Cortadella,M.
Kishinevsky et al. // Applications and Theory of Petri Nets (Petri Nets 2008). — 2008.— Pp. 92–111.55. Carmona J., Cortadella J., Kishinevsky M. New Region-Based Algorithms for DerivingBounded Petri Nets // IEEE Transactions on Computers. — 2010. — Vol. 59, no. 3.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
