ВУЗ:
Составители:
29
3. Типы папок, доступных пользователю в DocsVision.
4. Типы регистрационных карточек, доступных пользователю в DocsVision.
5. Посредством вызова каких пунктов системного меню осуществляется контроль доступа к объектам DocsVision?
3. СЕТИ ПЕТРИ
Важным этапом при внедрении систем электронного документооборота, таких как DocsVision, является моделирование
используемых в них бизнес-процессов. Такое моделирование осуществляется посредством асинхронных нотаций (IDEF3,
EPC, Activity Diagrams и т.п.). Исследование результирующих моделей на корректность осуществляется средствами матема-
тического аппарата сетей Петри, рассмотрению которых посвящена эта глава.
Реальные дискретные системы состоят из разнообразных компонент, различающихся физическими свойствами, функ-
циональным назначением, сложностью внутренней структуры. Для того чтобы сконструировать адекватный математический
аппарат, предназначенный для моделирования систем, необходимо установить круг вопросов, которые должны решаться с
помощью моделей, и осуществить переход от физических сущностей к их абстракциям, сначала в форме некоторого (огра-
ниченного) набора концептуальных понятий, затем – в точных математических терминах.
Первый шаг на пути к построению модели дискретной системы – это абстрагирование от конкретных физических и
функциональных особенностей ее компонент. Компоненты системы и их действия представляют абстрактными событиями,
каковыми могут быть, например, исполнение оператора программы, переход триггера из состояния в состояние, прерывание
в операционной системе, операция станка или конвейерной линии, завершение этапа проекта и т.п.
Событие может произойти (реализоваться) один раз, повториться многократно, порождая конкретные действия (реали-
зация события), или не произойти ни разу. Совокупность действий, возникающих как реализации событий при функциони-
ровании дискретной системы, образуют процесс, порождаемый этой системой.
Реальная система функционирует во времени, события происходят в некоторые моменты времени и длятся некоторое
время. В синхронных моделях дискретных систем события явно привязаны к определенным моментам или интервалам вре-
мени, в которые происходит одновременное изменение всех состояний всех компонентов системы, трактуемое как измене-
ние общего состояния системы. Смена состояний происходит последовательно. Этот подход к моделированию больших па-
раллельных систем имеет ряд недостатков.
Во-первых, в большой системе приходится учитывать состояние всех компонент при каждой смене ее общего состоя-
ния, что делает модель громоздкой, особенно в тех случаях, когда локальные изменения касаются небольшого фрагмента
системы.
Во-вторых, при таком подходе исчезает информация о причинно-следственных связях между событиями в системе. На-
пример, если два события при функционировании системы произошли одновременно, то мы не знаем, произошло ли это
случайно или в этом факте скрыт какой-то функциональный смысл. Такие понятия, как конфликты между компонентами
системы (из-за ресурсов) или ожидание одним из компонентов результатов работы других компонентов, трудно выражаются
в терминах смены состояний системы.
В-третьих, в так называемых асинхронных системах события могут происходить внутри неопределенно больших ин-
тервалов времени, заранее трудно или нельзя указать более точно время их начала, конца и длительность.
Выходом может служить отказ от введения в модели дискретных систем времени и тактовых последовательностей из-
менений состояний, а замена их – причинно-следственными связями между событиями. Модели такого типа (в том числе
сети Петри) называют асинхронными. (Если возникает необходимость осуществить привязку ко времени, то моменты или
интервалы времени представляют как события. Таким образом, существенно синхронные системы могут описываться в тер-
минах асинхронных моделей.) Замена временных связей причинно-следственными дает возможность более наглядно опи-
сать структурные особенности функционирования систем.
Отказ от времени приводит к тому, что события в асинхронной модели рассматриваются или как элементарные (неде-
лимые, "мгновенные"), или как составные, имеющие некоторую внутреннюю структуру, образованную из "подсобытий".
При неформальном описании функционирования асинхронных моделей, в частности, сетей Петри, мы будем привлекать
временные отношения (раньше, позже, неодновременно и т.п.), когда это удобно или привычно, но они представляют лишь
результаты причинно-следственных отношений.
Взаимодействие событий в больших асинхронных системах имеет, как правило, сложную динамическую структуру.
Эти взаимодействия описываются более просто, если указывать не непосредственные связи между событиями, а те ситуа-
ции, при которых данное событие может реализоваться. При этом глобальные ситуации в системе формируются с помощью
локальных операций, называемых условиями реализации событий.
Условие имеет емкость: условие не выполнено (емкость равна 0), условие выполнено (емкость равна 1), условие выпол-
нено с n-кратным запасом (емкость равна n, n-целое положительное число). Условие соответствует таким ситуациям в моде-
лируемой системе, как наличие данного для операции в программе, состояние некоторого регистра в устройстве ЭВМ, нали-
чие деталей на конвейере и т.п. Определенные сочетания условий разрешают реализоваться некоторому событию (предусло-
вия события), а реализация события изменяет некоторые условия (постусловия события), т.е. события взаимодействуют с
условиями, а условия с событиями.
Таким образом предполагается, что для решения указанных в начале главы задач достаточно представлять дискретные
системы как структуры, образованные из элементов двух типов – событий и условий.
В сетях Петри события и условия представлены абстрактными символами из двух непересекающихся алфавитов, назы-
ваемых соответственно множеством переходов и множеством мест. В графическом представлении сетей переходы изобра-
жаются "барьерами", а места – кружками (см. рис. 7 – 9). Условия-места и события-переходы связаны отношением непосред-
ственной зависимости (непосредственной причинно-следственной связи), которое изображается с помощью дуг, ведущих из
Страницы
- « первая
- ‹ предыдущая
- …
- 25
- 26
- 27
- 28
- 29
- …
- следующая ›
- последняя »
