Внимание!!!
В выложенном на сайте тексте могут быть ошибки,
оригинальную версию методички одним файлом в формате .doc (MS Word)
6.2. Понятие состояния сетей Пэтри.
Маркировка сетей Петри
Объекты сетей Пэтри чаще всего представляются точками /фишками/ в той или иной позиции сети, хотя могут использоваться специальные элементы.
Фишки: ресурс или процессор V , память V, задание и так далее.
Размещение фишек на позициях сети Пэтри отражает текущее мгновенное состояние системы.
Так представляются дискретные системы. Но в состоянии системы отражается не только состояние ресурсов, а и фазы продвижения заявок в системе.
Множество фаз продвижения одной заявки в системе называется процессом, а сама заявка и ее движение называется трансактом.
Соответствующее состояние сети Пэтри отражается маркировкой M. Это вектор, который задается на множестве P и отражает число фишек на позициях сети.
ОПРЕДЕЛЕНИЕ. Маркировкой сети Пэтри называется отображение множества позиций P сети Пэтри на множество неотрицательных целых чисел:
P==>{0,1,2,...,N}.
Причем соответствующий элемент маркировки mi отражает число фишек, находящихся в позиции Pi /на рассмотренной в лекции сети Пэтри задана маркировка M0 =/1,2,0/, /... ,
Для пояснения работы модели на основе сети Пэтри обязательно использование специальной таблицы назначения фишек /либо это определено словесно/.
