Построение сети Петри

Сетью Петри называется пятерка N = <P, T, M₀, H, F>, где

Р = {p₁,...,p_n} - конечное непустое множество условий

T = {t₁,...,t_m} - конечное непустое множество событий

 - функция инцидентности

М₀: Р ® {0, 1, 2,...} - начальная разметка.

Сеть Петри есть модельная интерпретация АП.Ситуациями в сети является начальная разметка М₀ и все разметки, достижимые от М₀, т.е. МÎR(N). Отношение F для любой возможной разметки М задает все разметки, которые могут непосредственно следовать за М. Очевидно, что на множестве R(N) можно определить отношение эквивалентности разметок и задать отношение F непосредственного следования для классов эквивалентности.

Построим сеть Петри для следующей траектории рассматриваемого процесса:

, что семантически соответствует успешному процессу записи данных.

Выпишем значения компонент. Компонента E во всех ситуациях равна 0, поэтому эта компонента не учитывается при построении сети Петри.

119.	120.K	121.S	122.W	123.P	124.C	125.F
126.	127.1	128.0	129.0	130.0	131.0	132.0
133.	134.1	135.1	136.0	137.0	138.0	139.0
140.	141.1	142.1	143.1	144.0	145.0	146.0
147.	148.1	149.1	150.0	151.1	152.0	153.0
154.	155.1	156.1	157.0	158.0	159.1	160.0
161.	162.1	163.1	164.0	165.0	166.0	167.1

Формальное описание:

N=< >