Процесс сухого электростатического копирования
5.1 Свойства мест сети Петри
Ограниченность и безопасность:
сеть ограничена, так как все ее условия ограничены. Все условия ограничены, т.к. существует число n такое, что для любой достижимой в сети N разметки М справедливо неравенство: М (р) ? n. В данном случае n = 1.
сеть является безопасной, т.к. все ее условия являются безопасными. Все условия безопасны, т.к. для каждой разметки М, достижимой в сети N, имеет место условие:
М (р) ? 1. Т.о. любая достижимая в безопасной сети разметка представляет собой вектор из нулей и едениц.
Содержание
- 1. Задание
- 2. Описание процесса
- 3. Построение метамодели "асинхронный процесс"
- 3.1 Компоненты рассматриваемого процесса
- 3.2 Множество ситуаций рассматриваемого процесса
- 3.3 Описание модели "асинхронный процесс"
- 3.4 Траектории выполнения процесса и классы эквивалентности ситуаций
- 4. Операции над процессами
- 4.1 Репозиция процесса
- 4.2 Редукция
- 4.3 Композиция
- 5. Построение сети Петри
- 5.1 Свойства мест сети Петри
- 5.2 Свойства переходов сети Петри
- Заключение
Похожие материалы
- Средства копирования документов
- 3.1 Средства копирования документов
- Тема 4.5. Принцип электростатической фотографии
- 2. Методы копирования и тиражирования информации
- 1.1. Электрографическое копирование
- Копировальная техника. Электрографическое копирование. Термографическое копирование
- Средства копирования документов
- 1.1. Электрографическое копирование
- Средства изготовления, копирования и размножения
- Средства копирования документов