fundamentals of control flow in workflows qut_expr_rep
TRANSCRIPT
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
1/62
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
2/62
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
3/62
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
4/62
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
5/62
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
6/62
AB
A
Sequence
Initial activity
AFinal activity
A B
A
A
A
XOR
B C
A1
A
B C
A
B C
A
AND
B C
A
B
C
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
7/62
B
C
A
B
COR
A
B
AND
A
C
B
A
C
W
P J
J
S
S
A
P
J
J
S
S
A
P P
NA
N
I A
F P
AW
A
W
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
8/62
W
P
W
P
P
W
{ P |
}
{ P |
}
W
P J
J
S
S
A
W W W W W
W {
| P
}
{
|
P
}
{
| I }
W {
| S
}
{
| S
}
{
| J
}
{
| J
}
{
| A}
{
|
}
W { | A} {
| W }
W { | I} {
| A
} {
| A
}
{
| J
} {
|
J
}
{
| S
}
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
9/62
{
| S
}
{
| J
} {
| J
}
{
| S
} {
| S
}
{
|
} {
|
}
W
W
W W
{
| I }
W
P
W W W W W
P
W
W
W
W
W
W
W
{
|
} {
|
}
I
{
} {
|
}
I
W { W| W
W}
W W
W
W
W
W
W W
W
W
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
10/62
OR
A
A
B
C
D
AND
XOR
AND
B
C
D
W
P
P
W W
W
W
W
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
11/62
W
W
W
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
12/62
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
13/62
A
T A
F
T
F
f
t
f
A XOR
C
B
A AND
C
B
t
t2
f2
t1
f1
t1
f1
t2
f2
A
B
C
A
B
C
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
14/62
t
ft2
f2
t1
f1
One True token
t
ft2
f2
t1
f1
All True tokens
CANY
B
A
CALL
B
A
A
B
C
A
B
C
W
P J
J
S
S
A
P
J
J
S
S
A
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
15/62
P P
NA
N
I A
F A
W
P
P
{ P |
}
{ P |
}
{
}
W
W
W W W W
W
{
|
P
}
{
| P
}
{
| P
}
{
| P
}
{
| I}
{
| I }
W {
| S
} {
| S
}
{
| S
} {
| S
}
{
| J
{
} }
{
| J
{
} }
{
|
A}{
|
A}
{
|
} {
|
}
W { | A} {
| W }
W { | I}
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
16/62
{
| I}
{
| A
} {
| A
} {
| A
} {
| A
}
{ | S } {
| S
} {
| S
} {
| S
}
{
| S
} {
| S
} {
| S
} {
| S
{
}
} {
| S
}
{
| J
{
}
} {
| J
{
}
}
{
|
J
{
}
} {
| J
{
}
}
{
| J
{
}
} {
| J
{
}
} {
| J
{
}
} {
| J
{
}
}
{
|
} {
|
} {
|
}
{
|
}
W
W
W W W
{
| I }
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
17/62
rtX,A
rfX,A
ctX,C
cfX,C
ctX,B
cfX,B
A
B
C
XOR
rfA
ctA,X
cfA,X
rtB,X
rfB,X
rtC,X
rfC,X
Subnet associated withXOR
rtA
A
B
C
W
P
W W W W W
PW
W
W
W
W
W
W
W
{
|
} {
|
} {
|
} {
|
}
I{
} {
|
} {
|
}
I
W { W|
W
W}
W W
W
W
W
W
W W
W
W
P
W
W {
| P
} {
| P
} {
| I }
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
18/62
W {
| P
} {
| P
} {
| I }
W
W
W
W
P
P
W
W
P
P
W
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
19/62
rt
rf
ct
cf
ct
cf
rt
rf
ct
cf
ct
cf
Enabled XOR-Split Completed XOR-Split
W
P
P
W
W
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
20/62
B C
A
XOR
B
XOR
C
AA
Workflow A1 Workflow A2
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
21/62
Workflow B1
Workflow B2
A B
AND
AF
AS
BS
BF
A B
XOR
B A
AS
BS
AF
BF
BS ASBF AF
A
B
A
B
PN 1 PN 2
A
B
Workflow C1
Workflow C2
C B
XOR
D
C XOR
D
XOROR B
AA
OR
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
22/62
B D
A
B C
XOR
XOR
D
A
B C
XOR
XOR
Workflow E1 Workflow E2
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
23/62
N
N
N
N
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
24/62
N
{ | }
{
| }
{
|
} {
|
} \
{
| } {
| } {
| } {
| }
{ |
} { |
} { |
}
W
W
W
W
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
25/62
A
B C
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
26/62
Ms0
Ms1
Msb
Msc
Md0
Md1
Md2
Md3
Ms2
Ms3
a a
bc
b c
W
P
P
W
W
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
27/62
W
W
{
}
{ |
}
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
28/62
P1
P1 A
A
P2
P3
AND
P2
P3
OR...
{ |
| | | | }
{ | | | | | }
I ...
O1
...AN
D
A OIa) OI A
A AIb)O
n
O1
On
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
29/62
AND AND XOR OR
...
...
...
...
...
...
...
...
...
R11
R1m
...
I1
In
R21
R2q
O1
...
Op
...
R21
...
R11
...
OR
AND
AND
O1
...
Op
AND
AND
I1
In
XOR...
R1m
R2q
{ |
| | | |
| | }
{ | | | | | }
{ |
| | | |
}
{ | | | | | }
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
30/62
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
31/62
P P P
XOR
OR
OR
XOR
P
W
W
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
32/62
OR
A
A
B
C
D
AND
XOR
AND
B
D
C
A
B C
D
A
B C
D D
ANDAND
ORMulti-merge
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
33/62
{
}
{
}
{
}
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
34/62
p
q
t1
t2
p
q
t1
t2
PN1 PN2
A B C
D
AND
XOR
E
SSynch
PO1
PO2
PI1
Selective Synchronizer
PI2 PI3
t1
PI0
t2
t3
t4
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
35/62
X
PNS
BA DC
E
AND
OR OR
A
B
C
D
E
E
Workflow W
tE1
tE2
W
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
36/62
S
W
S
S S W S
W
W
S
W
S
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
37/62
W
P
P
W
W
W
P
P
W
W
W
W
P
P
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
38/62
P
P
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
39/62
;
Places in PS
;
;
S
; ;
Transitions in TS
P
P P { | }
P
P
P
P
P
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
40/62
OR
Standard
AXOR
B
C
Synchronizing
DAND
AAND
B
C
D
ANY
AXOR
B
C
DANY
AAND
B
C
D
W
P J
J
S
S
A
S
P J
J
S
S
A
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
41/62
S
W
S
W
S
W
S
W
W
S
S
W
S
W
W
W
W
W
W
W
W
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
42/62
W
S
W
S
W
S
W S
W S
S
S W
W
S
W S
W
S
W
S
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
43/62
S
W
W
S
S W S
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
44/62
W
W
S
S
W
S
S
W
W
W
S
S
W S
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
45/62
W
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
46/62
B D
A
C
XOR
E
ALL
F
AND
ALL
E
X
PNX
F
B C DtB
tD
tC
tE
tF
W W X
W
W
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
47/62
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
48/62
W
W
W
W
W
B
C
A DOR XORAND
W
W
W
{
|
} {
} {
|
} {
|
}
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
49/62
{
|
}
{
}
{
|
}
F
D
E
C
B
OR
A
AND
AND
AND
XOR
m
~m
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
50/62
F
D
E
C
B
OR
A
XOR AND
AND
OR
ANDAND
AND
m
~m
W
W
W
W
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
51/62
B C
D
AND
A
B C
AXOR
XOR
F
A
B
C
XOR
AND
AND
AND
E
D
E
X
PNX
F
B C D
tB
tD
tC
tE
tF
W
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
52/62
W
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
53/62
A B
C
Discr.
A B
C C
1
2
tA
tB
tC1
tC2
A B
CPN
D
PNX
W
S
S
S
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
54/62
S
S
S
W
S
S
W
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
55/62
SBd
WBd
CBd
SAd
Rdx
Startd
WAd
CAd
A
GAd
HAd
GBd
HBd
Reset d
B
X
W
D
W
D
W W
W
W
W
W
W
W{
| D
}
{
| D
}
{
| D}
W W
{
| D } {
| D
}
{
| D}
W
W{ | W\ W}
W
W
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
56/62
{
| D
} {
| D} {
| D
} {
| D
} {
| D
}
{
|
D
} {
| D
} {
| D
} {
| D
} {
| D
}
W
{
| I }
{
| D}
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
57/62
Acyclic WB-nets
Acyclic Safe Standard Nets
FCDA-nets
(Standard Workflow Models)
Free-choice Petri Nets
Petri Nets
Synchronising
Workflow Nets
Safe Standard
Workflow Nets
Bounded Standard
Workflow Nets
Standard Workflow
Nets
Free-choice
Petri Nets
Standard Workflow
Nets with
Discriminator
Petri Nets
Standard Workflow
Nets with Dynamic
Deadlock Resolution
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
58/62
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
59/62
N
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
60/62
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
61/62
-
8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep
62/62