Сеть Петри представляет собой модель дискретных систем.
Дадим неформальное определение сети Петри.

Определение.
СЕТЬ ПЕТРИ представляет собой двудольный ориентированный граф, имеющий вершины двух типов:
1. Вершина — позиция (вершина первого типа), определяет емкость ресурсов.
2. Вершина — называется переходом. Соответствует событиям потребления или производства ресурсов заданных видов.
Количество ресурсов представляется метками – точками, располагаемыми в позициях , а дуги, соединяющие позиции и переходы показывают причинно — следственные связи.

Пример. Сеть Петри.
Вершины одного и того же типа не могут иметь непосредственные связи дугами.