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

38 выполнения оценок: • построение статической функциональной модели (с использованием SADT или DFD-нотации); • расширение статической модели поведенческими или стоимостными характеристиками ее объектов, соответственно; • сбор и ввод в модель необходимой фактической информации; • «исполнение» модели и получение соответствующих оценок.
Сеть Петри
[38, 61] представляет собой ориентированный граф с вершинами двух типов (позициями и переходами), в котором дугами могут соединяться только вершины различных типов.
В позиции сети помещаются специальные маркеры
(«фишки»), перемещение которых и отображает динамику моделируемой системы.
Изменение маркировки
(движение маркеров) происходит в результате выполнения (срабатывания) перехода на основе соответствующего внешнего события.
Точнее, переход срабатывает, если во всех его входных позициях имеются маркеры и происходит соответствующее переходу событие.
При этом из каждой входной позиции срабатываемого перехода маркер удаляется, а в каждую выходную позицию заносится.
Фактически сеть Петри декомпозирует систему на активные (переходы) и пассивные (позиции хранилища маркеров) элементы.
Следует отметить, что активно применяемые в структурном системном анализе диаграммы переходов состояний являются вырожденными сетями Петри, а именно, сетями с одним типом вершин (переходами).
На практике обычно применяются более сложные и развитые сети Петри.
Модификации, как правило, касаются следующих трех моментов
[100]: • введение иерархии (иерархические сети Петри); • определение различий в маркерах, каждый из которых имеет свои уникальные характеристики (цветные/раскрашенные сети Петри);
[стр. 48]

результатов анализа (и прежде всего с этапом проектирования, непосредственно следующим за анализом и опирающимся на его результаты).
DFD могут быть легко преобразованы в модели проектирования (структурные карты) это близкие модели.
Более того, известен ряд алгоритмов автоматического преобразования иерархии DFD в структурные карты различных видов, что обеспечивает логичный и безболезненный переход от этапа анализа требований к проектированию системы.
С другой стороны, автору неизвестны формальные методы преобразования SADT-диаграмм в проектные решения системы обработки информации.
§ 1.5.
Методы оценки деятельности предприятий Среди большого числа методов оценки деятельности предприятий наибольшее распространение в средствах автоматизированной поддержки управления реорганизацией предприятий получили следующие два: • метод динамического функционального анализа на основе сетей Петри различного вида [100-103, 168, 169]; • метод функционально-стоимостного анализа АВС [64].
Каждый из этих методов регламентирует следующие основные этапы выполнения оценок: • построение статической функциональной модели (с использованием SADT или DFD-нотации); • расширение статической модели соответственно поведенческими или стоимостными характеристиками ее объектов; • сбор и ввод в модель необходимой фактической информации; • “исполнение” модели и получение соответствующих оценок.
Сеть Петри
представляет собой ориентированный граф с вершинами двух типов (позициями и переходами), в котором дугами могут соединяться только вершины различных типов.
В позиции сети помещаются специальные маркеры
(“фишки”), перемещение которых и отображает динамику моделируемой системы.
Изменение маркировки
48

[стр.,49]

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

[Back]