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