logo
Процесс установки модемного соединения

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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