ВУЗ:
Составители:
Двойные стрелки указывают кратные дуги (n-кратность дуг). Первона-
чально имеется s процессов чтения и t процессов записи. Инициализация
процесса чтения моделируется запуском перехода t
1
(удаление по одной
метке из позиции р
1
и р
2
). Тем самым исключается запуск перехода t
2
(ини-
циализация процесса запуска), поскольку число разрешающих меток в пози-
ции р
2
становится меньше кратности n дуг. Аналогично могут быть инициа-
лизированы все остальные s-1 процессов чтения и лишь по завершении их
всех (при наличии n меток в позиции р
2
) возможен запуск перехода t
2
, т.е.
инициализация записи.
t
S
Р
3
Р
1
Начало
чтения
Окончание
чтения
n
Начало
записи
Окончание
записи
n
n
t
4
t
3
t
1
t
2
Р
2
Запись
Чтение
Рис. 2.8. Модель задачи о чтении-записи
3. Моделирование двухстаночной системы с роботом манипуля-
тором
На рис. 2.9 приведена модель двухстаночной системы, обслуживаемой
роботом. Робот представлен динамическим элементом-меткой. Ее начальная
позиция р
1
соответствует обслуживанию станка 1, а позиция р
2
– обслужи-
ванию станка 2.
32
Страницы
- « первая
- ‹ предыдущая
- …
- 32
- 33
- 34
- 35
- 36
- …
- следующая ›
- последняя »
