|
96 Сеть Петри состоит из четырех элементов: множества позиций Р, множества переходов Т, входной функции I и выходной функции О. Входная и выходная функции связаны с переходами и позициями. Для иллюстрации понятий теории сетей Петри воспользуемся 1рафическим представлением. Граф сети Петри обладаег двумя типами узлов. Кружком О обозначается позиция, планкой I переход. Ориентированные дуги (стрелки) соединяют позиции и переходы, при этом некоторые дуги направлены от позиций к переходам, а другие от переходов к позициям. Дуга, направленная от позиции к переходу, определяет позицию, которая является входом перехода. Кратные входы в переход указываются кратными дугами из входных позиций в переход. Выходная позиция указывается дугой от перехода к позиции. Кратные выходы также представлены кратными дугами. Выполненные операции по позициям будем маркировать метками в виде маленькой точки в кружке (позиции). Выполнением сети Петри управляют количество и распределение меток в сети. Метки находятся в кружках и управляют выполнением переходов сети. Переход запускается только выполнением восстановительной операции по ДВС. Запуски осуществляются до тех пор, пока существует хотя бы один разрешенный переход. Данное представление процесса проектирования РЦ позволяет планировать на компьютере восстановление работоспособности систем ДВС поэтапно и наглядно, например, в виде дерева достижимости. Дерево достижимости представляет множество достижимости сети Петри. Фрагмент сети Петри и построенное для него дерево достижимости выглядит так. Древо достижимости представляет множество достижимости сети Петри. Рассмотрим, например, маркированную сеть Петри на рис. 4.2. Начальная маркировка её (1,0,0). В этой начальной маркировке разрешены два перехода: t\ и /2. поскольку мы хотим рассмотреть все множества достижимости, определим новые вершины в дереве достижимости для (достижимых) маркировок, получающихся в результате запуска каждого из этих двух переходов. Дуга, помеченная запускаемым переходом, приводит из начальной |
184 Сеть Петри состоит из четырех элементов: множества позиций Р , множества переходов Т, входной функции I и выходной функции О. Входная и выходная функции связаны с переходами и позициями. Для иллюстрации понятий теории сетей Петри воспользуемся графическим представлением. Граф сети Петри обладает двумя типами узлов. Кружком О обозначается позиция, планкой I переход. Ориентированные дуги (стрелки) соединяют позиции и переходы, при этом некоторые дуги направлены от позиций к переходам, а другие от переходов к позициям. Дуга, направленная от позиции к переходу, определяет позицию, которая является входом перехода. Кратные входы в переход указываются кратными дугами из входных позиций в переход. Выходная позиция указывается дугой от перехода к позиции. Кратные выходы также представлены кратными дугами. Выполненные операции по позициям будем маркировать метками в виде маленькой точки в кружке (позиции). Выполнением сети Петри управляют количество и распределение меток в сети. Метки находятся в кружках и управляют выполнением переходов сети. Переход запускается только выполнением восстановительной операции по ДВС. Запуски осуществляются до тех пор, пока существует хотя бы один разрешенный переход. Данное представление процесса проектирования РЦ позволяет планировать на ЭВМ восстановление работоспособности систем ДВС поэтапно и наглядно, например, в виде дерева достижимости. Дерево достижимости представляет множество достижимости сети Петри. Фрагмент сети Петри и построенное для него дерево достижимости выглядит так. Древо достижимости представляет множество достижимости сети Петри. Рассмотрим, например, маркированную сеть Петри на рисунке 5.13. 185 Pi h P l Pi Рис. 5.13. Маркированная сеть Петри, для которой строится дерево достижимости Начальная маркировка её (1,0,0). В этой начальной маркировке разрешены два перехода: tj и t2. поскольку мы хотим рассмотреть все множества достижимости, определим новые вершины в дереве достижимости для (достижимых) маркировок, получающихся в результате запуска каждого из этих двух переходов. Дуга, помеченная запускаемым переходом, приводит из начальной маркировки к каждой из новых маркировок (рисунок 5.14). Это (частичное) дерево показывает все маркировки, непосредственно достижимые из начальной маркировки. (1,0,0) г *2 0,1,0) (0,1,1) Рис. 5.14. Первый шаг построения дерева достижимости |