Технология разработки моделей

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

При структуризации определяются и неоднократно уточняются: действующие в системе процессы и используемые ресурсы;

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

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

процессов) переходов.

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

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

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

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

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

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

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