Fundamentals of Control Flow in Workflows qut_expr_rep

8/7/2019 Fundamentals of Control Flow in Workflows qut_expr_rep

1/62


2/62


3/62


4/62


5/62


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


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/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

}


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


10/62

OR

A

A

B

C

D

AND

XOR

AND

B

C

D

W

P

P

W W

W

W

W


11/62

W

W

W


12/62


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


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


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}


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 }


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 }


18/62

W {

| P

} {

| P

} {

| I }

W

W

W

W

P

P

W

W

P

P

W


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


20/62

B C

A

XOR

B

XOR

C

AA

Workflow A1 Workflow A2


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


22/62

B D

A

B C

XOR

XOR

D

A

B C

XOR

XOR

Workflow E1 Workflow E2


23/62

N

N

N

N


24/62

N

{ | }

{

| }

{

|

} {

|

} \

{

| } {

| } {

| } {

| }

{ |

} { |

} { |

}

W

W

W

W


25/62

A

B C


26/62

Ms0

Ms1

Msb

Msc

Md0

Md1

Md2

Md3

Ms2

Ms3

a a

bc

b c

W

P

P

W

W


27/62

W

W

{

}

{ |

}


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


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

{ |

| | | |

| | }

{ | | | | | }

{ |

| | | |

}

{ | | | | | }


30/62


31/62

P P P

XOR

OR

OR

XOR

P

W

W


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


33/62

{

}

{

}

{

}


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


35/62

X

PNS

BA DC

E

AND

OR OR

A

B

C

D

E

E

Workflow W

tE1

tE2

W


36/62

S

W

S

S S W S

W

W

S

W

S


37/62

W

P

P

W

W

W

P

P

W

W

W

W

P

P


38/62

P

P


39/62

;

Places in PS

;

;

S

; ;

Transitions in TS

P

P P { | }

P

P

P

P

P


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


41/62

S

W

S

W

S

W

S

W

W

S

S

W

S

W

W

W

W

W

W

W

W


42/62

W

S

W

S

W

S

W S

W S

S

S W

W

S

W S

W

S

W

S


43/62

S

W

W

S

S W S


44/62

W

W

S

S

W

S

S

W

W

W

S

S

W S


45/62

W


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


47/62


48/62

W

W

W

W

W

B

C

A DOR XORAND

W

W

W

{

|

} {

} {

|

} {

|

}


49/62

{

|

}

{

}

{

|

}

F

D

E

C

B

OR

A

AND

AND

AND

XOR

m

~m


50/62

F

D

E

C

B

OR

A

XOR AND

AND

OR

ANDAND

AND

m

~m

W

W

W

W


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


52/62

W


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


54/62

S

S

S

W

S

S

W


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


56/62

{

| D

} {

| D} {

| D

} {

| D

} {

| D

}

{

|

D

} {

| D

} {

| D

} {

| D

} {

| D

}

W

{

| I }

{

| D}


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


58/62


59/62

N


60/62


61/62


62/62

Documents

Fundamentals of Control Flow in Workflows qut_expr_rep