logo
Процесс сухого электростатического копирования

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

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

Представление сети Петри для данного процесса:

N = <P, T, H, F, M0>, где

P = {C, S, P, V, L, F, T, K, N, G} - множество условий;

T={t1, t2, t3, t4, t5, t6, t7, t8, t9} - множество событий;

M0= (1, 1, 0, 0, 0, 0, 0, 0, 0, 0) - начальная разметка

F (C, t1) = 1

H (t1, C)

F (S, t1) = 1

H (t1, S)

F (V, t2) = 1

H (t1, V)

F (S, t2) = 1

H (t2, S)

F (P, t3) = 1

H (t2, P)

F (L, t3) = 1

H (t2, L)

F (P, t4) = 1

H (t3, P)

F (F, t4) = 1

H (t3, F)

F (P, t5) = 1

H (t4, P)

F (T, t5) = 1

H (t4, T)

F (P, t6) = 1

H (t5, P)

F (S, t6) = 1

H (t5, K)

F (K, t6) = 1

H (t5, V)

F (P, t7) = 1

H (t6, P)

F (N, t7) = 1

H (t6, N)

F (V, t7) = 1

H (t7, P)

F (P, t8) = 1

H (t7, G)

F (G, t8) = 1

H (t7, N)

F (N, t8) = 1

H (t8, V)

F (C, t9) = 1

H (t9, C)

F (S, t9) = 1

F (V, t9) = 1

Сеть Петри:

Граф разметок данной сети:

Покрывающее дерево будет выглядеть идентично.