Stratified Petri Nets

HAL Id: inria-00073561

https://hal.inria.fr/inria-00073561

Submitted on 24 May 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub-

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non,

Stratified Petri Nets

Eric Badouel, Philippe Darondeau

To cite this version:

Eric Badouel, Philippe Darondeau. Stratified Petri Nets. [Research Report] RR-3128, INRIA. 1997.

�inria-00073561�

a p p o r t

d e r e c h e r c h e

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Stratified Petri Nets

Eric Badouel and Philippe Darondeau

N ˚ 3128

mars 1997

TH `EME 2

"!$# %'&(*)+!$, #.-0/ 1)32 24(56!78%$, #(9!$&

:<;>=

?A@"?BC D6E?AFHGI?JLKNMNGLOGL?J

?QPROTSJLOQUHJWVYXZ@[7KNJ\GL]^U9?

_ `

KNab?PdceGLOASNV

f

SNg9g7K

`

Pih9?

`

?AO

; ? ` O ;

?jFkmlHnoBNpqC @rS

`

VnTstsmuC B8v"gwSNMt?QV

xy{zQ|T}~9N|m€ 

?GLFmP

`

KZh9U9OA?0S‚VƒU9[7OQJLSNVYVKN„…S8JI†ˆ‡‰VdVY?QJ\„‹ŠŒ@"KZhHGI„X^GIF9MŽF9?PVA

:<;

?0OAKNF*Š

VYGIh9?

`

?Ah‚FH?QPVSNgHg‘?AS

`

SNV VYPS8PƒG\’w?Qh‚VƒUH@rVKN„‘K

`

hHGLF9S

`

X“FH?QPVSNFHh"P

;

?QX“S

`

GIVƒ?RSNVSOAKtUHF*Š

P?

`

gwS

`

P{PKOTSNVYOTSNh9?4g

`

KZh9U9OPVKN„7S8UHPKt@rS8PSR”^GLSP

;

?<hHUwS8J\GIPŒX•[‘?PŒ–4?Q?AFrSNUHPƒKt@rS8P—SSNF9h

F9?QPƒV[wSNVY?Ah˜KNF

`

?QMNGLKNF9V•GIF˜SNU*PKt@rS8PSHe™š?PVGIF›P

;

GLV•OQJLSNVƒVQœOTSJIJI?AhVžP

`

SPƒG\’w?Ah˜FH?QPVQœ

OTSNF9FHKNP?Ÿ

;

GI[HGIP•OQG

`

OQUHJLS

`

hH?Ag7?AF9h9?QF9OA?QV[7?QPŒ– ?A?QF˜gHJLSNOA?QVA¡•GIF9VYO

`

GIgHPYGLKtF›KtF¢wKo–jS

`

OAV

S8PƒPSNO

;

?AhqPƒKeSeM8GI”N?AFgHJLSNOA?8œWhH?Ag7?AF9h S8P@"KtVžP£KtFqP

;

?“OQKtFmP?QF^PƒV£KN„gHJ‹S8OA?AVGIFqJLKo– ?

`

J‹STXt?

`

VQ

:<;

? `

?Q„¤K

`

?NœˆP

;

?VžXZF^P

;

?AVžGLVg

`

Kt[*JL?Q@

;

SNViVYGI@“GIJLS

`

h9?AM

`

?A?QVšKN„{OAKt@"gHJI?ŸZG\PŒXe„¤K

`

¥ K `

hHGLF9S

`

Xw¦ F9?QPƒVRSNF9he„¤K

`

VYP

`

S8PYGI’w?Qh§FH?QPVQœ

;

?AF9OQ?G\P¨GIViP

`

SNOP—SN[*JL?8

©§ªm«$¬Y­0® }¯°zN€ ±

?QJ\„¤@"K*h*GI„X^GIF9M

_

?P

`

G0™š?PVAœ•²<SNVYOTSNhH?

_`

K*hHU9OQPAœ•™R?QP

±

XZF^P

;

?AVžGLV

_`

Kt[HJI?A@e

³µ´‚¶

·b¸Œ¹oº

¶

· »°¼\¸Œ½3¾Q¿

À'ÁÃÂÅÄ'ƑÇQÈ1ÉiÆ'ÊÄ$ËÊÈ3Ì͉ΚÄ3ÏÃËË8ÇQÈ3ÌÐYÑÒTΨÌ1ÁÃÐÓ7ԉÕHÔ×֠ԈØÙО̤ƑÇQÈ1ÉdÚwÛ

¾NÜ1·b¸Ý¸ÝÞ

ßàˆá

ÊâÂãÍLä×å

à

ÈÂãæ

Þç

ÊÑÃÇÏÃÐYÍIèTéˆÁÃÂãÍã‰ËÃËNÐ

Þê

ÊâÈÇëÑoЃÊâÏmìâí°Â‰ÈÂÅÄ1Ê

ÞîÈ

ª z ª €

™šKtUHV<GLFmP

`

K*hHUHGLVYKtF9ViU9F9?OJ‹S8VƒVƒ?VYg E?AOGI’9]ZUH?•h9?

` E?AVY?TSNU*ŸŽh9?

_

?P

`

GWSNUHPKŠ

@rKZhHG\’ˆSNFmPViKt[*P?AF^U9ViOQKt@"@r?£VYKt@"@r?£?QF OASNVƒOASNh9?QVšh9?

` E?AVY?TSNU*Ÿ hH?

_

?QP

`

GÙK

`

hHGIFwS8G

`

?AVQœ

OAK

`Y`

?AVYg‘KNF9hwSNFmPegwS

`

h9UwS8J\G\P*E? = S˜h9?QVg

`

K*h9U*GIPƒVŽ?AF OTS8VƒOTS8h9?AVeSNU VY?AF9VŽhH?

` K ; F ?P

fR;

KZh9?QVA

=

J‹S h*GRE? `

?AF9OQ?Žh9?AV

` E?AVƒ?ASNU*Ÿ˜SNUHPƒKt@"K*hHG\’ˆSNFmPƒV0h E?Q’9FHGLV“g9S

`

…S8JI†ˆœJL?QV

` E?âŠ

Vƒ?TS8U*Ÿ›h9? OQ?QPYP?rOQJLSNVƒVY?‚F'‡×KtFmPg9SNV•hH? h E?Qg‘?QF9h9?QF9OA?OG

`

OAUHJLS8G

`

?QV?AFmP

`

?rgHJ‹S8OA?AV•OA?r]^UHG

SNUHPK

`

GIVƒ?‚hH?AV0SJLMtK

`

G\P

;

@"?AV•h9?rVYXZFmP

;'=

?QVƒ?Žh9? OA?AV

` E?QVƒ?TS8U*Ÿ˜hH?‚OAKN@rg*JL?âŸ*G\P*E?‚h9U˜@?A@"?

K ` h `

?]^U9?•g7KtU

`

JI?AV

` E?QVƒ?ASNU*Ÿ VƒKNU9VžŠLažSNOA?QF^PƒVA

® |Ãz ¬ "! ª € f E?QVƒ?ASNU*Ÿh9?

_

?QP

`

GS8UHPKt@"KZhHG\’ˆSNFmPVQœ'OAKt@"g7KtVYG\PƒGIKtF?AFqOASNVƒOASNh9?8œ>VYXZF*Š

P

;'=

?QVƒ?h9?

` E?AVY?TSNUZŸ$

l

e¨

:<;

?ŽOTSNVYOTSNhH? g `

KZh9U9OQP0KN„šSNUHPKN@ SP—SHœ OQ?QJI?A[

`

S8P?Qh GIF˜P

;

?eSJLMt?Q[

`

SGLOP

;

?AK

`

X˜KN„RS8U*Š

PKt@rS8PS0[^X‚P

; ? ` K ;

F*Š

fi;

KZh9?AV¨h9?QOAKt@"g7KtVYG\PƒGIKtFeP

;

?QK

`

?Q@ „¤K

`

S8UHPKt@rS8PS"SNF9heVƒ?Q@"GµŠ

M `

KtUHg9Vãnos*œ°nol1œ'@rSTX [7?0OTS

`ƒ`

GI?Ah6PƒK‚P

;

?P

;

?QK

` X KN„

_

?P

`

GF9?PdP

;9`

KtU9M

; P ; ? `

?AMNGIKtF

[wSNVƒ?Qhqh9UwS8J\G\PŒX [7?QPŒ– ?A?QF›S8UHPKt@rS8PS‚SNFHh6F9?QPƒVAœ'g9S

`

SN@"?P

`

GIOKNF P ;

?•PŒX*g7?0KN„F9?QPƒVv

 ± P `

S8PƒG\’w?AheVYU9@"VšKN„°F9?PVRS

`

?£h9U9S8J'PK"OASNVƒOASNh9?g

`

KZh9U9OPViKN„{SNUHPKN@ SP—SHœHSNF9heP

;

?X

g `

KZh9U9OQ? „ ` Kt@ S `

[*GIP

` S `

XPŒX*g7?AV OQJLSNVƒVY?AVK8„dF9?PV GIFmP?

`

@"?AhHGLS8Pƒ?6[‘?PŒ–4?Q?AFK

`

hHGIFwS

` X

F9?QPƒV

¥

–¨G\P

;

VžP—S8PYGLO¢wKo– S `

OAVâ¦RSNF9h Vƒ?QJ\„‹ŠŒ@"KZhHG\„XZGIF9MŽF9?PV

¥

–¨GIP

;

@rS

`

†mGIF9MŽh9?Qg‘?QF9h9?AFmP

¢wKo–.S

`

OAV¦

±

?QJ\„‹ŠŒ@"K*h*GI„X^GIF9M0F9?PV4GIFmP

`

KZh9U9OQ?Ahe[mX …SJL†!BtuZœ9BNp$S

`

?šMt?AFH?

`

SJIG#"TS8PYGLKNF9V<KN„

_

?QP

` G

F9?QPƒV"GIF – ; GLO

; P ;

?Ž¢wKo–

`

?QJLS8PYGLKtF [7?QPŒ– ?A?QF SqgHJ‹S8OA? SNF9h SqP

`

S8F9VYG\PƒGIKtFGLVrS6J\GLF9?AS

`

„¤U9F9OQPYGLKNFŽKN„ÙP

;

?d@rS

`

†mGLF9MH

:

?AO

;

FHGL]^U9?QVšK8„WJ\GIF9?TS

`

S8JLMN?A[

`

S0U9Vƒ?QheGIFP

;

?VYPUHhHXKN„>P

; ?

VYP

`

U9OQPƒU

`

SJÙg

`

Ktg7?

`

PƒGI?AViKN„

_

?P

`

GWF9?PiOTSNF [7?•S8hwSNgHPƒ?AheGLFŽP

;

GLVi?ŸZPƒ?AF9h9?Qh „ ` S8@r?–4K

`

†ˆœ

GLF•gwS

`

PYGLOQUHJLS

`

?ASNO

; P `

SNF9VžGIPYGLKtF•@rSoX[7?<SNVYVƒKZOQGLS8P?Qh–¨G\P

;

SR@rS8P

`

G\ŸSNF9hP

;

? @"K*hHG\’wOASŠ

PƒGIKtFKN„>P

;

?@rS

`

†mGIF9M“h9U9?PƒK“SVY?A]^U9?AFHOA?KN„>’

`

S8[HJL?šP

`

S8F9VYG\PƒGIKtF9V¨OASNF[7?d?AF9OQK*hH?Ahe[mX

P ;

?£OAK

`ƒ`

?QVƒg7KtF9hHGIF9M g `

KZh9U9OPKN„{@rS8P

`

GLOQ?AVA

± P `

S8PƒG\’w?Qh F9?PVšS

`

?£Vƒ?JI„‹ŠÝ@"K*hHG\„X^GLFHM‚F9?PV

„¤K

` – ;

GLO

;

S8FK

`

hH?

`

GIF9M•KtF‚gHJLSNOQ?AV<@rSTXr[‘?RO

;

KtVY?AFŽVƒK•P

;

S8PP

;

?š@rS8P

`

GIOA?AV<SNVƒVYK*OG‹S8Pƒ?Ah

–¨GIP

; P `

SNF9VžGIPYGLKNF9VRS

`

?P

`

G‹S8F9MtUHJLS

`

œ*–

;

GLO

;

SN@"KtU9FmPV¨PƒK VƒSoX‚P

;

S8P¨P

; ? `

?S

`

?£F9K"OQG

`

OQU*Š

J‹S

`

h9?Ag7?AFHh9?AF9OGL?QV"[‘?PŒ–4?Q?AF gHJLSNOA?QV0GLF P ;

?VYg‘?QOQG\’wOTS8PYGLKNF K8„¨¢wKo– S ` O GIF9VYO

`

GIgHPYGLKtFHVA¡

gHJ‹S8OA?AV¨@rSTX[7?gwS

`

PƒGIKtF9F9?QhŽGLFmPK%$

&'(

VƒK“P

;

SP<GLFHVƒO

`

GLg*PƒGIKtFeKtF¢wKo– S `

OAViSPƒP—S8O

;

?Ah

PKrS“MNGI”N?AF§gHJ‹S8OA?NœwhH?Ag7?AF9h S8Pi@"KtVYPRKtFeP

;

?£OQKtFmP?AFmPƒVšKN„°gHJLSNOA?QVRGIFeJLKo– ?

`

J‹STXt?

`

VQ

:<;

?dg9U

`

g‘KtVY?dKN„>P

;

GLV4gwSNg7?

`

GIV4PƒKGLFmP

`

KZh9U9OA?šP

;

?d@"KZh9?QJ$KN„ÙVYP

`

S8PYGI’9?Ah

_

?P

`

G'F9?PV

SNF9h‚PƒK0g

`

KZh9U9OQ?Sg7KNJ\X*FHKt@“G‹S8J'S8JIMtK

`

G\P

; @ „¤K

` P ;

?QG

`

VYXZFmP

;

?AVYGIVA

:<;

?dVžX*FmP

;

?AVžGLVig

`

K8Š

[HJL?Q@ OAKtF9VžGLVžPV‚GIF hH?AOQGIhHGIF9M – ;

?P

; ? `

S›M8GI”N?AFM

`

SNg

;

GLVrGLVYKt@"K

` g ;

GLO PK›P

; ? VYP—SP?

M ` SNg

;

K8„'VƒKN@r?RF9?PTœZSNF9h"P

;

?QF OQKtF9VžP

`

UHOQPƒGIF9MP

;

?RF9?QPA

:<;

GIV g

`

Kt[HJI?A@ –4SNVK

`

GIMNGIFwS8J\JIX

VƒKNJ\”t?Qh‚„¤K

`

?QJI?A@"?QF^PS

` X F9?P VžXZVYP?Q@"V<U9VYGIF9MP

;

?RF9KNPYGLKtFrKN„

)+*+,-

ãn/.1

:<;

?RVƒKNJIUHPƒGIKtF

–<SNV¨P

;

?AF ?ŸZP?QF9h9?Qh PK

_

?P

`

G°FH?QPV0u*œˆBtB1ÙU9VYGIF9M"P

; ? `

?J‹SP?Ah F9KNPYGLKNF K8„

*2-3

$

54

)+*+,-

D?AFH?

`

SJIG#"A?Qh

`

?QMNGIKtF9V¨„¤K

`

g9U

` ? _

?QP

`

GÙF9?PVROAK

`Y`

?AVYg‘KNF9h§?âŸHSNOQPYJIXePK“P

; ?

&-76

8)9 ),-7

8

:;-

8

)

– ; GLO

;

– ?

`

?¨GIFmP

`

KZh9U9OQ?Ah"[mX"²

 _

?QP

`

GˆS8V SPKZKNJZPK@"?TSNVYU

`

?<P

; ?

`

?QJLS8PYGI”N? h9?QM

`

?Q? K8„4„

`

?Q?Ah9KN@ [‘?PŒ–4?Q?AF˜VY?QPVKN„4?Q”t?QFmPV•GIF›S OQKtF9OAU

`ƒ`

?QFmP0VYXZVžP?A@ u1

±

U9O

; S Mt?QF9?

`

S8J\G:"Q?Ah

`

?AMNGIKtFqGIVO

; S `

SNOP?

`

G#"A?Ah$œ{U9gPK SNF›SNh9hHG\PƒG\”t?"OQKtF9VYPSNFmPTœ°SNVSNF

GLFmP?QM

`

SJÙg‘KtFHh9?

`

S8PƒGIKtF KtFŽP

;

?S8JIg

;

SN[7?QPRKN„{SNOPƒGIKtF9Vi–

;

KtVƒ?•S8JIMt?A[

`

S8GIO£VƒU9@ ”8SNF*GLV

;

?AV

< î

ÇQÈÂãëĤÌÝÊâëæžÐRÐY͉Ð

á

ÐYëAÌÊâÈÎëÐbÌÄYèˆé9ÐbÌÈ1‘ëÃÐbÌÝĞèwé9ОÌ1ÈÂ7ëÃОÌÄ Æ>Â×ÌÁ"‰ëÁÉÒÂ×ÌÇÈ ÊÈæYÄÊÈ1ÐiÊQÄ1Ä1ÇoæbÂÅʗÌ1ЃÑ

Æ>‰Ì1ÁÑoÂ>=tОÈОëAÌ>̤ÎTË8ÐÇ

î

ëÃОÌÄ

v $ 9

S8JLKNF9M£SNFmX0OJLKtVY?Ah"gwS8P

;

KN„ˆP

;

?4P

`

SNFHVYG\PƒGIKtF"VYXZVYPƒ?A@e

:<;

?¨VYXZFmP

;

?QVYGIV g

`

Kt[HJI?A@ „¤K

`

g9U

` ?

_

?QP

`

GF9?PVOTSNFP

;

?QF [7?"VƒKNJ\”t?Qh GLF g7KNJIXZF9KN@"GLS8J PYGL@"?rU9VYGIF9M6SJLMtK

`

G\P

;

@"V£[‘K

`ƒ`

Ko– ?Ah

„ `

Kt@ P ; ? J\G\PƒP?

`

S8PƒU

`

?rKtF JIGIF9?TS

`

S8JIMt?Q[

` S KÔN?

` P ; ? `

S8PYGLKNFwS8JIV B1

:<;

GIV0S8JIMtK

`

GIP

;

@eœ

P ;

S8P–4SNVJLS8PƒPƒ?

`

?âŸZP?AFHh9?Ah„¤K

`

Mt?AFH?

`

SJ

_

?QP

`

G¨™R?QPV œ{GIV0S8hwSNgHPƒ?Ah GIF P ;

GLV0g9SNg‘?

`

„¤K

` P ;

?dOQJLSNVYV¨KN„ÙVYP

`

S8PYGI’w?Qh

_

?QP

`

G>FH?QPVQ>?QP¨U9V

`

?AOAS8JIJ‘P

;

SP<GLFŽOQKtFmP

`

SNVYP<P

;

GIV<@"?QP

;

K*h

OTSNF9FHKNP{[7?<S8hwSNgHPƒ?Ah•„¤K

`

?JL?Q@r?QFmP—S

`

XF9?PV°VYXZVYPƒ?A@"V„¤K

` – ;

GIO

; P ;

? VYXZFmP

;

?QVYGIV g

`

Kt[*JL?Q@

–<SNV<GIF9h9?Q?Ah g `

Ko”N?AhŽPK“[7?£™

_

ŠŒOQKt@"gHJI?QP? l1šKo– ?Q”t?

`

VYKt@"?[‘KZKNJI?TSNFŽOQKtU9FmP?

`

gwS

` P

KN„dP

; ? F9KNPYGLKNF KN„MN?AF9?

`

S8J\G:"Q?Ah

`

?AMNGIKtF9V MNGI”N?AV

`

GIVƒ? PƒK›P

;

?§VYK8ŠŒOAS8JIJI?Ah 6

, -3

– ; GLO

; S `

?dSVYJ\GLM

;

P<?ŸZP?QF9VYGIKtFeKN„>?JL?Q@r?QFmP—S

`

XF9?PV P

;

S8P<SNh9@“GIPƒV<Sg7KNJ\XZF9Kt@“G‹SJ‘PYGL@"?

VYXZFmP

;

?QVYGIV B11

±

GI@"G\JLS

`

J\Xtœ>KtFH?“@"GIM

;

Ph9?’wF9?“P

;

?0OQJLSNVƒVK8„ VžP

`

S8PƒG\’w?Ahq¢9GIg*Š¢wKtgqF9?PV

SNF9heg

`

Ko”N?£P

;

S8P¨GIFŽP

;

S8P<OTSNVY?•SJLVYK9œ9[7?AOTS8U9Vƒ?£KN„WP

;

?£S8[9Vƒ?QF9OA?KN„WOQG

`

OQUHJ‹S

`

hH?Ag7?AF9h9?QF*Š

OQGI?AV[7?QPŒ– ?A?AFgHJLSNOQ?AVAœ'P

;

?0VžX*FmP

;

?AVžGLVKN„VYP

`

S8PYGI’9?Ahq¢9GIg*ŠÝ¢wKNg6F9?QPƒV

;

SNVS g‘KNJ\XZF9Kt@“GLS8J

PƒGI@r?£VYKNJLU*PƒGIKtF'

± P `

SPƒG\’w?Ah F9?QPƒV

¥

SNVr– ?QJ\JšSNV"P

;

?e@"K

` ? Mt?QF9?

`

S8JRVƒ?QJ\„‹ŠŒ@"KZhHG\„XZGIF9M F9?QPƒV¦0@ STX [7?

h9?Q’wFH?Ah0„¤K

` S `

[HG\P

` S `

X£PŒXZg7?4KN„ˆF9?PV

;

Ko–4?”t?

`

GIFP

;

GLVg9SNg‘?

`

– ?<V

;

S8JIJ

`

?QVYP

`

GIOQP KtU

`

Vƒ?JI„

PK“P

;

?£OJ‹SNVYVšK8„{VžP

`

SPƒG\’w?Ah

¥

g9U

`

?¦

_

?QP

`

GWF9?QPƒVi–

;

GLO

; S `

?GIF^P

`

KZh9U9OQ?Ah§GIFeVƒ?QOQPƒGIKtF

¥

B^¦

g7KNJ\X*FHKt@“G‹S8JWVYKNJLU*PƒGIKtF§„¤K

` P ;

?VžX*FmP

;

?AVžGLVdK8„ VYP

`

S8PYGI’w?Qh

_

?QP

`

G{FH?QPVRGLVRh9?QVƒO

`

GL[7?Ah6GIF

Vƒ?AOPƒGIKtF

¥

lZ¦—

±

?QOQPYGLKtF

¥

v*¦RM8GI”N?AVVƒKt@"?rOAKtF9OJLUHhHGLFHM

`

?Q@rS

`

†^V•SNF9h

;

GLFmPƒV„¤K

`

„¤U

` P ; ? `

`

?AVY?TS

` O ; 

£ Qd š

„ GIVS

`

GIF9M"–4?JL?P !" VYP—S8F9h§„¤K

` P ;

?•VY?QPKN„$#&%(' @rS8P

`

GIOA?AVR–¨GIP

;

?QF^P

`

GI?AVGIF

˜œ*)

GLVdP

;

?0GLhH?AFmPƒG\PŒXq@rS8P

`

G\Ÿ§GIF !Zœ .

+!"

GLVšP

;

?“@rS8P

`

GµŸqKN„, !".S8J\JKN„–

;

KNVƒ?

?AFmP

`

GL?QVS

` ? .HœwS0”t?QOQPK

`.-0/

“GIV¨GLh9?QFmPƒG\’w?Ah –¨G\P

;

S“OAKNJIU9@"F @ SP

`

GµŸ

-0/

+! 

1eª32465

|

5¤®7498;:

/

$<

6>= ,

<

&-2* -30,

<

?= - +,-

#A@CB

9 ' = (%:

D

8

E2(FHG

¥JILKM

¦ 8

,- : -2* , < / , <

ON-7 I @

- %

$

-3 (> ))/-7+6

+,- M ¡

IQP RSR

+!"TU O

8)9 9

<

,0ON& ON-7V

@

M¥

V

¦CWYX$Z[?\]_^`[?\]abB 9

(

c ¥ V ¦ / RSR

+!"

- ed

¥ V ¦ / RfR

! : = hg-2* : -7&iN

8 ,kj /ml @

e = 6

54/ +,-on, p= , 2 , <

,7 +,-q: rN

8 ,`s /tl

" @

- 0

9

k= hg-2* *O

9

, < 9 -3@: 9 - +,-%)

$

+,-ruwv$n?Fxq

B 9

,// ; )zymG l

(= hg-2*

@

B 9

,// 8

+,- |{}G

I % l "

( ON-7

B

9

~= , 2,

<

,7 +,-

@

- B 9

,//

- +,-!(

$

+,-

6t€

y % { % y : *?N-t &

j V

ƒ‚

j…„ † j „ G c ¥ V

¦‡

s‰ˆŠd

¥ V

¦‡

j ¥

n8¦

9 -3 : ,( ,- &

B 9

- 9

Cd

¥ V ¦

( 2-7 &(=

8

) - ! :

,e

B 9

- 9

zd ¥ V ¦

) -2*

$

ƒ=

8

)

B 9

,// -7 +) ,-%

9

/*2,- $

(

d ¥ V ¦

¥ K

¦ G n

-

d ¥ V ¦

¥ K

¦ G .



?£JL?P

ª

|Ãz

¥ ' K

#Ù¦—œ

zQ|

¬

ª

|Ãz

¥ ' K

#W¦<SNF9h z

¬

ª

|oz

¥ ' K

#W¦4h9?AF9K8P?

`

?AVYg‘?QOQPƒGµŠ

”t?QJ\XŽP

;

?VY?QPƒVšKN„{K

`

h*GLFwS

`

XtœwVžP

`

S8PƒG\’w?Ah§SNF9h Vƒ?JI„‹ŠÝ@"K*hHG\„X^GLFHM

_

?P

`

GÙF9?QPƒVšKN„°hHGI@"?AF9VžGLKtF

#{œ9–¨G\P

; ' gwS

`

SN@"?QPƒ?

`

VQ

ª

|Ãz

¥ ' K

#Ù¦ € zQ|

¬

ª

|oz

¥ ' K

#W¦ € z

¬

ª

|Ãz

¥ ' K

#W¦

:<;

?q@rS

`

†mGIF9M M ` SNg

; uwv

¥ F

¦"KN„•SF9?Pe@ STXS8JLVYK [‘?6g

`

?AVY?AFmP?Qh SNVeS „3S8@"G\J\XKN„

P `

S8F9VYG\PƒGIKtF VYXZVYPƒ?A@"V F

¥ s ¦ € l

"TU

% I % l

"TU

GLFHh9?Ÿ*?Ah [^Xeg9S

`

SN@"?P

`

G#"TSPƒGIKtF9V

s

/tl "

œ9–

; ? ` ? X ‚

a

P X ‚

a

GIF

F ¥ s ¦ † j V

‚

j „

 ;

?AF P ; ? `

?eGLV"KtF*JIXKNF9?egwS

`

S8@r?P?

` – ;

KNVƒ?e”NSJLU9?ŽGIVentœG1×?N

s G

ãn 1œ– ?§V

;

S8J\J

SN[9[

`

?Q”^G‹SP?

F

¥ s

¦PƒK F

SNFHh j V

ƒ‚

j „

PƒK

j V  j „

"!$#&%('*),+.-/-/%0-1!324 "%5),27698 !;:=<,2?>@<ACBEDF%HG/-

V¨GIPiGIViU9VƒUwSJIJ\XeF9?AOQ?AVYVS

` X PƒK

;

ST”t?£P

;

?P

`

SNF9VžGIPYGLKtF

`

?J‹SPƒGIKtF§[7?MNG\”t?QF [mX SNF S9IrF9?

P ` S8F9VY„¤K

`

@rS8PƒGIKtF – ?‚V

;

S8J\J<U9VY?‚P

; ? OTSNFHKtFHGIOTS8J ?A@•[‘?Qh9hHGIF9MKN„iSNFSJI FH?VƒgwS8OA?‚GIFmPK

SrJ\GLF9?AS

`

VƒgwSNOQ?Nœ7G×?N¨– ?0SNh9h6S 8

E7,

gwS

`

S8@r?P?

` – ;

KtVY?•”8S8JIU9?•GIVdSJI–4STX*VMNGI”N?AF

[^X P ;

?U9FHG\Pe?QJI?A@"?QF^P›nt

:

?AO

;

F*GLOAS8JIJ\X…'

G n

ˆLK

– ; ? ` ? K GIVeP

;

?F^U9@[7?

`

KN„

SNOQPƒUwS8J<g9S

`

SN@"?P?

` V P

;

?QVƒ?egwS

`

SN@"?QP?

`

V0–¨G\JIJ4[‘?

`

?Ag

`

?AVY?AFmP?Qh [mX ”8S

`

G‹S8[HJL?QVAœOTSJIJI?Ah

P ; ? =

8 $ 8 )

KN„4P

;

?rF9?QPA¡MONoœ5M œ$PQPQPHMSR–

; ? `

?TMON0OAK

`Y`

?QVƒg7KtF9h9VPƒK P ; ?

’wOQPYGIPƒU9KtU9V<g9S

`

SN@"?P?

`  :<;

?dKNP

; ? `

gHJLSNOA?QVUMSR

T

œVPQPPSMSR

TU KN„'P

;

?dF9?PTœ*–

; ? `

?k#§GIV G\PV

hHGL@"?QF9VYGIKtF'œ7S

`

?dP?

`

@"?Ah

-7 - $ $ 8

)



„WP

; ? `

?GIV¨F9KrSNOQPƒUwS8J>g9S

`

SN@"?P?

` ¥ KiG

.Z¦

P ;

?QF P ;

?P

`

S8F9VYG\PƒGIKtF

`

?QJLS8PYGLKtFeGIVRg9S

`

SN@"?P?

`

ŠÝ„

`

?A?N¡

j V  j „ † j „ G c ¥ V ¦ ˆ d ¥ V

¦‡

j ¥

B^¦

gwS

`

SN@"?QP?

`

Š„

`

?A?ŽK

`

hHGIFwS

` X F9?P0GIVdabU9VYPrS gHU

` ? _

?QP

`

G¨F9?P

¥ K ` S

N

8 , '' +,-

&1 O=

ãnop¤¦ SNF9h

;

SNV¨G\PV¨P

`

SNF9VžGIPYGLKtF VYXZVžP?A@ MNG\”t?QF§[mX7¡

j V 

j…„ † j „

G9j ˆ c ¥ V ¦ ¥

lZ¦

$ 9

GLF9S8JIJ\X6G\„ P

; ? `

?rGIV£KtFHJ\XqKtF9?"?”t?AFmP•GLF

I

œ>P

; ? FH?QP

`

?Qh9U9OA?QVPƒK S gwSG

`

KN„4@rS8P

`

GLOQ?AV

c /

RSR

+!"

SNF9h

d /

RSR

!

SNF9h G\PVŽ@rS

`

†^GIF9M M ` SNg

;

GIVeP

;

?6P

`

SNF9VžGIPYGLKtF

`

?QJLS8PƒGIKtF

P € l % l " % l

M8GI”N?AF [mX

j ‚

P j „ † j „ G c ‡

s‰ˆ d ‡ j ¥

v*¦

:<;

?£F9?QPiGIViP

;

?AF S%$

-3 / -7

$ = 8)9

-3

Ån 1

DF%HG <VG !O<,+) 1% %0-/%AUG + G <!$A



?•V

;

S8J\JUHVƒ?0P

;

?•„¤KNJ\JLKo–¨GIF9MŽgHGIOQPƒK

`

GLS8J

`

?Ag

`

?AVY?AFmP—SPƒGIKtFq„¤K

`

F9?PVQ

_

JLSNOQ?AVS

` ? `

?Qg

`

?âŠ

Vƒ?AFmPƒ?Ah [^X‚OQG

`

OJL?QViSNF9hŽ?Q”N?AFmPV

V / I S ` ? `

?Ag

`

?AVY?AFmP?Qh [mX[7KTŸ*?AVA



?dOTSJIJ

- 2

= g-2*

Sd”t?QOQPƒK

`j /tl

"$TU

– ; KNVƒ?¨’

`

VžP?AFmP

` X ¥

OAK

`ƒ`

?QVƒg7KtF9hHGIF9M£PKP

;

?i’9OQPƒG\PUHKtU9V

gwS

`

S8@r?P?

` ¦ ;

SNVš”8S8JIU9?rnt

j G X ‚

a – ; ? ` ? s /ml "

GIVšS gwS

`

SN@"?QP

`

G#"TS8PYGLKtF6SNF9h

j / l

GLVS‚@rS

`

†mGIF9M9

F6?ŸZP?QF9h9?Qh @rS

`

†mGLF9M

j

GLV

`

?Ag

`

?AVY?AFmP?Qh [mX GLFHhHGLOAS8PƒGIF9M

GLF˜?ASNO

;

gHJLSNOQ?‚P

;

?r”8S8JLUH? GIF l

MNG\”t?QF[mX P

;

?OQK

`ƒ`

?AVƒg7KtF9h*GLF9M ?AFmP

`

X›GIF

j  ±

GLFHOA?

P ;

?dg*J‹SNOQ?dOAK

`ƒ`

?QVƒg7KtF9hHGIF9M0PƒKP

;

?š’wOQPYGIPƒU9KtU9V<g9S

`

SN@"?P?

`

MON

;

SNV¨S8J\–4SoXZV<”8S8JIU9?0nG\P4GIV

U9VƒUwSJIJ\XeF9KNP

`

?Ag

`

?AVƒ?QFmP?Ah$

„ j G X ‚

a

GIVS8F ?âŸZP?AFHh9?Ah6@rS

`

†mGLF9MHœwKtF9?

;

SNV

j V

ƒ‚

j „ † j „ G j ˆ

¥ V

¦‡

X ‚

a ¥

^¦

– ; ? ` ? ¥ V ¦ G M¥

V

¦ X

" h

a9œ0OAS8J\JL?Qh P ; ? -

8

2-

8

=

œ `

?AOQK

`

h9V6P

; ?

@rKZhHG\’wOTSPƒGIKtF KN„@rS

`

†mGLF9MNVrhHU9?ŽPKqP

;

?eKZOAOQU

`ƒ`

?AF9OQ?

¥ -2*

¦KN„?”t?QF^P V 

:<;

?

JIGIF9? K8„

¥ V

¦‚–

;

GLO

;

GLV S ”t?QOQPƒK

`

KN„

RfR

"TU

GLV

`

?Qg

`

?QVƒ?AFmPƒ?Ah [mX P ;

?„¤K

`

@rS8JVƒUH@

¥

M K V ¦

G

R

TU

!"

N ¥ V ¦

¥ K

¦z‡ M !

<VžGLFHOA?ŽP

;

?Ž”8S

`

G‹SN[*JL? MON S8J\–<STXZV

;

KNJIh9V“P

;

?”8S8JIU9?

n£– ?V

;

S8J\J

`

?QgHJLSNOA?£P

;

?£VYU9@"@ S8F9h

¥ V ¦ ¥ K

.Z¦6‡MONš[^X‚P

;

?£OAKNF9VYPSNFmP

¥ V ¦ ¥ K

.Z¦—

 ?

F9Ko– OAKt@"gHJI?QPƒ?4P

;

? gHGIOQPK

`

GLS8J

`

?Ag

`

?AVY?AFmP—S8PYGLKNFrK8„9P

;

? F9?QP{[mXh

`

ST–¨GLF9MdSNF“S

`

O4[7?QPŒ– ?A?AF

P ;

?dg*J‹SNOQ?MÙSNFHhP

;

?d?”t?QF^P

V

JLSN[7?QJ\JL?QhŽ[^X P ;

?š„¤K

`

@rS8J‘VƒU9@

¥

M K V

¦ –

;

?AFP

;

GIV¨?Ÿ^Š

g `

?QVƒVYGIKtF‚GIVF9KNP "A?

`

K9 GIMtU

` ? ¥

n8¦

`

?Ag

`

?AVY?AFmPV<S•VYP

`

S8PYGI’9?Ah

_

?QP

`

G‘F9?QPƒV –¨G\P

;

G\PVJ\GLF9?AS

`

`

?Ag

`

?AVY?AFmP—SPƒGIKtF SNF9hgwS

`

PdKN„G\PVd@rS

`

†^GIF9MeM

`

SNg

;

$# ]^UwS8PYGLKtF

¥

^¦¨h9?QVƒO

`

GI[‘?QV£P

;

?0PKŠ

†N?AFrMmSN@"?iKN„‘Vƒ?JI„¤@"KZhHGI„X^GIF9MF9?QPƒV–

;

GIO

;

[7?

;

So”N?RJIKZOTS8J\JIX0S8P?TSNO

;

?ŸZPƒ?AF9h9?Qh‚@rS

`

†^GIF9M

j G X ‚

a

J\GI†N?ŽSe”t?AOPK

`

SNh9hHG\PƒGIKtF›VYXZVYPƒ?A@

¥

OAKN@rg9S

`

?r–¨GIP

;

?A]^UwS8PYGLKNF

¥

lZ¦š–

; ? ` ?

c ¥ V

¦GIVšM8GI”N?AF6[mX ¥ V

¦h‡

X ‚

a

¦ GIMtU

` ? ¥

B^¦ hHGIVƒgHJLSTX*VRP

;

?£”t?QOQPƒK

`

SNhHhHGIPYGLKNF§VžX*VžP?Q@rV

¥

G1‰?8 g9U

` ? _

?P

`

G$F9?QPƒV¦{PK–

;

GIO

; P ;

?Vƒ?JI„¤@"KZhHG\„XZGIF9M“F9?P<KN„ GLM9

¥

n8¦?”8S8JLU9S8P?RGLF‚P

; ?

`

?AVYg‘?QOQPYGI”N??ŸZPƒ?AF9h9?Qh @rS

`

†^GIF9MtVQ