Визовитин Николай Валерьевич Россия, Новосибирск Область научных интересов верификация трансляция раскрашенные сети Петри Место работы и должность Институт систем информатики им. А.П. Ершова СО РАН — младший научный сотрудник Адрес электронной почты vizovitin@gmail.com
Визовитин Н.В., Непомнящий В.А., Стененко А.А. Верификация UCM моделей с конструкциями управления сценариями с помощью раскрашенных сетей Петри // Системная информатика. — 2016. — № 7. — С. 11-22
