patterns in colored petri nets - Eindhoven University of Technology

0 downloads 0 Views 2MB Size Report
Apr 15, 2005 - patterns for easy navigation through the CPN pattern language. ..... patterns can be also considered as design patterns, which grasp certain problems on the level of model .... Note that in the initial marking, place Start contains two identical ..... Transition put adds an objects x to the head of the list l, i.e. x::l.
! "#

%$&'#()) !

$# *))#

+

,+

-

.

/

" 0 . 1 .

. ' . /

.

/ %2

1

+ / /

+

3

+ /

" +

/ /

/

/ 0

.

4 +

/ .

0 5 + 0 + 5 &+ + 6 6+ 5 3 5 5 $7 0 +80 9 5 *7 0 9 5 5 %7 995 9 !; + 6 5 27 < 5 #7 303 < 5 (7 &03 < 5 :7 5 < 5 =7 50 50 > < 5 ?7 + +0 >'! 0 9 5 $)7 0 80!0 5 5+ 5 $$7 + & 5 0 80!0 5 5+ 5 $*7 68 5 ! 6 5 $%7 ! 6 9 5 $27 + > 9 5 5 $#7 & +@ 9 5 5 $(7 !0'& +@ 9 5 5 $:7 & 9 9 5 5 $=7 !& +@0 9 6 '0 30& 5 5 $?7 !& +@0 9 6 ' 30& 5 5 *)7 '!& +@0 9 6 '0 30& 5 5 *$7 '!& +@0 9 6 ' 30& 5 5 **7 5 6& 5 5 *%7 6> +85 6 5 63 5 5 *27 6> +85 6 5 63 5 5 *#7 5 AB 6 5 *(7 6> +85 65 5 5 *:7 6> +85 6 995 9 5 5 *=7 !5 + 6 0 9 5 *?7 5 +> 9 5 5 %)7 06 50! 5 5 %$7 59 5 %*7 5 0 06 0+ C 5'6 &0 5 %%7 ' 5 0 06 0+ C 5'6 &0 5 %27 5 + 5 5 & 0 680 6 +& 66030+ 0 3+ 5 6 5 & 5@ 3 5 5@ +@ & 9 6

2 # ( : $) $# $= *$ ** *% *2 *? %% %= 2) 2% 2: 2? #% #( #= () (* (2 (( (= :$ :2 :: =$ =% =# =? ?* ?2 ?: ?? $)$ $)2 $)( $): $)=

' . / ,

0

,

/ 4 .

3

. 1 /

00

/

/

-

8 . . .

' /

/

1

.

/ .

4 .

6

E /

/

D " / .

/ / "

" / /

@

0

/ . .

"

D

.

D

.

. F

"

D

/

1

/

.

6

/ G*H

4

. 1 .

. 1 . G$H . 1 .

. 1 . /

G%H

. . 1 . / 0

4

/

. . .

/ ,+

+

.

.

-

/

,

/ / %2

'

"

I"

.

-

/

"

"

.

+ / . 1 /

+

'

+ . . 4 / J

/ 9 6

. /

G2H .

J + 8 .

K " . .

+

+

.

. . / "

. / + 6 5 / " /K ' /

+

4 .

.

D

.

3

.

/

.

.

%2 4

.

4

/

0 /

3

*% /K '

. 1

/

0

. L /

J J 1J L L /K M 4

M

J

J

.

/

1 J 1 J /K '

/ . /K L /K M .

1

7 /K + 0

/

/K /K

.

F F /

/

G$$H . 3 .

+

/K

. .

"

. D

. /

.

"

/

/

'

/

1

/K /K

.

.

G$$H

/

. 1 .

1

/ /

K " .

, / .

" +

4

!

!

%"#

&

! +

$

"#

$

%"#

"#

! +

/ ' .

+ /

1

!

+ /

"

/

/

. / 3

$

" . .

6

. / .

.

/

.

+

.

7 .

.

.

/ 1 . /

.

.

/ /

.

"

/

/

/ /

1

/ "

N /

"

K

/ / /

/

3

"

. /

/ D

/

"

+ / .

.

/

6

.

.

/' . .

/

+

. .

+

/

/

.

" / . " .

.

/ +

/

.

.

/

/

N

0 / !

/ . "

"

'

# '

&

"

#

$ % #5 3 5

+

1

" ( 0 +

/K

/

# 1

/K , /K /K .

/K /K

/

! +

" *

# %

3

/K D .

.

3

/

/

/

/ /K

/K /K

$ & .

%

0

'

.

/K

#

. /K . / /K

.

/

0

%

&

) 3

*

1 %

%(!)

6 + / /K 6

%(!)

"

&(!) /K

/ "

"

&. /

. "

. 1 % /

/K

&(!)

' / /

.

/

&

.

*

(

# 0

/ /K /K

'

.

/

. $

5

/ *E +$

.

0

7 /

.

-

.

3 %- &- .-

/

0 +

/K 9 5

. .

, !

"N - %)- (

(

/

/

/

+80 9

/K

/ $" +,

/K

1

.

' $! * . /K , " /K

/

/

D D

0 /

0

- 3 /K . - 3 * /K .

/ / # / $/ ,!- - .

/K

- &),

/ /*/

/

/K

/K /K .

/K / /K

/K 0

/K -.

. /

/

/K

.

/

%

&-

/ 0 %1 &2 3

2

/K

3

#

.

.

#

% /K

/K / & &(!)

1

.

5& %

. /K

. / / 2 . /K . " %(!)- .

0 3 34

" 6 .

1 &

% "

33

+ 3 .

# 1% .

'

- /K

. /K

)

, -# 5

"

/K /K / . 4 /K /

6 /K . 0 /K

/K

# +80 9

/

/ /K /K

/

0

9 5 D

/K

/ "

'

/

8 . D

/

0

D

0 /

0

+80 9

.

0

9 5

# 6

/

0

/

/ !

/

7

.

.

. O

# D

/

/

.

0

9 5 /K

)# '

&

"

% 9

70

# "

5

5

D

(

/K

# +80 9

0

/ /K

D /K /K

/K

.

/ + .

6

. /

/

8 . .

'

.

/ /

'

/

/K . " 3

# /

(

0 D +80 9

0

" 6

.

$-

% 3 /

8 .

1 /K D

'

/

/K

/K .

/

.

/

0 /K

/

0 # 0

D *

0

/K 1

D 0

0

0 0

0

*

/ / / 0 I

" 3 1

0

/

0 I 0

* /

' '

.0 I

$' * : , / . . /

3

0 O *

6

D 7

'* 0 ,

/ *1 1 . * !

1 / 4

D 3

:

1

6

/

!

$' * = 0 6

3 0

.

D *

30&

/ *8 .

.

.

1

5

'*

0

/

* 1 1

1

. !

"

*8 /

() (!-02)1

9 (!-

:) 1 !1 '

(!-:);

D 0 I /

/

3

' ' *< 3

.

2

0 1

/K

!

/

$' * . 0 I .

/ .

"

*

*

4

7

:) 1 !1 '

:

(

(!-:));

5

3 .
'

7 .

. B #

+ /K

B # . / . /

F% +-

B # /

0

. / /K

" B # 0 G+2 /K 0 .

+$- .

.

9 -. . /K /K ' ' / " +1& . .

.

/K

B # B #

*

1

. B # / /

-.

" . /K

. / !& +@0 9 6 .

/K

.

"

'

30&

5 .

/

*) *# 0

'

/K 995 9 30& 5

/K !& +@0 9 6

'

!; + 6 "

. /K

/ !

0 9

.

4

4

/

.

"

6

%

+

+0 >'

7 +

$

B #
'!

/ '

/

- 0

/

,

5 A

L+'!

0 9

'

+6 /

.

/

.

6

%

0 80!0

5 5+

7 "

A ,

, -

,B # - .

/

/ +"

0

/

"

+1& .

B # *

1

/

B # 0 G+2

.

.

. /K /'

/

/ ,

A

D

0 1@2

/K

B #

+ -#

.

/ /

1

1

.

'

. 0 80!0 /K

# 5 5+ / '

.

4

/K

/

/ .

/ "/

1

'

0

'

/

/ "

/

+ & 5

J

/ "

0 80!0 1

5 5+

J

'

/K

# 1

. D .

.

D # !

0 9

0

995 9 " /

!; + 6 + + & 5 0 80!0

+0 >' 5 5+

(

# &

$

'

#

# "

J

( 0 80!0

'

J

# 5 5+ J4

. J'

/

1

1 /

0

/ /

.

1 "

#

0 .

1 1 1

/

8 .

/

+ 1

3

/ 2*

/K

$

B #

+) .

. .

1.

B #

1

.

# 0

1.

/K /

/ 0 80!0

/K

4

5 5+

/K

6

"

/

.

J

$

J

"

/ 0 80!0

5 5+

.

/

.

/K 1 !1 '

6

$

+ & 5

7 J7$1 $= 1/ 3

/K ( - );I .

!

L

( -02) 1

9 ( -! ) 1

.

+*

)

)# 0

.

/K /K

/ /

/ 6

%

+

+0 >'! '

6

*

/K

/ 0 80!0

5 5+

.

/

.

0 9 "

+ & 5

7 /K

J7$1

/

G : ( )G+H /K

1 !1 '

$= &

1/ 3

( - );I .

!

L

( -02) 1

9 ( -! ) 1

.

++ -# /

1

.

/ . + & 5 / /

# 0 80!0 /K /

5 5+

.

!

. /K

.

/

. / "

# 1

. D .

.

D # %

+

" +0 >' !

0 80!0 0 9

5 5+

$ *

)# $ ' #

& #

B060!0&0 >

/

9 5 68 5

4

/ . /

" 0

(

& +

,

/ -

# . 1 .

/

/

/

0

.

0

/ /

1

/ / "

# ,3

2#-

* D /

/

. .

D

D

+, !. $.

D

*

$&

!0

.

.

$%- $& 1 .

/

. 1 . .

/

3

/

4

. #

0

4

/ .

'

/

0

/

/ /

0

/

/ /

.

. /

/

/

/

/

/

/

/ .

/ /

/

.

,

/

68 5

! 6

-7

0

' /

-. /

/ 9

/

.

. . / D

,

D

/

/ ! 6

. - 0

. /

.

/

/

.

. /

/ +

/

/

/

. D

.

/

3 ! 6

/ 9 0

4 995 9

+0

/ .

/ /

%

3 9

!; + 6

! 5 5! !9!

=

1

7

-# 6

/ . /

5

. /

F 4

.

.

F

/

/

/

# / 1

+

/

4 /

.

/

" /

/

'

D

/ / -

1

0

.

, /

'

/

. ./

1

1

1J

' 1J "

/ "

.

1

/ .

" ,

. /

/ /

.

995 9

!; + 6 1

/ >

'

"

'-

0 +

/

1 9 5

/ /

/

/ /

.

/ "

# / / /

. /

1

/

0

'

.

.

/ . K ,

. /

K

/

K

/

- 8 .

K /

K

/ . 1 #

! 6 / 1 /

K

' .

/ !; + 6

/

/

/

.

+

>

K

/ / 9 5

9 .

995 9 /

K

*# '

&

" N 50

#5

% "

#

/

"

( 68 5 / .

'

# ! 6

4 .

/

/

. /

N.

1

. .

/ .

/ /

/ "

# .

' * 68 5

' " *

1 8 . /

/

A /

! 6 '

/ .

.

/

.

'

+1 # 7

/

.

/

D

0

/

. /

3

2=

3 3 1

'

/ /

4 4

N. /

. 1

/

N

.

.

/

/

4 / /

/

/

/

1

'

+

/ .

' D

*J

( %-

%)

0

1

/

0

+80 9 0 6() / '

+2

3

.

!5>=

/

!

2?

L

/

+4

!5
+85

65

5

'(

)*# '

& #

$

. 1

/ " 0

#

(

.

# / /

"

# .

3

%

:)

& / %

&

/

1

"

16 # 0

.

/

'

1

/

.

1

/

.

/

.

6> +85

6 5

63 5

7 0

.

"

.

. " 1 . /

, 0

Q Q +80 9

-

" .

.

')

1 3

7

!

:*

.

6> +85

6 5

63 5

1) -# /

/ . /

.

# 6> +85

6 5

. 1

63 5 / .

. .

.

. 1

5

/ . / 5

/ / /

0 .

/ .

/

6> +85 6 5 6> +85

1

63 5 6 1

D / D

'

6> +85 / /

1

/ "

6 5 /

63 5

5

AB

6

"

# 8 1

/

.

/ "

.

. .

1

.

/

/

' # 6> +85

6 5

6> +85 63 5

65

5 5

AB

6

(

)+# - $ ' #5


0 9'

9

.

.

D

" 0

6 N5

(

/

1

D

# / / . /

"

6

D

.

N

/ "

# .

,3 &

%.

:%-

D D

% /

%

1* # 0

. /

1

.

'

/

.

D

/

/

.

/

.

1

D

.

/

6> +85

/

6 5

63 5

7 .

"

7

! D

D

" +

" "

0 " 0 +

.

. "

/

D .

/

/

. / "

.

.

D .

1

D . /

D

" .

, D

-/

.

(

6

" .

,

"

-/ "

1 . +80 9

1+ 3

/

-

. / .

/ 3 ,

0

-

7

!

:#

.

1,

-# /

.

D D

/

1

. /

.

.

D

/

/

(

.

# / "

.

6> +85 1

/ / 0

6> +85 /

6 5 /

6 5

63 5

5

.

# 1

/ . 5

AB

6

"

63 5 6

D

AB

5

AB .

6

6

.

" 6 /

/

# 6> +85

-

1

1 4

/ "

, /

6 5

0 63 5

+80 9 5 AB

6

(

),# '

& # " 0 /

C( # .

(

/

/K

# . . "

# .

,3 /

& /

:(-

% &

&

% /

1 /

% 0 "

/

.

/

%

&

10 # 0

. 4

"

/ .

/

"

: / .

. /

/ /

. , -

/

.

/

.

5

3

AB

6

7

" % B %

+

& B & ! '

/ ! '

/

-

! ' /

.

(

3

11

5 ;3

:= /

.

$

*

" .

"

4

12 -# 3 . 6> +85 "

"

/ .

.

# 6 5 6> +85

6> +85 63 5 6 5

6 5 / / 63 5

63 5 1

/

(

5

/ !5

AB

6

/

0 / + 6 0 9

/ / .

/ /

6> +85

./ 1 6 5 63 5

/ !5

+ 6 0 9

6 5

63 5

/

. / "

# .

/K #

6> +85

6 5

63 5

!5

6> +85 + 6 0 9

('

)0# '

& #

#

$

/ / .

" 0

(

# / 3 .

. / .

6> +85 . 1

63 5

/ .

D .

D / .

1 . .

"/

" :?

3

6 5

# / .

1 . %-

1 .

/

&

"

.

.

/ . .

. / .

.

14 3

. -

/

1 .

/

.

,

0 / .

# 0

/ . . .

. /

.

.

. 1

65 (

. /

.

/ 6> +85 0

/

'

-) .

. 5 "

/

.

6

$

7 /K

/

((

0 ( +

. -)

.

.

/ / 6> +85

6 5

.

63 5

/

3 .

0 3

/

=)

/

.

%- &/

" .

+80 9

- 6

.

,

0

. 5 0 06 0+ C 5'6 &0

, .

-

.

/

'

0 /

/

995 9 /

!; + 6 /

.
+85

65

5

. .

/ . .

/

. " =* %-

3

6

/

/ # 6> +85 &

65

5

.

"

/ . /

"

.

.

2) # 0

. /

I

' . / .

/ 995 9 0

5

.

/

.

6> +85

6

7 .

%-&

.. / / /

+ /

/ "

1

, -

. D .

/

)

4 D 3

=% .

/ /

/ 995 9 /

4 .

1 !; + 6 /

0 /
+85

65

5

0

5 0

. 6> +85 5

# 6 995 9 /

5 6> +85

6> +85 6 6 5 63 5

. 1 .

.

/ / .

/ . / "

# 0

0 . . /'

/

/

# .

.

1

6> +85 995 9

/ /

.

65

5

!; + 6

)

&

)2# '

#

" 0

% #

./ / .

(

# /

5 8 .

AB

6

.

.

"

. .

/ 1 .

3

/

/

" =2 0

D

/ .

"/

.

/

'

# /

/ .

/

/ /

0 . /

2+ 0

.

. / .

"/ # 0

/ . /

. / 1

/ . .

.

.

)

/

.

/

.

!5

+ 6 0 9 " /

/ 995 9 + .

7

!; + 6 "

/ 5

/

1

2, -# ! 0

"/

. !5

/

# + 6 0 9

/ . /

/

1 !5 / / "

+ 6 0 9 . . 6

/

0 *

5

/ +>

9 5

# / /

/ "

0

1

. 1

.

# 5

+>

/ 9 5

/

.

995 9

!; + 6

)

)4# '

&

-"

%

#

#

"

/ .

(

'

# /K

/ 0

/

3

/

" =(

/

"

.

# 6> +85

65

5

1 . /

0 . /

6 1 . 3

=: /

!5

"

/

+ 6 0 9

0

18 .

.

21

20 # 0

/ '

30&

.

5

.

.

/ . /

. /

D .

/ 9 5

.

/

.

6

$

5

+>

7 / ,

/ -

+

/

D

7

* .

!

1. .

/

0

)

. . / . " 5 0 06 0+ C 5'6 &0 1 ( -02)1 9 ( -'

. / )1

(

.7

1') '

(

-

);

22 )# 0

/ $

6 .

/

/ 5 0 06 0+ C 5'6 &0 /

.

.

/

.

6

*

. . /

5

+>

9 5 . / .

.

. .

/

. I

+ 1 0 ( ( 0

. / -

/ / /

/

))2 I

0

/

1

.

I .

)'

24 ! .

/ !& +@0 9 6 .

/ . " 30& 5

'0

/ 1

4

/ /

.

. /

.

. / K '

3

1 . ?)

46

)(

-# / 5

.

!5

+ 6 0 9

6> +85

6

5

.

# / 0

30&

5

5 0 06 0+ C 5'

6 &0 / "

# . 6 /

/

/

D

.

/ .

# !& +@0 9 6

'0

/ / 5 0 06 0+ C 5'6 &0 30& 5

))

*6# '

&

#

+

60 0

#

" 0

6 &0 /

(

/

/ .

# /

.

. /

.

/

.

"

" 4 . 1

"

/

D

#

+

/ D .

. .

D

/

/

/

6

/

/

/

/

'.

/

D

/

4

/

# 0

/ 1

/

/ .

4 " /

" D

# / . . / . /

0

/ *

.

06 50! -.

. *

.

5

7

/

.

/ .

/

/

/ / . ?* 6

3 3

?% /

* "

4 3

?*

/ B %- B &

( - - )

/ .

B .

)

4) 3

9

! 5 5! !

?%

/

( - - ) B %- B &

/ .

4*

9

5

B .

5 5! !

-# 6 D

D

/ .

# / / /

3 5

AB

/ 6

06 50!

59

/ .

5

/ . /

!5 + 6 0 9 6> +85 65

/ "

/

/

/ /

5

# /

/ . .

" /

/

1

" 1

/ 1

/ 4

# 6> +85 59

65

!5 5

0

+ 6 0 9 /

5

AB

6

/

.

* # '

&

"

%

#

"

#

/K

D "

/ (

# 06 50!

.

/

5

/

/ / /

/

1

6

/ 4 "

#

+

/ D

/

.

. /

/

/

# 0

/ 4 . .

/ .

/

/

# / .

0 +

5

AB

.

/

. . %- &B . / "

59 .

7

4

-

. .

, - - -

6

4+ -# 6

4

/

.

D

.

# /

/

.

06 50!

5

' +

D

/ . 6> +85 6> +85

/ "

"

/

/ 65 6 5

5 !5 63 5 1

+ 6 0 9 5 1

AB

. / /

6 0 '

# 0

4 .

6

4

D

# 5

AB

6

/

06 50!

1'

5

F

*)# '

& #

"

/