of the section we present five modeling languages, Petri nets and Reset nets, ... represent the tasks of the process, and places, used to define the state of the ... the log only reflects the cancellation of the procedure before closing the process.
ÔÔº
!"# $ %
& % ' & ( ) *+ ) , #& &%
! " # $ % & ' ( ! (
" (
#
$ ## - . /- (### ## -
! " # $ % & & ' & & ( & & & & ( & ( # & $ )* + ) + ) + # & % ! # * & # , " , . & / " & % & " 0 ) + * & # - & 1 & &
1 & % %
2! 31'4 5! 67 8! 9: ;! " (
. % $ ( * * 1 & & 1 #
=8 + # ( %& . )++$ ) * + & % & %/& # , & " A & * A 2 " A 5 & " A 5 & * " A 8 & . ( A ; & & % A
!+ ) + )+ 2 *$# !# ! ! # & % # $ + ( + + # ( & . A 25 & & % * 2 %# $ + *! # * / # ) + &
. * %& )( ) *( 1 + ) + *( B ) + B ) + B ) + B B
!
!
!
&
!
'
"
#
!
!
!
"
. 2 & *( . )+ # & *( : , *( 2 ,*! " $! - #$ *! 1 # (
(
-.$
)*
+,
( ( &
& # &
& & . $ %& )' )6( *( 1 + B ) + ( ( B B ) + B ) + B B B ( *( B ) + : * % % & C& % # %& A 25 " & & ( *( $ 2 2! & / ! " & & % % * # * #% % /& 1 % 1 % 1 ) %
+ % % . # % * )) ++ % * . >! . 5)+ & . )+ & % & 1 -- & % & % )%& & + & % )%& % * + " ( & & &
1 ) %+ % % ( % 6 . 5)+ & ( *( & ( 17? & ( 1 ) * + & ( 6 * / " 2! -& & %/& 1 ( & & ) +
#
!
/
%
"
(
)*
-.$
+,
"
. )+ ( *(
6( &
5! $ & & 1 . & & * % & & ) + " & * ( . 5 & . 8 " & ( % D " D / ) %+ )6+ % )1+ " % )1+ & C& / )6+ # 6 / *( ( 2 31'4 5! & & %/& & / & , ( % 31'4 31'4 & $ % & ) + C& 31'4 % & % ) & + . 31'4 E & . ;)+ " &$ 1:?-E D E & A 1:?- D - ' - . -E & (
)* &
'"
7 % #
& % & -&
& 31'4 & * % % )% 31'4 + % ) % & 0 + % ) &+ . % & %
31'4 . )+ ( *(
C % 31'4 F & * % )) ++ % & 31'4 . . ;)+ * 31'4 . )+ # ( *( 31'4 & . ;)+ . ( 19 & 19 31'4 % 19 ? ) + 6 ) +
2 2 9: ;! $ & ) + ) + &
) - + . /& ' & ( $ & ) G H+ & ) GIH+ * ) GH+ 6( /& ( & ( & % E & . , ) + ) ( + , C& % 31'4 & * * 8! . " ( 0 . )+ & 176?1 " & & , & )196+ )176+ & % C& ) + & & " * * & * ) + # & * , & *( $ ) & % +
%& )) )6 A +
!
" #
!
!
) +B
'
& ""!
'
& ""!
"
%& ). )6 " A +
%
B
!
$
%
" %
B
B
B
B ) + !
$ B
) +
/
)
$
/
) +
/
) + ) +
B ) +
!
"
%
/
+!
. > & ) + )& + )%+ ( B : * ( &
25 %!$ / ,& #$ 0 $! ! *$ ! 1
, # * " *( ( & % # & & & % *( *( " & C& - * * & # % $ * # * ) = ! # % $ % % ( % /( . * ( >! , #
5 !$! - " & & * . * 5 # # ( *( . & & & & # & % &
0 L %& .( )6#7 + B ) + ) + ! ) ) + + ) + ) + B )Ë ) + +
!
" %
!
3 4"5
/
Ë
# & % : ) + ) + # & . )+ & & .
# ( *( ) B + & * . & ) + B B =;
) + B
B =; # /( -
=; & ( , C& & 0 & & 0 0 9 ( & ? 6 ) + & & . )+ ( *( & & L ) & (+
6(
8 ## %% % ." #%% > & &?&
: ( & 1 0 ( C& & . ( .
)+ 8 17?61 19?61 " 17 # < 5 & # # & & * && " & % & & # * ) & * + # * & % % & * ) & & & ( + &
& # * & * & ( , 9 & & * 5 " * & (, & & , " & *( ( " ) A 22+ & & : & ) A 5 + 0 0 & " * , $ (, )+ & & # # & . $ %& .' )7 F 7 + ) + ) + B ) I + ) I + ) + B
6 "
!
!
%
" %
!
"
! ""!
"
9 . ) + & $ & ) + A & ( ) + ) ) + + B
F (, ! C & # ! # &$ 7
-
&-'
1 #$ $ 2
8 /
$ ) + ( & ) + )2+
,
/
2
Ë
, /
(, ) + (
)5+
Ë
" C& ( * . ( )2+ C ' (, & * * & %& .) )M 7* N + ) +B ) + *
&9'! ""!
" %
"
/
) + B )8+ # * & ( .
" (
)+ F B #% B & ) + B B >2 7 ) B + * : & * (
)+ & F B > ) + 2 )& + > " B ' B 2 &
& )2+ B
B =<
) + ' & " % & & (, ) & B >> : > + ) + B
& =! # % %& 3( ) ? # )++
.
3 % &
!
'
!
#
! .
B
+
3 %
/
B ) + ) + ) 9 ( *( * & . . )+ & & ( ( .
. %
6( )+
8 4 - ! # 1 & *( 9& & 1 ( E &
. & % & - & & # %& 3' )A " + ) +B ) + ) F & % ) - + & & " & > & & ; " # ' & =! % . 5)+ & " # % # 5! # & &
" 0 0 $ & , % & , & ) >!+ # 5)+ 0 # 1 "A 7 ( A 2 6 % 67 31'4 9: ) + ) "4 + # & - & # 5)+ ( % # % ( ($ ( & & %
&
, "
" %
&'
&'"
%
&
% &
.
% &
3
$ %
% &
4;<
,
.
(-.
+%,
% &
23 ;& 7& $& " % : # ) * +
- & 2 3 :& D * :& E& :& % 7% # & ;& 'F . :& & 7& 7& ;)# % ;& 7& $& " % : # 0 %# " / ## - - .# + , +(-.(-/ ($7 & -
B& 23 0& 7 $ #4 $ # ## % # *** " &BB & &A A & 23 :& G& 7& G #% ;& 7& $& " % : # % 7& :%# + $
0$12 ' * - -
9 /
&
2A3 '& E
7& F -# % :& . # . *H %
- % ## -#-# *H/ 34
4 1 5 " & &
263 & ;. % & 7# +6 , 7 8 8 +6 = -#
& 2B3 ;& 7& $& " % : # (& =& " - & G#
