Базовые концепции структуризации и формализации имитационных систем - Технология разработки моделей

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

При структуризации определяются и неоднократно уточняются:

-           действующие в системе процессы и используемые ресурсы;

-           множество позиций (отображают в модели состояния процессов и ресурсов) и множество переходов (событий);

-           подмножество синхронизирующих (для описания параллельных процессов) переходов.

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

-           множества смежных с этим переходом позиций;

-           условий возбуждения перехода;

-           схема выполнения;

-           процедура перехода.

Условия возбуждения перехода – есть некоторый предикат, принима­ющий истинное значение, если реализуется некоторая разметка позиций множества Е (проверяются атрибуты меток). Схема выполнения определяет изменение разметки позиций сети при срабатывании перехода. Процедура перехода представляет собой правила вычисления атрибутов или добавления меток.

Программирование модели связано с описанием позиций и переходов сети, оформляемых с помощью некоторых языков программирования или моделирования, например GPSS.