Моделирование функционирования программного обеспечения с применением сетей Петри

С помощью сетей Петри можно моделировать следующее:

· программное и аппаратное обеспечение ЭВМ;

· физические и социальные явления.

Сети Петри могут моделировать поток информации и различные ресурсы системы. Простое представление системы сетью Петри основано на двух понятиях: событиях и условиях.

События – это действия, имеющие место в системе. Возникновением событий управляет состояние системы. Состояние системы может быть описано множеством условий.

Условие- предикат или логическое описание состояния системы. Условие может принимать либо «истина», либо «ложь». Для того, чтобы событие произошло, необходимо выполнение соответствующих условий. Эти условия называются предусловиямисобытия. Возникновение события может вызвать нарушение предусловий и может привести к выполнению других условий - постусловий.

В рамках квалификационной работы будет смоделирован алгоритм запросов к базе данных, который представлен на рис. 19, 20.

Рис. 19 – Блок-схема алгоритма запросов к БД

Рис. 20 – Алгоритм функции сортировки полей БД

В результате моделирования получена Сеть Петри, которая представлена на листе А1.

Дата добавления: 2015-10-13