Качур С. А. Модели на основе сетей Петри в системах функционального и временного моделирования цифровых управляющих устройств

Объект исследования: Логическое моделирование цифровых устройств. Цель исследования: Разработка формализованного метода описания, поведение во времени микросхем микропроцессорных комлплектов. Методы исследования и аппаратура: Методы теории автомаимческого управления, сетей ПЕтри, иммитаицонного моделирования, логического моделирования. Теоретические результаты и новизна: Разработана универсальная математическая модель функционально сложных микросхем, имитаицонный язык МОВДИС, ее описание и алгоритм моделирования. Практические результаты и новизна: Разработан интерпретатор языка МОВДИС. Предмет и степень внедрения: Разработана мтеодика описания микросхем на языке МОВДИС. Эффективность внедрения: Годовой экономический эффект составляет 200 тыс. руб. в ценах 1990 г. Сфера (область) использования: Логическое моделирование цифровых устройств.