Маркин О. М. Спецпроцессор модифицированных управляющих сетей Петри для организации безопасного движения на железнодорожном транспорте

Объект исследования: Сети Петри и технические средства их реализации как средства управления дискретными технологическими процессами. Цель исследования: Разработка методов использования аппарата сетей Петри как средства описания и реализации алгоритмов программно-логического управления дискретными технологическими процессами. Методы исследования и аппаратура: Методы теории сетей Петри, теории множеств, теориикомплектов, теории графов, булевой алгебры, теории цифровых автоматов. Теоретические результаты и новизна: Класс модификацированных управляющих сетей Петри (МУСП), обобщенная матричная структура спецпроцессора для их обработки, метод синтеза МУСП для решения прикладной технологической задачи. Практические результаты и новизна: Алгоритм и оптимальная структура спецпроцессора МУСП, пакет прикладных программ "SPPV" для реализации спецпроцессора средст. Предмет и степень внедрения: Спецпроцессор в виде БИС. Эффективность внедрения: Повышается безопасность движения поездов, сокращаются стоимость системы контроля безопасности и время ее проектирования. Сфера (область) использования: Электрическая централизация стрелок и сигналов.