Моделирование сетей. Замятина О.М. - 57 стр.

UptoLike

ВУЗ: 

ТПУ | Томск

Составители: 

Рубрика: 

57
временная сеть Петри (переходы обладают весом, определяю-
щим продолжительность срабатывания – задержку);
стохастическая сеть Петри (задержки являются случайными ве-
личинами);
функциональная сеть Петри (задержки определяются как функ-
ции некоторых аргументов, например: количества меток в каких-либо
позициях, состояния некоторых переходов);
цветная (раскрашенная) сеть Петри (метки могут быть различных
типов, обозначаемых цветами, тип метки может быть использован как
аргумент в функциональных сетях).
Основными свойствами сети Петри являются:
ограниченность (число меток в любой позиции сети не может
превысить некоторого значения K);
безопасность (частный случай ограниченности);
сохраняемость (постоянство загрузки ресурсов);
достижимость (возможность перехода сети из одного заданного
состояния, характеризуемого распределением меток, в другое);
живость (возможностью срабатывания любого перехода при
функционировании моделируемого объекта).
Среди достоинств аппарата сетей Петри можно указать следующие:
позволяет моделировать асинхронность и недетерминизм парал-
лельных независимых событий (в сети Петри могут одновременно
и независимо друг от друга сработать несколько переходов), конфликт-
ные взаимодействия между процессами;
позволяет использовать единые методологические позиции для
описания программного обеспечения, аппаратных средств и информа-
ционного обмена между системами;
предоставляет возможность введения любой степени иерархиче-
ской детализации описываемых программных и аппаратных подсистем
модели;
имеет большую анализирующую мощность, которая позволяет
формальными средствами доказывать существование или отсутствие
определенных состояний сети Петри.
Однако формальная модель сетей Петри, в силу своей универсаль-
ности, имеет ряд недостатков, затрудняющих практическое применение
для моделирования сложных систем. К основным таким недостаткам
можно отнести следующие:
высокая трудоемкость анализа сетей большой размерности,
а реальные бизнес-процессы предприятия моделируются именно сетями
большой размерности;

Страницы