лабы / Сети Петри / Документация / Сети Петри_1 / Сети Петри / Ординарные сети Петри

Ординарные сети Петри                       

Ординарные сети Петри Напомним, что обыкновенную или ординарную сеть Петри можно определить как размеченный ориентированный граф с вершинами двух типов: местами и переходами, соединенными дугами таким образом, что каждая дуга соединяет вершины различных типов [5]. Переходы изображаются, как правило, прямоугольниками или барьерами, места -- окружностями. Места помечаются целыми неотрицательными числами (разметка места). В графическом представлении сети разметка изображаются соответствующим числом точек (фишек) в месте. Места, из которых в переход ведут дуги, называются входными местами для данного перехода. Места, в которые ведут дуги от данного перехода, называются его выходными местами. По аналогии с местами дуги, ведущие от места к переходу, будут называеться входными, а ведущие от перехода к месту -- выходными. Сеть Петри функционирует, переходя от разметки к разметке.

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

WWW.IIS.NSK.SU

1999-12-29