08 February 2009

Моделирование с помощью сетей Петри

  • Часть 1
  • | 2
  • | 3

Сеть Петри, которая моделирует бизнес-процесс, называется сеть WorkFlow (WF-net). WF-net удовлетворяет двум условиям.

Во-первых, WF-net имеет одно начальное (i) и одно конечное место (o). Фишка в позиции i соответствует тому, что процесс необходимо выполнить. Фишка в позиции o значит, что процесс уже был выполнен.

Во-вторых, в сети не должно быть тупиковых задач или условий. Каждая задача (переход) и условие (позиция) должны участвовать в процессе. Т.е. любой переход t (позиция p) должен быть на пути от i к o. Если соединить o и i дополнительным переходом t’, то второе требование соответствует связанности сети.

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

ЛИТЕРАТУРА

1. М. Балк. Первое знакомство с сетями Петри. © 1998 г. 

Котов В. Е. Сети Петри. - М.: Наука, 1984.

2. Питерсон Дж. Теория сетей Петри и моделирование систем. - М.: Мир, 1984.

3. Майника Э. Алгоритмы оптимизации на сетях и графах /Под ред. Е.К.Масловского - М.: Мир,1981. - 322 c.

предыдущаяследующая тема