!$#&% '% ! (*)+ , . % / ! 0 12 3 ".4% ! % 1 3%5 "% 6 71 8:9;# # " ? , @ '% )A .B >C D )A#E * D*. > F& ".G H I#&% J I% G(?% ( # 6-% *D )A )A B K *)A# 6 )A B "!L! M? 6 *# )A "8N9O6 6 3% # # *% ' DN% . 6 6 % = "!P# % '%*! (*)QD )3% >? G #E R% 6E )A# &% H 3 4 ; S G . % % 4% .4% 1 G J "% H# C! MC 71 8UTB V V)W 0 U E I% ! )A X "!Y &%Z V )A )A A#E [ )3% = 4 A! # 6 "1 "!\ @ 7.4% 3 01 0 )A W% ](* C!^% W! X "!_8` C Da ' RbC K% !P)A C! / # "! W#E [ )3% ,%Z , = O "% ' UDB% !dcC .4%Z e J [ )3% WfI (* (L R Y * !5% E * Y )Q8Og7 h %Z 6 *DO.B h# C $% i% # # ?% J j % "!j j#&%Z A ^! M* 6 *#Q#E @ )3% /)A C! 6R 4 @ ; .4%Z ] 01 0 )A G , "% 6X1 0 '% (* / B W @ 7.4%Z 3! M? 6R # )A Y# 8Ak, ZM? J "DU % # # ?% ' i &% ,% Q%P(* *% 6 h 5 [ )3% 6 )A C! 6 L ^# ! I#E [ )3% *8N a. >] *)A# 6 )A C U # *#E * % 6 ( ( 0 "!, PlXm n op8 Keywords cC .4%Z =#E @ )3% *DUe a D_#&%Z D_q kQrID_ . % *D * C 0 R C !,#&%Z '%*! ( ) 1. INTRODUCTION g K R .G R! 6 1\ (* s !t &% / @ 7.4% $! R( P W%$ &% '!5 '% > % O "b X %A (* Xu& "% C % )A * O B Jv_ % &!Q * 1, L "% # C! M X 71 8aB (; @ 7.4%Z H *D* "!/% # # ?% J ^ # K 3)3% ^#&%Z '%*! ( ) 5! M? 6 *#^ @ . % *D Y. >Q &% E 5! M? 6 *#E !h.G X R h ]# K 9OeH n ? 3 c #&% `Bg0H Y8 E "% L 3 * # = ! 6X1 (h * C 0 "!2#&% '% ! (*) # )A Y h% 6 6S 0 '% ( O a @ 7.4% /6 X [ / 1 6 *8Ig L 6R% 0 K1 "%Z D 3%Z / A! (* ^ 0 '% ( 3 R 5 A "! #&%Z '%*! R( ) &% W E d A Y 0 ! 1 DI * '% (5 0 ( # #E * % 6R G J $% 4 ;. 6 6X >C ".G P Jx R
A } {w{7J~J
xAl op8H D ! R( `#&% J % # #E "%Z % % h 0 (,% # # *% ' Q L% 0 . % K ( R 4 =)A C! 6_ @ 7.4%Z ] 01 0 )A 8 k, M* "D_ / X 1Q 3# ! Y J~[z y ~J=}
E'W H .4%Z ^ 01 0 )A Q 5! * 6 8fNM? ". %*! % 1 DK 01 0 )A h% @ 6X1d! # 6 Z1? "!.G X 3 ,#E [ )3% h ? 1L 3 *)] E U8; C D&.B ]# *#E W% # Q% 0 K ] @ 7.4%Z 3 bC X )A (* J / R 5 0 J R A _ 4 01 0 ))A C! 6 8ag W 4# #E * "!=# D K . % = (* Y.G 6 6N E W% 6 ] 3 "% # / [ &% 6 J b X )A K% /. 6R6 % W#E J [ )3% A "b )A 8Qg t '! J 5% *)A# 6 ^ DI 3# W# *)A ] 3 L ;#&%Z 8L /# D "% 6 6 "!PeN eG "DS K% 6 h "!5.G X L L G ,% ! "b &%Z L J Rb / ` * '% #E J [ )3% 6 4 *)+ ! M? 6 #E "!$)A C! 6 8 `6R% (* % (* 5# #E * "!j il o 2! J R E 5! (* :#&%Z ! % 6 .G X K H 0 '% 6C% &! E %"M '% 6 % #E I .4%Z % &!K% 6 O( M? V ! S Y% *)A# 6 R / I )A# 6 )A '%Z R # % *8aeI eh# #E * B J )A a6R% (* &% (* B.G X #E @ )3% G [ "%Z D ! (/ [ 4 "% ' 3#&%Z 3 H#E [ )3% =( ?% 6 W% &!`. > 6 *%*!^! Ju& X * Da * '% (j¢ # % .G X \#E J [ )3% £ ¤ 8 g7 ^l opD_ kQ ¥lXm" oN '%Z R \ "! 2! E Q h 0 J `% ! E %ZMC * L K#&%Z 8¦P %*! M? "%Z [ ; Y V q kQrt '% * Pl §"o E "% a X e J [ )3% A; "b X )A C O [ C 0 J 7 "!t! (* P 0 (Aea%Z 8 ¤ ¦t O)A % A 1P¢7#&% J H.G X 3#E @ )3% £ D ! (* L#&%Z % (*)A "!3.G X $ )A % '% * Q = M*% 6R % #E J [ )3% 8 .G R! 6X1W% # '% E 7. / I . % 4 (* J R (Y )A)W X 1 8 q kQr2.G 6 6N E ] J "!Q.G X \#E @ )3% W% '%Z R D .B =.G 6R6I ] =# *#E * % 6H 0 '%Z "!t lXm n op8L9O J # #E * % 6 $% '% ] )A W% #E Y R 5q kQr2 &%"M? K E 5 0 '% !` @ % 6X p R)A u 6R!\l opD @ .G X h! Xv_ C G M? 8 qO (,# % DU.G X ` ] #E &! R (Q#E @ )3% =% '%Z * D $ J R ,.G X $ Y(* R! G(* M? , 1LeI e D (* .G 6 6E E Y% 0 "!$ A G 0 J R $ _ ; *)A# 6R J #E J [ )3% L% '% "!Pq kQr:! R% ( '% )A / [ ] L 01 0 )Q8$g '! ; 3 * '% h C )A "% 6S 6X O @ )+ /q kQr^% '% "! ! R% ( '% )A W [ = L )A# 6 L 01 0 )QDa. ,# *)A L $ $ @ )3% 6O% &% 6 1C , ' RbC W J d% = * $ M? 1? "!^ R lXm o 8 O ". M? J Wq kQr6R% '> ] 4 A % 1P @ )3% 6 ) `% *)= # 6 R X "DH! 3 ` 3# '% (*)3% $M .©#E * = !^ 5! M? 6 *# q kQrd! R% ( '% )A 8] @ *DS K)A C! 6R Y B ] 01 0 )a)W 0 E K '% 6-%Z "!` R L%A [ )3% 6a)A C! 6wD_ J \% /«;J{w~'H¬KJ{wx$lXm*mJo 8 9G @ ] &%Z "Da. L &%"M? A L#E * 6 X 1P `#E @ ) $! X "! #E J [ )3% W% % 6X1 R 8 ¦t ]# *#E ] L)3% '% `q kQr^ '% `% O%W @ &! 6X1$ * &!$ @ ; K! R( "D = '% 6R% = C B [ )3% 6 )A C! 6C)W 0 N E '% #&% C a @ H JZ )Q8 g7 W N.4% 1 D H% # # ?% J A *)W a&~0}" A} {w@x'©}
EBz y ~'A}*X® @{w 8 °O Q % A 3% # # *% ' v_ A Q#E R 6R X 71 ( #E J [ )3% ;#&%Z D? R = G % )A 4.4% 13% H '%*! X R &% 6E! ( # % G v_ ; #E 6 71, W K! ( h% !, C! 8 % # # ?% ' ^ 6R!P E 3% # # 6 "!\ `% 1\>C R !t G @ 7.4% $! R( U8 ¦t G% 4 #E -% 6 6 1W C J 0 "!W A! R 0 "!K 01 0 )A N! (* S8ag W MC X * )A DE#E @ )3% K * 6-!` E K #E R% 6 6X15 R)A#E '% E "% W H ]#E 6 = )A# #E W H J Y 8 ¦t Y #E u "% 6 6X1L 0 &!C1= ; U ]=y?± wR }" J
{B{7 '2C
Ey y lXm"§ZoE /! R( L% &!] R)A# 6 )A N 4 01 0 )A 8N C D*. O% G# X )3%Z 6 1t C J 0 "!P t 3 0 ! 1\ G#&%Z / &%Z ]u /. 6 6B @ ;>C &!L a @ 7.4% 8 5 0 Q / 5# % #E , , (*% Rs "!3% $ @ *6 6 Z.G 8 c § C! G#E @ )3% [ % ; h! (* Q# % 4 Q '! d% ' M* teN e©#&%Z 8+c μ2 ".G , \# # *#E "! 1deI e¶ t)A C! 6G#E [ )3% `% &!2 [ * % 6 bC X )A D R ,%W# '% (*)3%Z R . % 1 D 6 &! (W Y '% 6R% *)· ,# '% (*)3%Z Q)A C! 6 = ` , #E &! (\ [ )3% 6 DS% &!, K ' RbC G "!Q A 6RM* K K @ )3% 6V)A C! 6U R '! Y L '% R 5#E @ )3% / 6X Y.G R ' \% R!Q ]! (* '% >? Y! * 8I R % 6 6X1 DC * 6 &! R ( )3% >C H% ;# "! Q * Q 8 2. PROP PATTERNS 1Y (* P# % /% A! u& "!5 dl o % do7 JxJ ~' &{wpy xLy0zA y =® ]C
p } {w[
hy?±[»Z {wx=}
Eh } x x Jx]{@2 } {O} ~ A Cx { y WR1⁄4Z Q{ y$xJy* }3 J
EJ~ }*I Jx R
h ~ y?± RJ1⁄2@
^}] } ~'{wp } ~3 y {7 3⁄4 {'?J8ATH u *)! (* 5#&%Z DU% Y Y.4% Y (*( 0 "!_DV )A K *)A X % 6 X 1A ]% ' M? O @ 7.4%Z Y 8Ng A ; % )A ;.4% 1 D . O 6R% ) @ I R /#E @ )3% H)A C! 6 6 ( 8Vg J R =§ 8 §4.B B ? \ *)âlXm"nZo Da A% '% * ] t E 6R!\ w% *8 c )A A 4 ) # C / L6 *%*!P 4 3#&% '% )A / P )A % (* C % )A (A * C 0 × [ 0 '% 3a"a a aj% R% "! {1K} {100K} {100K} {100K} {1K}
[1]
Giovanni Chiola,et al.
GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets
,
1995,
Perform. Evaluation.
[2]
Tadao Murata,et al.
Petri nets: Properties, analysis and applications
,
1989,
Proc. IEEE.
[3]
Connie U. Smith,et al.
Performance Engineering of Software Systems
,
1990,
SIGMETRICS Perform. Evaluation Rev..
[4]
Giovanni Chiola,et al.
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications
,
1993,
IEEE Trans. Computers.
[5]
Marco Ajmone Marsan,et al.
Performance models of multiprocessor systems
,
1987,
MIT Press series in computer systems.
[6]
William E. Lorensen,et al.
Object-Oriented Modeling and Design
,
1991,
TOOLS.
[7]
Bruce Powel Douglass.
Real-time UML - developing efficient objects for embedded systems
,
1997,
Addison-Wesley object technology series.
[8]
Ulrich Herzog,et al.
Stochastic process algebras as a tool for performance and dependability modelling
,
1995,
Proceedings of 1995 IEEE International Computer Performance and Dependability Symposium.
[9]
Ralph Johnson,et al.
design patterns elements of reusable object oriented software
,
2019
.
[10]
Ivar Jacobson,et al.
Object-Oriented Software Engineering
,
1991,
TOOLS.
[11]
Ivar Jacobson,et al.
Software Reuse: Architecture, Process And Organization For Business Success
,
1998,
Proceedings. Technology of Object-Oriented Languages. TOOLS 26 (Cat. No.98EX176).
[12]
J. CamposDpto,et al.
PERFORMANCE EVALUATION OF DEDS WITH CONFLICTS AND SYNCHRONIZATIONS: NET-DRIVEN DECOMPOSITION TECHNIQUES
,
1998
.
[13]
Ivar Jacobson,et al.
Object-oriented software engineering - a use case driven approach
,
1993,
TOOLS.
[14]
Evaggelia Pitoura,et al.
Data Management for Mobile Computing
,
1997,
The Kluwer International Series on Advances in Database Systems.
[15]
Marco Ajmone Marsan,et al.
A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems
,
1984,
TOCS.
[16]
Bran Selic,et al.
A wideband approach to integrating performance prediction into a software design environment
,
1998,
WOSP '98.
[17]
Connie U. Smith,et al.
Performance Engineering Evaluation of Object Oriented Systems With SPE-ED
,
1997,
Int. CMG Conference.
[18]
Manuel Silva.
Las Redes de Petri : en la Automática y la Informática
,
2002
.
[19]
Eduardo Mena,et al.
Performance Evaluation for the Design of Agent-based Systems: A Petri Net Approach
,
2000
.
[20]
Mandyam M. Srinivasan,et al.
Introduction To Computer System Performance Evaluation
,
1992
.
[21]
Eduardo Mena,et al.
A Software Retrieval Service Based on Knowledge-Driven Agents
,
2000,
CoopIS.
[22]
Bruce Powell Douglass,et al.
Real-time UML (2nd ed.): developing efficient objects for embedded systems
,
1997
.
[23]
Peter King Rob Pooley,et al.
Using UML to Derive Stochastic Petri Net Models
,
1999
.