Dvoryanskiy Leonid Vladimirovich

Publications in Math-Net.Ru

1. Overapproximation of the number of active timers in timed-arc Petri nets using DP-systems
   
   Proceedings of ISP RAS, 34:5 (2022),  183–194
2. Automated analysis of DP-systems using timed-arc Petri nets via TAPAAL tool
   
   Proceedings of ISP RAS, 32:6 (2020),  155–166
3. Tool for behavioral analysis of well-structured transition systems
   
   Proceedings of ISP RAS, 29:4 (2017),  175–190
4. Automatic code generation from nested Petri nets to event-based systems on the Telegram platform
   
   Proceedings of ISP RAS, 28:3 (2016),  65–84
5. CPN Tools-Assisted Simulation and Verification of Nested Petri Nets
   
   Model. Anal. Inform. Sist., 19:5 (2012),  115–130