Сети Петри

Это аппарат для моделирования динамических дискретных систем (преимущественно асинхронных параллельных процессов). Сеть Петри определяется как четверка <Р,Т,I,О>, где Р и Т – конечные множества позиций и переходов, I и О – множества входных (Input) и выходных (Output) функций.

Иначе говоря, сеть Петри представляет собой двудольный ориентированный граф, в котором позициям соответствуют вершины, изображаемые кружками, а переходам – вершины, изображаемые утолщенными черточками.

Функциям I соответствуют дуги, направленные от позиций к переходам, а функциям О – от переходов к позициям.

Как и в системах массового обслуживания, в сетях Петри вводятся объекты двух типов: динамические – изображаются метками (маркерами) внутри позиций и статические – им соответствуют вершины сети Петри.

Модели в виде сетей Петри также называют N-схемами (от англ. net – сеть).

Рис. 5.12. Фрагмент сети Петри и основные понятия