Nikolay Valerievich Vizovitin Russian Federation, Novosibirsk Research area verification translation coloured Petri nets Affiliation & position A.P. Ershov Institute of Informatics Systems — junior researcher E-mail vizovitin@gmail.com
Vizovitin N., Nepomniaschy V., Stenenko A. Verification of UCM Models with Scenario Control Structures Using Coloured Petri Nets // System Informatics. — 2016. — # 7. — P. 11-22
