http://npc-news.ru/

Применение сетей Петри

Применение сетей Петри для моделирования потоков работ. Моделирование потоков работ в реальных системах производят с использованием сетей Петри высокого уровня, например раскрашенных или вложенных сетей.

Во вложенных сетях [18] сетевые фишки имеют свою соб­ственную структуру. Правила срабатывания для них те же, что и для элементарных сетей Петри, при этом после автономно­го срабатывания перехода элементная сеть с новой разметкой остается в прежней позиции системной сети. Кроме того, во вло­женных сетях предусмотрен механизм вертикальной синхрони­зации срабатывания переходов. Моделируемый процесс пред­ставляется сетью Петри, причём каждый этап его выполнения — переходом сети Петри, условие передачи управления — позици­ей сети Петри, информация, использующаяся при выполнении процесса, — маркерами сети Петри.

В качестве математического аппарата часто используются цветные (раскрашенные) иерархические сети Петри (рис. 2.6). Рассмотрим пример описания работы фрагмента вычислитель­ной системы. Она содержит центральный процессор, три внеш­них устройства d\,d2,d3 и два канала ввода/вывода а и Ь. С каждым каналом связана фишка с соответствующим цветом (именем), представленным определённым символом. При этом внешнее устройство cl\ использует канал а, устройство d3 исполь­зует канал Ь, внешнее устройство d2 — каналы а и Ь.

Условия срабатывания переходов заданы соответствующими таблицами. В сети имеются дополнительные фишки а,(3,7,Ј — эти фишки являются внутренними для моделируемой системы.

В таблице переходов затемненный столбец символизирует пе­реход. Столбцы, расположенные слева от затемненного столбца связываются с входными местами перехода и в совокупности содержат сочетание конкретных фишек, при которых может сработать переход. Столбцы, стоящие справа от затемненного столбца, указывают на признаки или на вид фишек, которые будут переданы выходным местам.

Основным направлением в этой области в настоящее вре­мя является реализация концепции объектно-ориентированных сетей Петри и поддержка стандарта UML с внесением в него необходимых для представления объектно-ориентированных се­тей Петри расширений. В качестве программной поддержки используются различные симуляторы сетей Петри, которые ав­томатизируют процесс создания и исследования модели.

Сети Петри, представляющие описание потоков работ (про­цесса в workflow-системе), выделяют в отдельный класс сетей Петри, WPN (Workflow Petri Nets), т.к. они обладают особыми свойствами, которые обусловлены ограничениями, накладывае­мыми на структуру потока работ. Объектно-ориентированные расширения сетей Петри (объектно-ориентированные сети Пет­ри), позволяют интегрировать возможности workflow и UML для описания, анализа, моделирования и управления бизнес- процессами современного предприятия с использованием откры­тых стандартов представления информации. Моделирование позволяет описывать и верифицировать процессы, оценивать эффективность их выполнения с использованием стоимостного анализа, а также интегрировать описание процесса с моделью данных предприятия. Структура создаваемых в CASE-средстве сетей Петри соответствует основным ограничениям, возникаю­щим при моделировании потоков работ в системах workflow.


Комментарии закрыты.