Интеллектуальный анализ выполнения бизнес-процессов в системе электронного документооборота. Матвейкин В.Г - 28 стр.

UptoLike

ВУЗ: 

ТГТУ | Тамбов

Составители: 

Рубрика: 

30
мест в переходы и из переходов в места. Места, из которых ведут дуги на данный переход, называются его входными места-
ми. Места, на которые ведут дуги из данного перехода, называются его выходными местами.
В сети на рис. 7, а места
1
p
и
2
p
являются входными для перехода
1
t
, а места
3
p
и
4
p
– выходными. В этом примере
событие-переход
1
t
непосредственно зависит от условий-мест
1
p
и
2
p
, а места
3
p
и
4
p
непосредственно зависят от
1
t
. В
этой же сети место
2
p
является входным одновременно для двух переходов
1
t
и
2
t
, место
6
p
является выходным одновре-
менно для двух переходов
3
t
и
4
t
.
Выполнение условия изображается разметкой соответствующего места, а именно помещением числа n или n фишек
(маркеров) в это место, где
0>n
– емкость условия:
– условие
p
не выполнено;
– условие
p
выполнено;
– условие
p
имеет емкость 3;
5
– условие
p
имеет емкость 5.
a)
1
p
1
t
3
p
3
t
4
t
5
p
2
t
6
p
б)
1
p
1
t
3
p
3
t
4
t
5
p
2
t
6
p
в)
1
p
2
p
1
t
3
p
3
t
4
t
5
p
2
t
6
p
г)
1
p
1
t
3
p
3
t
4
t
5
p
2
t
6
p
Рис. 7. Пример 1
Динамика поведения моделируемой системы находит свое отражение в функционировании (работе) сети Петри. Не-
формально работу сети можно представить как совокупность локальных действий, которые называются срабатываниями
переходов. Они соответствуют реализациям событий и приводят к изменению разметки мест, т.е. к локальному изменению
условий в системе.
Переход может сработать если выполнены все условия реализации соответствующего события. Например, для так на-
зываемых ординарных сетей Петри (частный случай принятой в настоящее время версии сетей Петри, введенный им в пер-
вой работе) все входные места перехода должны содержать хотя бы по одной фишке.
Срабатывание перехода – неделимое действие, изменяющее разметку его входных и выходных мест следующим обра-
зом: из каждого входного места изымается по одной фишке. Тем самым реализация события, изображаемого переходом, из-
меняет состояние (емкость) непосредственно связанных с ним условий так, что емкость предусловий, вызвавших реализа-
цию этого события, уменьшается, а емкость постусловий, на которые оно влияет, увеличивается. Переход
1
t
на рис. 7, а мо-
жет сработать, так как оба его входных места
1
p
и
2
p
содержат фишки, а после срабатывания
1
t
разметка его входных и
выходных мест изменяется так, как показано на рис. 7, б.
Если два (и более) перехода могут сработать и они не имеют общих входных мест, то их срабатывания являются неза-
висимыми действиями, осуществляемыми в любой последовательности или параллельно.
Если несколько переходов могут сработать и имеют общее входное место (как переходы
1
t
и
2
t
на рис. 7, а), то сраба-
тывает только один, любой из них. При этом может оказаться, что, сработав, этот переход лишит возможности сработать
другие переходы (рис. 7, б и г). Таким способом события могут исключить возможность реализации других. В сети никак не
указывается, каким образом конфликт следует фактически разрешить. Считается, что решение о том, какое из конфликтую-
щих событий следует реализовать, принимается вне формализма сети, т.е. поведение сети носит недоопределенный недетер-
минированный характер. Аналогичный конфликт возникает в том случае, когда несколько переходов могут сработать и они
имеют общие выходные места, как переходы
3
t
и
4
t
(рис. 7, б и в).
В процессе функционирования сети происходит смена разметок мест как результат срабатывания ее переходов. Сеть
останавливается, если ни один из ее переходов не может сработать (рис. 7, в и г).
а) б)
г)
в)

Страницы