69 щие операции: • статический анализ системы (компоненты сети, иерархия сети, соответствие типов); • динамический анализ системы для конкретного маркирования сети; • имитационное моделирование системы с построением графиков движения маркеров относительно позиций сети в системном времени, определяемом моментами срабатывания переходов, и в реальном времени путем задания для переходов задержек времени, отображающих продолжительность реальных операций. Рассмотренные идеи получили серьезное развитие в имитационносхемном подходе к динамическому моделированию, в основе которого лежит иерархия моделей (имитационных схем), достоинство которой заключается в возможности исследования динамики работы каждой схемы независимо от других схем. Имитационная схема развивает аппарат сетей Петри и содержит в себе три взаимоувязанные компоненты, получившие название исполнительной структуры, сценария и режиссера [63]. Исполнительная структура представляет собой графическую модель (процессо-ресурсно-объектный граф програф), описывающую потенциально возможные взаимодействия процессов, объектов и ресурсов. Сценарий работы схемы определяет порядок следования процессов (фактически ограничивая их потенциально возможные последовательности). Назначение режиссера схемы заключается в управлении исполнительной структурой в соответствии со сценарием, оценке ситуации, а также принятии решений по корректировке сценария и/или исполнительной структуры схемы. Разработка модели исполнительной структуры осуществляется в следующей последовательности: • строится каркас модели в виде прографа, вершины которого соответствуют процессам и накопителям, содержащим ресурсы и объекты; • вводятся атрибуты ресурсов и объектов, при этом соответствующие |
40 нимают атрибуты используемых сущностей [38]. С использованием динамической модели подобного типа можно описать и проанализировать: • механизмы взаимодействия процессов (последовательность, параллелизм, альтернатива); • временные отношения между выполнениями процессов (одновременность, наложение, поглощение, одинаковое время запуска / завершения и т.п.); • абсолютные времена (длительность процесса, время запуска, зависимости от времени выполнения процесса и др.); • управление исключительными ситуациями, определяемое нарушениями. Построенные динамические модели позволяют осуществлять следующие операции: • статический анализ системы (компоненты сети, иерархия сети, соответствие типов); • динамический анализ системы для конкретного маркирования сети; • имитационное моделирование системы с построением графиков движения маркеров относительно позиций сети в системном времени, определяемом моментами срабатывания переходов, и в реальном времени путем задания для переходов задержек времени, отображающих продолжительность реальных операций. Рассмотренные идеи получили серьезное развитие в имитационносхемном подходе к динамическому моделированию [61], в основе которого лежит иерархия моделей (имитационных схем), достоинство которой заключается в возможности исследования динамики работы каждой схемы независимо от других схем. Имитационная схема развивает аппарат сетей Петри и содержит в себе 41 три взаимоувязанные компоненты, получившие название исполнительной структуры, сценария и режиссера. Исполнительная структура [19] представляет собой графическую модель (процессо-ресурсно-объектный граф програф), описывающую потенциально возможные взаимодействия процессов, объектов и ресурсов. Сценарий работы схемы определяет порядок следования процессов (фактически ограничивая их потенциально возможные последовательности). Назначение режиссера схемы заключается в управлении исполнительной структурой в соответствии со сценарием, оценке ситуации, а также принятии решений по корректировке сценария и/или исполнительной структуры схемы. Разработка модели исполнительной структуры осуществляется в следующей последовательности [19]: • строится каркас модели в виде прографа, вершины которого соответствуют процессам и накопителям, содержащим ресурсы и объекты; • вводятся атрибуты ресурсов и объектов, при этом соответствующие накопители преобразуются в таблицы, строки которых сопоставлены атрибутам, а столбцы экземплярам объектов(значениям ресурсов); • выполняемые процессами преобразования задаются в виде процедур над таблицами. Построенная модель является объектом имитационного эксперимента на временной шкале (шкале тактности). Результаты эксперимента представляются временными графиками движения объектов и изменения состояний накопителей. Специфика модели заключается в: • разделении атрибутов на первичные (зависимые и независимые), задаваемые извне, и вторичные, вычисляемые переходами модели при ее функционировании; • семантическом разделении переходов на простые переходы, переключатели и приоритетные выборки; |