Читайте также:
|
|
Структура сети Петри представляет собой совокупность позиций и переходов. В соответствии с этим граф сети Петри обладает двумя типами узлов. Кружок - позиция, черта (полочка) - переход.
Ориентированные дуги (стрелки) соединяют позиции и переходы, при этом некоторые дуги направлены от позиций к переходам, другие - от переходов к позициям. Дуга, направленная от позиции Рi к переходу tj, определяет позицию, которая является входной для перехода. Кратные входы указываются кратными дугами из входных позиций в переход. Выходная позиция указывается дугой от перехода к позиции. Кратные выходы также представлены кратными дугами (рисунок 4).
Рисунок 4. Фрагмент графа сети.
Сеть Петри есть мультиграф, т.к. допускает существование кратных дуг.
Сеть для рассмотренного ранее примера выглядит следующим образом (рисунок 5):
Рисунок 5. Граф сети для примера 1.
Пример 2 сети Петри:
C=(P,T,I,O);
P={p1,p2, p3,p4,p5,p6};
T={t1,t2, t3,t4,t5};
I(t1)={p1}; O(t1)={p2, p3};
I(t2)={p3}; O(t2)={p3,p5,p5};
I(t3)={p2,p3}; O(t3)={ p2,p4};
I(t4)={p4,p5,p5,p5}; O(t4)={p4};
I(t5)={p2}; O(t5)={p6};
Рисунок 6. Граф сети Петри для примера 2.
1. Оценка сложных автоматизированных систем./А.С. Шаракшанэ, А.К. Халецкий, И.А. Морозов.-М.: Машиностроение, 1993. –272с.
2. Лескин А.А., Мальцев П.А., Спиридонов А.М. Сети Петри в моделировании и управлении.-Л:, Наука, 1989.-133 с.
3. Питерсон Дж. Теория сетей Петри и моделирование систем. М.: Мир, 1984. –264 с.
Информационные и функциональные уровни обеспечения автоматизированного проектирования систем управления.
Лекция №18[ТЕ1]
Тема: Основы методологии проектирования программного и информационного обеспечения
Вопросы:
Дата добавления: 2014-12-15; просмотров: 58 | Поможем написать вашу работу | Нарушение авторских прав |