сеть Петри

1. Построить сеть Петри: P= {p1,p2,p3,p4,p5}; T= {t1,t2,t3,t4}; I(t1)= {p1,p1,p3}; O(t1)={p2,p4}; I(t2)= {p2,p3,p4}; O(t2)={p1,p2}; I(t3)= {p4,p4,p5}; O(t3)={p2,p3}; I(t4)= {p1}; O(t4)={p5,p5}; M(4,5,2,4,3). Определить какие переходы разрешены в начальный момент времени. Указать маркировку после первого последовательного срабатывания всех переходов. Указать будет ли сеть живой или тупиковой, безопасной, консервативной и k-ограниченной (если да, то указать чему равно k). 2. Представить сеть Петри из задания 1 в матричном виде. Определить маркировку при срабатывании переходов σ = (t1, t2, t1, t3). 3. Построить сеть Петри. Описать позиции и переходы. Указать необходимую маркировку в начальный момент времени. Задача. Программист считывает файлы, затем вносит в них изменения, если необходимо. Далее файл отправляется в базу данных. Последовательно за день можно вносить изменения не менее, чем в 10 файлов.

В прикрепленном файле работа, сделанная частично правильно