Процесс установки модемного соединения (стр. 3 из 4)

3) если в

компонента , то

4) если

, то

Таким образом, выбрав в качестве дополнительного процесса небольшой подпроцесс, предшествующий основному процессу, построили композицию этих процессов путём выделения входных и выходных компонент соответствующих процессов и последующего их (процессов) сцепления. Исходный процесс не стали упрощать с помощью репозиции, так как по смыслу данной композиции модель должна сохранить свою целостностью. Получившийся процесс

представляет собой несколько усложнённый исходный процесс.

5. Предметная интерпретация асинхронного процесса

Предметная интерпретация согласована с приложением и зависит от специфики решаемой задачи.

1) Система выполняет те функции, для которых она предназначена;

2) Данная система функционирует эффективно;

3) В исходном АП ошибки и аварийные ситуации возникнуть не могут (именно в рамках рассматриваемого процесса), в редуцированном процессе есть потенциально узкие места – не оговаривается условие остановки процесса;

4) Систему упростить нельзя, т.к. она уже является достаточно упрощённой, процесс не является функционально избыточным, но тем не менее некоторые компоненты можно изменить в сторону упрощения.

5.1 Построение сети Петри

Сетью Петри называется пятёрка

.

- конечное непустое количество условий;

- конечное непустое количество событий;

- функция инцидентности;

- функция инцидентности;

- начальная разметка.

- контроллер работает;

- происходит модуляция сигнала;

- происходит модуляция сигнала;

- кодирование фрагмента информации;

- декодирование фрагмента информации;

- функционирует реле;

- включен режим ожидания;

- получен ответ от другого модема;

- флаг установлен.

- переход к режиму ожидания;

- переход к набору номера;

- переход к состоянию, когда получен ответ (от режима ожидания);

- переход к состоянию, когда получен ответ (от режима набора номера);

- переход к демодуляции входящего сигнала;

- переход к кодированию исходящего фрагмента информации;

- переход к декодированию входящего фрагмента информации;

- переход к модуляции исходящего сигнала.

Граф разметок:

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

1) Ограниченность сети. Места

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

2) Безопасность сети. Места

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

3) Живость сети. При

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

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

и взаимно блокируются;

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

Заключение

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

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