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

Сети Петри — математический аппарат для моделирования динамических дискретных систем. Ну а дискретные динамические системы – это,например, компьютеры, включая,конечно и все составные части; программы, сети передачи данных и т.п.

рис.1 Сеть Петри (картиночка из вики )

Сеть Петри состоит из дуг, переходов, позиций и фишек.

Сеть Петри выполняется посредством запусков переходов.

Переход запускается удалением всех разрешающих фишек из его входных позиций и последующим помещением в каждую из его выходных позиций по одной фишке для каждой дуги.

Выполнением сети Петри управляют количество и распределение фишек в сети.

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

В сетях Петри условия моделируются позициями, события – переходами.

• возникновение события равносильно запуску соответствующего перехода
• выполнение условия представляется фишкой в позиции, соответствующей этому условию
• запуск перехода удаляет разрешающие фишки, представляющие выполнение предусловий и образует новые фишки, которые представляют выполнение

Виды дуг(самое ценное):

• “обычные” дуги – ну дуги и дуги,соединяют позицию и переход и переход и позицию, ничего интересного
• ингибиторные дуги – исключающее “или”(тут самое время вспомнить Теорию Дискретных Устройств и все будет ясно) – переход срабатывает в том случае,если в позиции,от которой отходит ингибиторная дуга нет фишек.
• тестовые дуги – первой в голову приходит аналогия с буфером с заданной емкостью(т.е. когда во входной позиции накопится число фишек равное весу тестовой дуги, то они начнут уходить,сигнализирую тем самым о каком-то событии, например о том,что буфер переполнился и пакеты(фишки) теряются) Да,у дуги есть вес.

Ну и виды переходов (классифицируются по времени срабатывания):

• детерминированный
• экспоненциальный
• равномерное распределений
• немедленный

Для вдохновения когда-то были использованы книга В.Е.Котова “Сети Петри” и среда моделирвоания “HPSim”.