Lomazova Irina Aleksandrovna

Publications in Math-Net.Ru

1. Relaxed lazy soundness verification for data Petri nets
   
   Proceedings of ISP RAS, 37:4(2) (2025),  69–84
2. Discovering hierarchical process models: an approach based on events partitioning
   
   Model. Anal. Inform. Sist., 31:3 (2024),  294–315
3. Merging Directly-Follows Graphs and sankey diagrams for visualizing acyclic processes
   
   Proceedings of ISP RAS, 36:4 (2024),  155–168
4. Analysis of students' academic performance using LMS event logs
   
   Model. Anal. Inform. Sist., 29:4 (2022),  286–314
5. Simulating behavior of multi-agent systems with acyclic interactions of agents
   
   Proceedings of ISP RAS, 30:3 (2018),  285–302
6. Using event logs for local correction of process models
   
   Model. Anal. Inform. Sist., 24:4 (2017),  459–480
7. Discovering high-level process models from event logs
   
   Model. Anal. Inform. Sist., 24:2 (2017),  125–140
8. Using interface patterns for compositional discovery of distributed system models
   
   Proceedings of ISP RAS, 29:4 (2017),  21–38
9. Translation of nested Petri nets into classical Petri nets for unfoldings verification
   
   Proceedings of ISP RAS, 28:4 (2016),  115–136
10. Does your event log fit the high-level process model?
    
    Model. Anal. Inform. Sist., 22:3 (2015),  392–403
11. On the Decidability of Soundness of Workflow Nets with an Unbounded Resource
    
    Model. Anal. Inform. Sist., 20:4 (2013),  23–40
12. CPN Tools-Assisted Simulation and Verification of Nested Petri Nets
    
    Model. Anal. Inform. Sist., 19:5 (2012),  115–130
13. On the problem of the existence of a complete axiomatic program semantics that does not admit side effects
    
    Zh. Vychisl. Mat. Mat. Fiz., 27:10 (1987),  1585–1589


14. Boris Abramovich Trakhtenbrot (on the centenary of his birth)
    
    Uspekhi Mat. Nauk, 77:1(463) (2022),  191–195