СЕТЬ ПЕТРИ

математическая модель дискретных систем с параллельно функционирующими и асинхронно взаимодействующими компонентами. Предложена немецким ученым К. Петри в начале 60-хгг. Графически С. П. представляет собой двухдольный ориентированный мультиграф с вершинами двух типов: переходами (моделирующими события в дискретной системе) и позициями (моделирующими предусловия выполнения события и постусловия, возникающие после события). Позиции графически обозначаются кружочками, переходы — черточками. Направленное ребро может связывать только позицию и переход. Кроме того, задается начальная разметка позиций: каждой из них сопоставляется одно из чисел 0, 1, 2 , ... (число маркеров или фишек). Этим числом моделируется некоторая емкость позиций, количество ресурсов в ней. По отношению к переходам позиции могут быть входными или выходными. Некоторый переход t называется возбужденным или разрешенным (и может сработать), если число фишек его входной позиции р не меньше числа ребер, ведущих из р в t. Срабатывание возбужденного перехода заключается в удалении из каждой его входной позиции р числа фишек, равного числу ребер, ведущих из р в t, и добавлении в каждую его выходную позицию q числа фишек, равного числу ребер, ведущих из t в q. В результате срабатывания перехода получается новая разметка С. П. Два возбужденных перехода с общими позициями не должны срабатывать одновременно. С помощью С. П. моделируются не временные, а причинно-следственные связи. С. П. широко применяются для моделирования различных систем. В инженерной психологии и эргономике С. П. используют для описания, проектирования и исследования деятельности оператора, определения показателей качества его деятельности, расчета надежности СЧМ (Л. Д. Потебня).