Сети Петри

Сети Петри - математический аппарат для моделирования динамических дискретных систем.Рис.1 Пример сети Петри.Сети Петри разрабатывались для моделирования систем с параллельными взаимодействующими компонентами.Одним из самых известных расширений класса сетей Петри являются сети Петри с ингибиторными дугами.Известно, что сети Петри с ингибиторными дугами эквивалентны машинам Тьюринга.Сети Петри на сайте Института автоматики и процессов управления.Исходные тексты примеров программ, реализующих сети Петри и строгоиерархические сети.Сети Петри - математический аппарат для моделирования.Сети Петри впервые предложил Карл Адам Петри 2.Сети с ингибиторными дугами.В позициях могут размещаться метки (маркеры) , способные перемещаться по сети.