Проверяемый текст
Калянов, Георгий Николаевич. Разработка и исследование методов, моделей и программных систем управления реорганизацией предприятий (Диссертация 1999)
[стр. 39]

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

(движение маркеров) происходит в результате выполнения (срабатывания) перехода на основе соответствующего внешнего события.
Точнее, переход срабатывает, если во всех его входных позициях имеются маркеры и происходит соответствующее переходу событие.
При этом из каждой входной позиции срабатываемого перехода маркер удаляется, а в каждую выходную позицию заносится.
Фактически сеть Петри декомпозирует систему на активные (переходы) и пассивные (позиции хранилища маркеров) элементы.
Следует отметить, что активно применяемые в структурном системном анализе диаграммы переходов состояний являются вырожденными сетями Петри, а именно, сетями с одним типом вершин (переходами).
На практике обычно применяются более сложные и развитые сети Петри.
Модификации, как правило, касаются следующих трех моментов: • введение иерархии (иерархические сети Петри); • определение различий в маркерах, каждый из которых имеет свои уникальные характеристики (цветные/раскрашенные сети Петри); • введение многоместных (содержащих несколько маркеров) позиций, как последовательных, так и параллельных (сети Петри с многоместными позициями).
Последнее вносит в работу сети специфику, характеризуемую правилами срабатывания переходов.
Последовательная позиция соответствует дисциплине FIFO (first in first out): входящий маркер ставится в конец очереди, выходящий берется из ее начала.
Поэтому срабатывание перехода обуславливается характеристиками начального маркера если эти характеристики являются неблагоприятными, то переход блокируется и функционирование сети прекращается.
Из параллельной позиции может выйти любой из находящихся в ней маркеров, удовлетворяющий условию срабатывания перехода (при этом для избежания конфликтов маркерам присваиваются приоритеты).

Динамическое моделирование с использованием сетей Петри осуществляется на основании статической функциональной и частично информационной моделей.

Соответствующие инструментальные средства (например, Design/CPN для SADT и CPN-AMI, INCOME для
49

[стр.,50]

DFD) осуществляют автоматическое преобразование функциональных моделей в прообразы сетей Петри, которые затем дорабатываются вручную.
Такое преобразование базируется на том, что маркер моделирует порцию потока данных, а позиция накопление и хранение таких порций.
Каждая из диаграмм функциональной модели трансформируется в соответствующую компоненту (подсеть) иерархической сети Петри.
При этом процессы и потоки DFD-диаграммы (активности и потоки SADT-диаграммы) отображаются, соответственно, переходами и позициями.
Хранилища данных и внешние сущности также преобразуются в позиции для каждого входящего/исходящего потока (при этом для внешних сущностей маркируются позиции, соответствующие исходящим из них потокам).
На основе информационной модели определяются правила срабатывания переходов в зависимости от значений, которые принимают
атрибуты используемых сущностей.
С использованием динамической модели подобного типа можно описать и проанализировать [168,169]: • механизмы взаимодействия процессов (последовательность, параллелизм, альтернатива); • временные отношения между выполнениями процессов (одновременность, наложение, поглощение, одинаковое время запуска/завершения и т.п.); • абсолютные времена (длительность процесса, время запуска, зависимости от времени выполнения процесса и др.); • управление исключительными ситуациями, определяемое нарушениями.
Построенные динамические модели позволяют осуществлять следующие операции: • статический анализ системы (компоненты сети, иерархия сети, соответствие типов); • динамический анализ системы для конкретного маркирования сети; • имитационное моделирование системы с построением графиков движения маркеров относительно позиций сети в системном времени, 50

[Back]