Ввиду быстрого замещения информации в доступных областях памяти, пора, пожалуй, срочно уже законспектировать ее остатки. Хоть тезисно.
Сети Петри — математический аппарат для моделирования динамических дискретных систем. Ну а дискретные динамические системы — это,например, компьютеры, включая,конечно и все составные части; программы, сети передачи данных и т.п.
рис.1 Сеть Петри (картиночка из вики )
Сеть Петри состоит из дуг, переходов, позиций и фишек.
Сеть Петри выполняется посредством запусков переходов.
Переход запускается удалением всех разрешающих фишек из его входных позиций и последующим помещением в каждую из его выходных позиций по одной фишке для каждой дуги.
Выполнением сети Петри управляют количество и распределение фишек в сети.
Переход называется разрешенным, если каждая из его входных позиций имеет число фишек, по крайней мере равно числу дуг из позиции в переход.
В сетях Петри условия моделируются позициями, события — переходами.
- возникновение события равносильно запуску соответствующего перехода
- выполнение условия представляется фишкой в позиции, соответствующей этому условию
- запуск перехода удаляет разрешающие фишки, представляющие выполнение предусловий и образует новые фишки, которые представляют выполнение
Виды дуг(самое ценное):
- «обычные» дуги — ну дуги и дуги,соединяют позицию и переход и переход и позицию, ничего интересного
- ингибиторные дуги — исключающее «или»(тут самое время вспомнить Теорию Дискретных Устройств и все будет ясно) — переход срабатывает в том случае,если в позиции,от которой отходит ингибиторная дуга нет фишек.
- тестовые дуги — первой в голову приходит аналогия с буфером с заданной емкостью(т.е. когда во входной позиции накопится число фишек равное весу тестовой дуги, то они начнут уходить,сигнализирую тем самым о каком-то событии, например о том,что буфер переполнился и пакеты(фишки) теряются) Да,у дуги есть вес.
Ну и виды переходов (классифицируются по времени срабатывания):
- детерминированный
- экспоненциальный
- равномерное распределений
- немедленный
Для вдохновения когда-то были использованы книга В.Е.Котова «Сети Петри» и среда моделирвоания «HPSim».