Контрольная работа: Чтение и запись с CD-R-устройств
F (p2 , t4) = 1
F (p2 , t5) = 2
F (p3 , t4) = 1
F (p5 , t4) = 1
F (p5 , t5) = 2
F (p4 , t7) = 1
F (p8 , t6) = 2
H (t1 , p1) = 1
H (t1 , p2) = 2
H (t1 , p5) = 2
H (t2 , p1) = 1
H (t2 , p2) = 1
H (t2 , p3) = 1
H (t2 , p5) = 1
H (t3 , p8) = 2
H (t4 , p4) = 1
H (t5 , p2) = 1
H (t5 , p8) = 1
H (t6 , p6) = 1
M0 = {2,0,0,0,0,0,0,0}
Граф разметок:
 | ||||
 | ||||
 | ||||
 | ||||
Замечание: одна или две фишки в данном графе соответствуют единице в ситуациях исходного процесса.
Свойства сети Петри:
1) Ограниченность сети. Места p 1 , p 2 , p 3 , p 4 , p 5 , p 6 , p 7 , p 8 являются ограниченными (существует число 
достижимой в сети разметки M справедливо 
)
вся сеть является ограниченной;
2) Безопасность сети. Места p 1 , p 2 , p 8 не являются безопасными (для этих мест не выполняется условие 
) вся сеть не является безопасной;
3) Живость сети. При 
переходы t 1 , t 2 , t 3 , t 4 , t 5 , t 6 , t 7 являются потенциально живыми в сети, но эти же переходы не являются живыми при любой достижимой в сети разметкесеть не является живой;
4) Устойчивость сети. Сеть не является устойчивой, так как существуют переходы, которые, сработав, могут лишить другой переход этой возможности: переходы 
, 
и t 3 взаимно блокируются;
Вывод.
1) Система выполняет те функции, для которых она предназначена;