Дворянский Леонид Владимирович

Публикации в базе данных Math-Net.Ru

1. Overapproximation of the number of active timers in timed-arc Petri nets using DP-systems
   
   Труды ИСП РАН, 34:5 (2022),  183–194
2. Automated analysis of DP-systems using timed-arc Petri nets via TAPAAL tool
   
   Труды ИСП РАН, 32:6 (2020),  155–166
3. Tool for behavioral analysis of well-structured transition systems
   
   Труды ИСП РАН, 29:4 (2017),  175–190
4. Automatic code generation from nested Petri nets to event-based systems on the Telegram platform
   
   Труды ИСП РАН, 28:3 (2016),  65–84
5. Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools
   
   Модел. и анализ информ. систем, 19:5 (2012),  115–130