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. Построить сеть Петри. Описать позиции и переходы. Указать необходимую маркировку в начальный момент времени. Задача. Моделирование параллельной обработки файлов сервером базы данных. Из базы четыре программиста считывают файлы и, если необходима внести изменения, то вносят их. Причем, программисты могут обрабатывать не более трех файлов последовательно за день. Затем программисты отправляют файлы в базу данных.
Иванова Арина
Литературный институт им. А. М. Горького
Отличная работа, открытая коммуникация с исполнителем, выполнена работа досрочно.
Meri
Шуйский университет
Выражаю искреннюю благодарность за качественно выполненную работу. Работа отличается чётко...
Евгений
НВГУ
Второй раз пользуюсь услугами данной девушки, и снова всё идеально, без замечаний и раньше...
Иванова Арина
Литературный институт им. А. М. Горького
Не в первый раз выбираю Марину исполнителем. Как всегда, качественная работа и сдана заранее.