Читайте также:
|
Сеть Петри представляет собой двудольный ориентированный граф, состоящий из вершин двух типов — позиций и переходов, соединённых между собой дугами. Вершины одного типа не могут быть соединены непосредственно. В позициях могут размещаться метки (маркеры), способные перемещаться по сети. Они используются для причинно-следственных связей в системах с множеством параллельных процессов.
На рисунке 3 представлена сеть Петри для полного описания модели.
Рисунок 3 - Сеть Петри
Дата добавления: 2015-08-26; просмотров: 37 | Нарушение авторских прав
| <== предыдущая страница | | | следующая страница ==> |
| ПОСТРОЕНИЕ СХЕМЫ МОДЕЛИ | | | Описание программного продукта |