Сеть Петри

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