T = {T1, T2, T3, T4, T5, T6, T7}
P = {P1, P2, P3, P4, P5, P6, P7}
P1 - использование памяти
P2 - работа записывающей головки
P3 - наличие заголовка
P4 - работа механизма, проверяющего наличие защиты
P5 - отсутствие защиты
P6 - наличие свободного места
P7 - наличие запроса на запись
Разметки в ходе выполнения процесса совпадают с ситуациями исходного процессас введенной выше заменой.
Построим сеть Петри:
Построим граф разметок:
В данном случае полное покрывающее дерево совпадает с графом разметок.
Свойства сети:
1) Места P1, P2, P3, P4, P5, P6, P7 являются ограниченными (т.е. существует такой номер n=1, при котором для любой достижимой в сети разметке для отдельно взятого места выполняется M(P) 
n) 
сеть является ограниченной (т.к. все ее места являются ограниченными)
) Места P1, P2, P3, P4, P5, P6, P7 являются безопасными (т.е. для любой достижимой в сети разметке для отдельно взятого места выполняется M(P) 1) сеть является безопасной (т.к. все ее места являются безопасными)
3) Переходы T1, T2, T3, T4, T5, T6, T7 являются потенциально живыми (т.е. существует разметка M=M0, при которой переходы являются достижимыми), но не являются живыми (т.е. они не являются потенциально живыми при любой достижимой в сети разметке) сеть не является живой (т.к. не все ее переходы являются живыми)
) Переходы T7 являются устойчивым (т.к. для отдельно взятой разметки если переход может сработать, то никакой другой переход, сработав, не может лишить его этой возможности), а T1, T2, T3, T4, T5, T6 не являются устойчивыми 
сеть не является устойчивой (т.к. не все ее переходы являются устойчивыми)
Вывод: В качестве модели для построения сети Петри был взят исходный процесс подготовки записи на дискету. В процессе построения были определены места сети как отдельные компоненты процесса, разметки, отображающие состояние процесса в определенный момент времени (т.е. ситуации), и переходы, задающие смену разметок. Затем был построен граф сети, граф разметок и полное покрывающее дерево, совпадающее с графом разметок. Было выявлено, что сеть является ограниченной и безопасной, но не является ни живой, ни устойчивой. Полное покрывающее дерево совпало с графом процесса, что свидетельствует о правильности построения сети Петри.
Заключение
Модель - представление в математических терминах того, что считается наиболее характерным в изучаемом объекте или системе.
Каждая модель отражает те или иные аспекты поведения системы. Наличие общих свойств у таких моделей позволяет предположить некоторую метамодель, которая порождает частные объектные модели.
Метамодель - модель, применяемая для исследования и описания некоторого класса моделей. В данном РГЗ в качестве метамодели мы рассмотрели модель “Асинхронный процесс”.
В качестве процесса был взят процесс подготовки записи на дискету. Для данного процесса была построена метамодель “Асинхронный процесс”: были выявлены компоненты процесса, ситуации, возникающие в ходе выполнения процесса. Среди ситуаций данного процесса были выявлены инициаторы, т.е. ситуации, инициирующие процесс, и результанты, т.е. ситуации, завершающие процесс. Также были определены траектории переходов процесса от инициаторов к результантам. Было выявлено, что данный процесс является эффективным, но не является ни простым, ни управляемым. Затем был построен граф процесса. Для данного процесса были произведены операции: репозиция как средство возобновления процесса при возникновения повторного запроса на запись (репозиция является частичной и частично приведенный процесс совпадает с исходным), редукция как выделение подпроцесса функционирования исходного процесса при наличии заголовка дискеты и отсутствии защиты, последовательная композиция как объединение исходного процесса и дополнительного процесса (форматирования дискеты) при отсутствии заголовка у дискеты. В качестве модели для построения сети Петри был взят исходный процесс подготовки записи на дискету. В процессе построения были определены места сети как отдельные ситуации процесса, разметки, отображающие состояние процесса в определенный момент времени, и переходы, задающие смену разметок. Затем был построен граф сети, граф разметок и полное покрывающее дерево, совпадающее с графом разметок. Было выявлено, что сеть является ограниченной и безопасной, но не является ни живой, ни устойчивой.