Сеть Петри — модель для описания асинхронных параллельных и недетерминированных процессов, а также систем продукционного типа. Статически модель задается двудольным орфографом с двумя типами вершин — позициями и переходами (изображаемыми обычно кружками и полочками соответственно), причем переходы (позиции) могут соединяться дугами только с позициями (переходами). Исходное состояние С.П. задается начальной маркировкой некоторых ее позиций. Маркеры изображаются точками внутри позиций. Динамика вносится соглашением о правиле срабатывания возбужденного перехода (содержащего по крайней мере один маркер в каждой из его входных позиций), который может сработать через заранее неизвестное время, после чего из всех (во все) его входных позиций (выходные позиции) изымается (добавляется) по одному маркеру. Процесс функционирования С.П. состоит в переходе от одной маркировки к другой посредством срабатываний возбужденных переходов.
[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]