Моделирование и анализ свойств систем при помощи сетей Петри

Описание

Тип публикации: патент

Год издания: 2018

Аннотация: Программа предназначена для моделирования систем различного назначения при помощи сетей Петри и анализа их свойств. Анализ свойств систем, представленных в виде сетей Петри, выполняется автоматически за счет анализа дерева достижимости, которое представляет собой все достижимые маркировки сети Петри, а также все возможные последоваПоказать полностьютельности запусков ее переходов. Программа позволяет выполнить анализ следующих свойств: безопасности и ограниченности, сохранения, покрываемости, живости. Программа обладает интуитивно понятным интерфейсом, позволяет выполнять все требуемые действия по созданию и модификации сетей Петри, а также предоставляет возможность сохранения и загрузки данных в файл. Программа позволяет моделировать и выполнять анализ свойств различных систем: систем управления и обработки информации, программных систем, технических систем. Программа предназначена для проектировщиков и разработчиков систем, а также системных аналитиков.

Ссылки на полный текст

Вхождение в базы данных