• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Process-aware Information Systems

Priority areas of development: engineering science
Head: van der Aalst, Wil, Lomazova, Irina A.
The project has been carried out as part of the HSE Program of Fundamental Studies.

Goal of research: The goal of the research is to develop new and improvement of existing methods of modeling, analysis, enhancement and monitoring processes in process-aware information systems (PAIS), particularly methods of process discovery and analysis that use the event logs (process mining techniques) and methods for construction and analysis of formal process models.


Methods of discreet mathematics, mathematical logic, theory of algorithms, theory of automata and Petri nets, linear algebra, software engineering and simulation were used in the course of project work.

Empirical base of research

The empirical base for the study was based on event logs, obtained from information systems, operating in various application domains, such as banking, insurance, healthcare, manufacturing, municipalities, and online ticketing. These event logs were used to verify both developed and existing process mining approaches. Artificial event logs produced by specially developed log generators were used as well.

Results of research

Research was carried out in two interrelated directions. The first is the modeling and analysis of complex information systems. The second is related to process mining and analysis of systems behavior based studying of event logs generated by information systems.

In the field of modeling and analysis of complex information systems the following theoretical and practical results were obtained.

  • A new version of algorithm for constructing the reachability graph for time Petri nets has been developed. It was shown that the algorithm applied to a special revealed class of time Petri net is more effective.
  • A novel method of verification of nested Petri nets, based on constructing of net unfoldings has been developed. An approach for the construction of component-based unfolding was suggested and the correctness of this approach was proven.
  • An approach for the analysis of behavioral properties of Petri nets, based on transition priorities, has been developed. An algorithm for the construction of live and bounded Petri nets from live and unbounded Petri nets, using transition priorities, has been proposed. The correctness of the algorithm was proven.

Also in the field of process mining new theoretical and practical results were obtained.

  • A new method of mining structured process models from decomposed transition systems has been developed.
  • ProM tool plug-ins for mining and analysis of BPMN process models have been implemented.
  • A new algorithm for conformance checking between high-level models and low-level event logs has been developed. The correctness of the algorithm in the case of the perfect fitness was proven. The algorithm is implemented in ProM.
  • Methods for generating event logs (either containing noise or not) have been developed and implemented as ProM plug-ins. A comprehensive analysis of produced logs was performed.
  • An application of process mining techniques to the software processes analysis was examined. A novel Software process mining research direction was established; some new approaches in this direction were proposed.
  • DPMine,a language for modeling and conducting experiments, has been improved and implemented in the form of individual DPMine/C library. VTMine modeling toolbox has been developed and partially implemented as individual software. DPMine/C has been integrated into VTMine as a set of plug-ins.

The results obtained during the work on the project can be used for further research in the field of process-aware information systems as well as for process modeling, analysis and verification performed for real information systems in order to improve their reliability and productivity.

Level of implementation,  recommendations on implementation or outcomes of the implementation of the results

A variety of software tools and toolboxes is the main practical result obtained in the course of project work. Particularly, the following plug-ins for ProM toolbox have been implemented: “Discovery using TS decomposition”, “Analyze BPMN diagram”, “Gena: Event Log Generator”. The plugins are available in the ProM packages repository. They can be used by ProM users to analyze their event logs.


Shershakov S. DPMine/C: C++ Library and Graphical Frontend for DPMine Workflow Language, in: Proceedings of the 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2014). M. : -, 2014. P. 96-101.
Polina Kim, Oleg Bulanov, Sergey Shershakov. Component-based VTMine/C Framework: Not Only Modelling, in: Proceedings of the 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2014). M. : -, 2014. P. 102-107.
Wil M. P. van der Aalst. Business Process Simulation Survival Guide, in: Handbook on Business Process Management 1. Introduction, Methods, and Information Systems Vol. International Handbooks on Information Systems. Springer, 2015. P. 337-370.
Kalenkova A. A., Lomazova I. A. Discovery of Cancellation Regions within Process Mining Techniques // Fundamenta Informaticae. 2014. Vol. 133. No. 2-3. P. 197-209. doi
Катаева В. М., Kalenkova A. A. Applying Graph Grammars for the Generation of Process Models and Their Logs, in: Proceedings of the 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2014). M. : -, 2014. P. 83-87.
Kalenkova A. A., Lomazova I. A., van der Aalst W. Process Model Discovery: A Method Based on Transition System Decomposition, in: Application and Theory of Petri Nets and Concurrency. 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings Vol. 8489: Lecture Notes in Computer Science. Berlin : Springer, 2014. P. 71-90.
Alexey Mitsyuk, Anna Kalenkova, Sergey A. Shershakov, van der Aalst W. Using process mining for the analysis of an e-trade system: A case study // Business Informatics. 2014. Vol. 29. No. 3. P. 15-27.
Kalenkova A. A., de Leoni M., van der Aalst W. Discovering, Analyzing and Enhancing BPMN Models Using ProM, in: Proceedings of the BPM Demo sessions 2014 Co-located with 12th International Conference on Business Process Management (BPM2014) Eindhoven, The Netherlands, September 10, 2014 Vol. 1295. Eindhoven : CEUR-WS.org, 2014. Ch. 8. P. 36-40.
Wil M.P. van der Aalst. Process Mining in the Large: A Tutorial, in: Business Intelligence. Third European Summer School, eBISS 2013, Dagstuhl Castle, Germany, July 7-12, 2013, Tutorial Lectures Vol. 172: Lecture Notes in Business Information Processing. Springer, 2014. P. 33-76.
Vladimir A. Bashkin, Irina A. Lomazova. Decidability of k-Soundness for Workflow Nets with an Unbounded Resource // Transactions on Petri Nets and Other Models of Concurrency. 2014. Vol. 9. P. 1-18.
Daniil Frumin, Irina Lomazova. Branching Processes of Conservative Nested Petri Nets, in: VPT 2014. Second International Workshop on Verification and Program Transformation Vol. 28: EPiC Series. EasyChair, 2014. P. 19-35.
Antonina K. Begicheva, Lomazova I. A. Checking Conformance of High-Level Business Process Models to Event Logs, in: Proceedings of the 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2014). M. : -, 2014. P. 77-82.
Lomazova I. A., Popova-Zeugmann L. Controlling Petri Net Behavior using Priorities for Transitions, in: Concurrency, Specification and Programming. CS&P 2014. Proceedings of the 23th International Workshop on Concurrency, Specification and Programming. Chemnitz, Germany, September 29 - October 1, 2014. / Ed. by L. Popova-Zeugmann. Vol. 1269: CEUR Workshop Proceedings (CEUR-WS.org). Berlin : Humboldt University of Berlin, 2014. P. 126-137.
W.M.P. van der Aalst. Geschäftsprozessmodellierung: Die ,,Killer-Applikation“ für Petrinetze // Informatik-Spektrum. 2014. Vol. 37. No. 5. P. 191-198.
W. M. P. van der Aalst. Business process management as the “Killer App” for Petri nets // Software and Systems Modeling. 2014. P. 1-7. doi
Rubin V., Lomazova I. A., van der Aalst W. Agile Development with Software Process Mining, in: Proceedings of the 2014 International Conference on Software and System Process (ICSSP 2014). NY : ACM, 2014. P. 70-74.
Rubin V., Mitsyuk A. A., Lomazova I. A., van der Aalst W. Process Mining Can Be Applied to Software Too!, in: Proceedings of the 8th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement. NY : ACM, 2014. doi Ch. 57. P. 1-8. doi
Мицюк А. А., Шугуров И. С. Синтез моделей процессов по журналам событий с шумом // Моделирование и анализ информационных систем. 2014. Т. 21. № 4. С. 181-198.
Shugurov I., Mitsyuk A. A. Generation of a Set of Event Logs with Noise, in: Proceedings of the 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2014). M. : -, 2014. P. 88-95.
Knizhnikova I., Dworzanski L. W. Modular Construction of Time Petri Nets Reachability Graph, in: Proceedings of the 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2014). M. : -, 2014. Ch. 1. P. 8-12.