TY JOUR TI Разработка системы моделирования технических средств на основе сетей Петри KW Моделирование KW Сети Петри KW Отказоустойчивость KW Логика работы JO Актуальные направления научных исследований XXI века: теория и практика AU Колосков, В.Л. AU Иванов, Е.Б. AU Павлов, И.Ю. PY 2015 IS 3 PB Воронежский государственный лесотехнический университет имени Г.Ф. Морозова