|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Simulating Petri nets with inhibitor and reset arcs
[Симуляция сетей Петри с ингибиторными дугами и дугами сброса]
P. А. Pertsukhov, A. A. Mitsyuk National Research University Higher School of Economics
Аннотация:
Журналы событий программных систем используются для анализа их поведения и взаимодействия между компонентами. Искусственные журналы событий с подходящими свойствами необходимы для тестирования алгоритмов, используемых для такого анализа. Современные методы позволяют генерировать искусственные журналы событий в результате симуляции обычных сетей Петри. В этой статье мы представляем алгоритм, генерирующий журналы событий для сетей Петри с ингибиторными дугами и дугами сброса. Сети с ингибиторными дугами более выразительны, по сравнению с классическими сетями Петри, и позволяют удобно моделировать условия в реальном программном обеспечении. Операции сброса также распространены в реальных системах. В этой статье описывается алгоритм симуляции сетей Петри с ингибиторными дугами и сбросами, а также показано, каким образом его можно применять для генерации журнала событий.
Ключевые слова:
cети Петри, ингибиторные дуги, дуги сброса, симуляция, журналы событий.
Образец цитирования:
P. А. Pertsukhov, A. A. Mitsyuk, “Simulating Petri nets with inhibitor and reset arcs”, Труды ИСП РАН, 31:4 (2019), 151–162
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/tisp445 https://www.mathnet.ru/rus/tisp/v31/i4/p151
|
Статистика просмотров: |
Страница аннотации: | 120 | PDF полного текста: | 47 | Список литературы: | 16 |
|