Сеть Петри: различия между версиями

Сеть Петри ([[Petri net|''Petri net'']]) —– одна из наиболее популярных моделей параллельных систем, используемая как для теоретических исследований, так и практических применений в различных областях. Она используется для моделирования распределенных баз данных и операционных систем, архитектур вычислительных машин, систем и сетей, систем программного обеспечения, протоколов коммуникаций, семантики параллельных языков, систем с элементами искусственного интеллекта и т. д.

Сети Петри ориентированы на моделирование «неалгоритмических» параллельных систем в виде причинно–следственных связей между событиями их недетерминированного поведения на основе [[Сеть|''сети'']] с двумя типами вершин: места и переходы. Каждый переход связывается с соответствующим множеством входных мест и соответствующим множеством выходных мест. Обычно вершины-места изображаются кружками, а вершины-переходы — барьерами (а также прямоугольниками или квадратами, если переходы являются неэлементарными объектами). Каждый переход соединяется с каждым из входных мест дугой, идущей из вершины-места к переходу, и с каждым выходным местом — дугой, направленной от перехода к вершине-месту.[[Файл:Petri net.png|350px|right]]

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

 

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