Для задач имитационного моделирования наибольшие возможности имеют расширения сетей Петри, в особенности аппарат Е-сетей.[ ...]
Е-сети являются безопасными, т.е. для всех позиций М(Ь)<=1, однако выполнение этого условия поддерживается в сети искусственно, за счет изменения логики работы перехода.[ ...]
Для Е-сетей определены пять основных типов переходов (рис. 1.10). Логика работы переходов задается указанием разрешенных смен разметок. Срабатывание перехода типа ТЕ (рис. 1.10,а) происходит при наличии метки во входной позиции bt и отсутствии метки в выходной позиции Ь2, т.е.[ ...]
Приведенные выше пять основных типов переходов позволяют моделировать различные ситуации, встречающиеся в реальных системах. Переход ТЕ моделирует событие, наступающее при выполнении одного условия. В случае необходимости двух условий используется переход JE. Разветвление потока информации отображается в переходе При необходимости изменения направления потока информации по некоторому условию используется переход типа ХЕ. Переход типа отражает приоритетность, устанавливаемую для одних потоков информации по отношению к другим. При этом в зависимости от внутренней логики позиции возможно представление различных приоритетов для потоков меток: фиксированное, в виде функции от описателей меток или от внешних переменных системы.[ ...]
Если решающая позиция Ь, е (В/ВР), то ее состояние устанавливается обычным для сетей Петри образом в результате срабатывания переходов сети.[ ...]
Функционирование перехода Е-сети определяется как последовательность четырех фаз.[ ...]
Примеры Е-сетевых моделей приведены в главе 5.[ ...]
Рисунки к данной главе:
| Базовый выбор Е-сетевых переходов. |
 |