Таким образом, сеть Петри имеет два типа вершин, один из них соответствует позициям, обозначаемым кружками, другой —переходам, последние обозначаются вертикальными черточками. Направленные дуги соединяют вершины разных типов. В общем случае в сети Петри допускается существование кратных дуг от одной вершины сети к другой. Сеть Петри является ориентированным двудольным мультиграфом.
Как отмечалось, позиция сети Петри соответствует условию. Выполнение условий отмечается маркировкой позиций, так что позиция сети Петри содержит метку, если сопоставленное с ней условие выполняется, и не содержит метки в противном случае. В сетях Петри каждая метка позиции отмечается точкой в кружке этой позиции. Однако для сетей Петри общего вида допускается наличие более одной метки в позиции, и тогда требуется иная интерпретация меток.
СОДЕРЖАНИЕ
стр.
ВВЕДЕНИЕ 3
1 ВВЕДЕНИЕ В ТЕОРИЮ СЕТЕЙ ПЕТРИ 5
1.1 Общие положения 5
1.2 Математическое описание сетей Петри 9
1.3 Способы задания сетей Петри 16
2 МОДЕЛЬ УПРАВЛЕНИЯ ТРАНСПОРТНЫМ ПРОЦЕССОМ НА ОСНОВЕ СЕТИ ПЕТРИ 22
ЗАКЛЮЧЕНИЕ 33
СПИСОК ЛИТЕРАТУРЫ 34