Cети Петри с памятью состояний

Abstract

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

In this paper proposes improved rules of Petri net markingchange to expand a list of systems that are suitable for net modeling and solve some practical problems. The basic idea of the changes of these rules is to form a vector of additional labeling elements which accumulate tokens throughout the simulation experiment, thus preserving its history. The values of the additional vector elements are taken into account when simulating network test additional conditions network operation