Сборники трудов ИСП РАН


Симуляция сетей Петри с ингибиторными дугами и дугами сброса

Перцухов П.А. (ВШЭ, Москва, Россия)
Мицюк А.А. (ВШЭ, Москва, Россия)

Аннотация

Журналы событий программных систем используются для анализа их поведения и взаимодействия между компонентами. Искусственные журналы событий с подходящими свойствами необходимы для тестирования алгоритмов, используемых для такого анализа. Современные методы позволяют генерировать искусственные журналы событий в результате симуляции обычных сетей Петри. В этой статье мы представляем алгоритм, генерирующий журналы событий для сетей Петри с ингибиторными дугами и дугами сброса. Сети с ингибиторными дугами более выразительны, по сравнению с классическими сетями Петри, и позволяют удобно моделировать условия в реальном программном обеспечении. Операции сброса также распространены в реальных системах. В этой статье описывается алгоритм симуляции сетей Петри с ингибиторными дугами и сбросами, а также показано, каким образом его можно применять для генерации журнала событий.

Ключевые слова

cети Петри; ингибиторные дуги; дуги сброса; симуляция; журналы событий

Издание

Труды Института системного программирования РАН, том 31, вып. 4, 2019, стр. 151-162.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2019-31(4)-10

Для цитирования

Перцухов П.А., Мицюк А.А. Симуляция сетей Петри с ингибиторными дугами и дугами сброса. Труды Института системного программирования РАН, том 31, вып. 4, 2019, стр. 151-162. DOI: 10.15514/ISPRAS-2019-31(4)-10.

Полный текст статьи в формате pdf (на английском) Вернуться к содержанию тома