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

UptoLike

ВУЗ: 

ТГТУ | Тамбов

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

Рубрика: 

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

Страницы