|
68 теты). Динамическое моделирование с использованием сетей Петри осуществляется на основании статической функциональной и частично информационной моделей. Соответствующие инструментальные средства (например, Design/CPN для SADT и CPN-AMI, INCOME для DFD) осуществляют автоматическое преобразование функциональных моделей в прообразы сетей Петри, которые затем дорабатываются вручную. Такое преобразование базируется на том, что маркер моделирует порцию потока данных, а позиция накопление и хранение таких порций. Каждая из диаграмм функциональной модели трансформируется в соответствующую компоненту (подсеть) иерархической сети Петри. При этом процессы и потоки DFD-диаграммы (активности и потоки SADT-диаграммы) отображаются, соответственно, переходами и позициями. Хранилища данных и внешние сущности также преобразуются в позиции для каждого входящего/исходящего потока (при этом для внешних сущностей маркируются позиции, соответствующие исходящим из них потокам). На основе информационной модели определяются правила срабатывания переходов в зависимости от значений, которые принимают атрибуты используемых сущностей. С использованием динамической модели подобного типа можно описать и проанализировать: • механизмы взаимодействия процессов (последовательность, параллелизм, альтернатива); • временные отношения между выполнениями процессов (одновременность, наложение, поглощение, одинаковое время запуска/завершения и т.п.); • абсолютные времена (длительность процесса, время запуска, зависимости от времени выполнения процесса и др.); • управление исключительными ситуациями, определяемое нарушениями. Построенные динамические модели позволяют осуществлять следую |
39 • введение многоместных (содержащих несколько маркеров) позиций, как последовательных, так и параллельных (сети Петри с многоместными позициями). Последнее вносит в работу сети специфику, характеризуемую правилами срабатывания переходов. Последовательная позиция соответствует дисциплине FIFO (first in first out): входящий маркер ставится в конец очереди, выходящий берется из ее начала. Поэтому срабатывание перехода обуславливается характеристиками начального маркера если эти характеристики являются неблагоприятными, то переход блокируется и функционирование сети прекращается. Из параллельной позиции может выйти любой из находящихся в ней маркеров, удовлетворяющий условию срабатывания перехода (при этом для избежания конфликтов маркерам присваиваются приоритеты) [100]. Динамическое моделирование с использованием сетей Петри осуществляется на основании статической функциональной и частично информационной моделей [100]. Соответствующие инструментальные средства (например, Design/CPN для SADT и CPN-AMI, INCOME для DFD) осуществляют автоматическое преобразование функциональных моделей в прообразы сетей Петри, которые затем дорабатываются вручную. Такое преобразование базируется на том, что маркер моделирует порцию потока данных, а позиция накопление и хранение таких порций. Каждая из диаграмм функциональной модели трансформируется в соответствующую компоненту (подсеть) иерархической сети Петри. При этом процессы и потоки DFD-диаграммы (активности и потоки SADT-диаграммы) отображаются, соответственно, переходами и позициями. Хранилища данных и внешние сущности также преобразуются в позиции для каждого входящего/исходящего потока (при этом для внешних сущностей маркируются позиции, соответствующие исходящим из них потокам). На основе информационной модели определяются правила срабатывания переходов в зависимости от значений, которые при 40 нимают атрибуты используемых сущностей [38]. С использованием динамической модели подобного типа можно описать и проанализировать: • механизмы взаимодействия процессов (последовательность, параллелизм, альтернатива); • временные отношения между выполнениями процессов (одновременность, наложение, поглощение, одинаковое время запуска / завершения и т.п.); • абсолютные времена (длительность процесса, время запуска, зависимости от времени выполнения процесса и др.); • управление исключительными ситуациями, определяемое нарушениями. Построенные динамические модели позволяют осуществлять следующие операции: • статический анализ системы (компоненты сети, иерархия сети, соответствие типов); • динамический анализ системы для конкретного маркирования сети; • имитационное моделирование системы с построением графиков движения маркеров относительно позиций сети в системном времени, определяемом моментами срабатывания переходов, и в реальном времени путем задания для переходов задержек времени, отображающих продолжительность реальных операций. Рассмотренные идеи получили серьезное развитие в имитационносхемном подходе к динамическому моделированию [61], в основе которого лежит иерархия моделей (имитационных схем), достоинство которой заключается в возможности исследования динамики работы каждой схемы независимо от других схем. Имитационная схема развивает аппарат сетей Петри и содержит в себе |