Визовитин Н.В., Непомнящий В.А., Стененко А.А. Верификация UCM моделей с конструкциями управления сценариями с помощью раскрашенных сетей Петри // № 7, 2016
