Статические ограничения

Классификация сетей Петри

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

Динамические ограничения

1. Сеть Петри называется k ограниченной (k > = 1), если на

множестве ее достижимых состояний не найдется ни одной позиции

p_i Î P, для которой m(P_i) > k,то есть в которой не появляется более k маркеров.

a) сеть 2 - ограничена:

b) сетьне ограничена:

2. Cеть Петри называется безопасной, если она 1- ограничена.

3. Сеть Петри называется ограниченной, если найдется такое целое k, для которого она k - ограничена.

4. Сеть Петри называется 1- консервативной, если в процессе функционирования сети общее число маркеров в ней остается постоянным.

a) сеть не 1 - консервативная:

b) сеть 1 - консервативная:

5. Сеть Петри называется консервативной, если для любого перехода t_r Î T существуют такие целые положительные коэффициенты a_i и a_j (a_i, a_j ¹ 0), не меняющие в процессе функционирования сети Петри, при которых справедливо равенство: åa_i m(P_i) = åa_j m(P_j), где суммирование производится по P_i Î I(t_r) и P_j Î O(t_r) соответственно.

a) сеть консервативная:

· ·

2· 1 = 1· 1 + 1· 1

b) сеть не консервативная:

6. Сеть Петри называется устойчивой, если для всех t_i, t_j Î T, (t_i ¹ t_j) и для любой допустимой маркировки, при которой t_i и t_j возбуждены, срабатывание одного из них не может снять возбуждение другого.

a) сеть неустойчивая:

б) сеть устойчивая:

1. Сеть Петри называется сетью свободного выбора, если для любых двух переходов, имеющих общую входную позицию, эта позиция единственна для каждого перехода:

a) сеть свободного выбора:

б) сеть несвободного выбора:

2. Сеть Петри называется простой, если любая пара

t_i, t_j Î T, (t_i ¹ t_j) имеет не более одной общей входной позиции pi Î P.

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

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

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

a) сеть бесконфликтная:

б) сеть конфликтная: