Контрольная работа: Процесс установки модемного соединения

Свойства сети Петри:

1) Ограниченность сети. Места являются ограниченными (существует число достижимой в сети разметки M справедливо ) вся сеть является ограниченной;

2) Безопасность сети. Места являются безопасными (разметки M имеет место ) вся сеть является безопасной;

3) Живость сети. При переходы являются потенциально живыми в сети, но эти же переходы не являются живыми при любой достижимой в сети разметкесеть не является живой;

4) Устойчивость сети. Сеть не является устойчивой, так как существуют переходы, которые, сработав, могут лишить другой переход этой возможности: переходы и взаимно блокируются;

На основе построенной модели была создана сеть Петри для заданного процесса. В качестве ситуаций были взяты компоненты исходного процесса. Между ситуациями были расставлены переходы, а также установлена начальная разметка. После был построен граф разметок, который полностью совпал с исходным графом процесса, что свидетельствует о правильности построения и функционирования сети Петри.

Заключение

асинхронный процесс репозиция сеть петри

АП является общей моделью описания динамики поведения параллельно функционирующих систем. Эта модель задаёт допустимые последовательности действий над некоторыми объектами систем, каждой из которых соответствует некоторая траектория АП. АП – модель управляющей структуры системы. АП можно понимать как метамодель, порождающую различные широко используемые динамические модели. Порождение частных моделей использует механизм интерпретации АП.

В данном РГЗ рассматривается процесс функционирования модема. Процесс представляется в сильно упрощенном виде, т.к. целью выполнения задания является не построение сложной модели, близкой к реальной, а изучение основ создания модели «асинхронный процесс», операций над процессом. Результатом является построение модели, с помощью которой можно проанализировать заданный процесс: выделены компоненты и ситуации процесса, построен граф (наглядное представление функционирования процесса), проведены операции над процессом: репозиция – повторное выполнение передачи фрагмента информации; редукция – выделение в исходном процессе подпроцесса по непосредственному приёму информации; композиция – построение последовательной композиции из исходного процесса и вновь созданного подпроцесса). Проведена предметная интерпретация АП: процесс эффективен, но есть узкое место в функционировании системы после репозиции. Описаны составляющие модели «асинхронный процесс», используя понятия модели «сеть Петри». Проведён анализ свойств мест сети Петри на ограниченность и безопасность: сеть ограниченная и безопасная. Проведён анализ свойств переходов сети Петри на живость и устойчивость: сеть не является потенциально живой, и не является устойчивой.