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
*)# '
& #
"
/