5.1 Построение сети Петри
Сетью Петри называется пятёрка.
- конечное непустое количество условий;
- конечное непустое количество событий;
- функция инцидентности;
- функция инцидентности;
- начальная разметка.
- контроллер работает;
- происходит модуляция сигнала;
- происходит модуляция сигнала;
- кодирование фрагмента информации;
- декодирование фрагмента информации;
- функционирует реле;
- включен режим ожидания;
- получен ответ от другого модема;
- флаг установлен.
- переход к режиму ожидания;
- переход к набору номера;
- переход к состоянию, когда получен ответ (от режима ожидания);
- переход к состоянию, когда получен ответ (от режима набора номера);
- переход к демодуляции входящего сигнала;
- переход к кодированию исходящего фрагмента информации;
- переход к декодированию входящего фрагмента информации;
- переход к модуляции исходящего сигнала.
Граф разметок:
Свойства сети Петри:
1) Ограниченность сети. Места являются ограниченными (существует число достижимой в сети разметки M справедливо ) вся сеть является ограниченной;
2) Безопасность сети. Места являются безопасными (разметки M имеет место ) вся сеть является безопасной;
3) Живость сети. При переходы являются потенциально живыми в сети, но эти же переходы не являются живыми при любой достижимой в сети разметкесеть не является живой;
4) Устойчивость сети. Сеть не является устойчивой, так как существуют переходы, которые, сработав, могут лишить другой переход этой возможности: переходы и взаимно блокируются;
На основе построенной модели была создана сеть Петри для заданного процесса. В качестве ситуаций были взяты компоненты исходного процесса. Между ситуациями были расставлены переходы, а также установлена начальная разметка. После был построен граф разметок, который полностью совпал с исходным графом процесса, что свидетельствует о правильности построения и функционирования сети Петри.
- Модемное соединение (dial-up) (Подключение по коммутируемой телефонной линии)
- 5.3.4.1. Коммуникационный модемный интерфейс
- Существуют следующие типы соединений: Модемное соединение с Интернет.
- Модемный доступ
- Нуль-модемный кабель
- Объединение модемного пула с Firewall
- Модемное соединение с провайдером.
- Высокоскоростное модемное соединение.
- Модемное соединение (dial-up)