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

UptoLike

ВУЗ: 

ТПУ | Томск

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

Рубрика: 

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

Страницы