Опубликовано 7 января 2015 г.
В работе предлагается способ модификации обыкновенных сетей Петри, позволяющий преодолеть недетерминированность срабатывания переходов, вызванная их одновременной активностью и приводящая к нарушению адекватности модели. Предложена структура модифицированных сетей Петри. Проиллюстрированы процедуры способа модификации обыкновенных сетей
Категории: Статьи, Технические-и-технологические-вопросы-УРГТ
Ключевые слова: модификация обыкновенных сетей Петри, недетерминизм срабатывания переходов, множество вспомогательных позиций
Return...
ISSN 1998-4502 (Print) ISSN 2499-975Х (Online)