Контрольная работа: Процесс установки модемного соединения
Обеспечены условия 1, 2, 3, 4:
1)
,
:
2) выходные компоненты 
ситуаций из 
равны входной компоненте 
ситуации из 
3) если в 
компонента 
, то 
4) если 
, то
Таким образом, выбрав в качестве дополнительного процесса небольшой подпроцесс, предшествующий основному процессу, построили композицию этих процессов путём выделения входных и выходных компонент соответствующих процессов и последующего их (процессов) сцепления. Исходный процесс не стали упрощать с помощью репозиции, так как по смыслу данной композиции модель должна сохранить свою целостностью. Получившийся процесс 
представляет собой несколько усложнённый исходный процесс.
5. Предметная интерпретация асинхронного процесса
Предметная интерпретация согласована с приложением и зависит от специфики решаемой задачи.
1) Система выполняет те функции, для которых она предназначена;
2) Данная система функционирует эффективно;
3) В исходном АП ошибки и аварийные ситуации возникнуть не могут (именно в рамках рассматриваемого процесса), в редуцированном процессе есть потенциально узкие места – не оговаривается условие остановки процесса;
4) Систему упростить нельзя, т.к. она уже является достаточно упрощённой, процесс не является функционально избыточным, но тем не менее некоторые компоненты можно изменить в сторону упрощения.
5.1 Построение сети Петри
Сетью Петри называется пятёрка
.
- конечное непустое количество условий;
- конечное непустое количество событий;
- функция инцидентности;
- функция инцидентности;
- начальная разметка.
- контроллер работает;
- происходит модуляция сигнала;
- происходит модуляция сигнала;
- кодирование фрагмента информации;
- декодирование фрагмента информации;
- функционирует реле;
- включен режим ожидания;