Стененко А.А. Верификация раскрашенных сетей Петри методом проверки моделей / А. А. Стененко, В. А. Непомнящий, 2015. - 27 с. - Текст : непосредственный.