Компьютерное моделирование. Замятина О.М. - 52 стр.

UptoLike

ВУЗ: 

ТПУ | Томск

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

Рубрика: 

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

Страницы