Практическая

• 
  анализ перехода системы из состояния в состояние и сети Петри
  

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

Статичная структура исследуемой системы может быть представлена графом сети Петри. Граф сети Петри состоит из трех примитивных элементов:

мест (обычно изображаемых в виде кругов), которые представляют состояния системы;

Состояние допустимо в данной ситуации, если соответствующее место отмечено, по крайней мере, одним маркером, изображаемым в виде точки «•». Динамика системы представлена посредством движения маркеров в графе. Переход допускают, если его входные места содержат, по крайней мере, один маркер. Допускаемый переход может быть выполнен. При удалении перехода удаляют один маркер из каждого входного места и помещают один маркер в каждое место вывода. Правила постановки и удаления маркеров позволяют получить все достижимые маркировки, называемые набором достижимости сети Петри. Набор достижимости включает все состояния, в которые система может попасть из начального состояния.

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

Сеть Петри может быть использована как язык высокого уровня для создания марковских моделей. Некоторые инструментальные средства анализа надежности основаны на этом методе.

Сети Петри обеспечивают также условия для моделирования.