сеть петри математика

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

2. Построить сеть Петри. Описать позиции и переходы. Указать необходимую маркировку в начальный момент времени.

Задача. Моделирование последовательной обработки файлов из базы данных. Программист из базы данных, в которой находится N файлов, считывает файлы, по три файла за один раз. Затем вносит в них изменения, если необходимо. Далее файлы отправляется в базу данных. Последовательно за день можно вносить изменения не более, чем в 30 файлов и не менее, чем в 20 только.