(c) 1: incremental, no nodes receive2

(a)2: infers a broken link (b)2: incremental; 1: receives

2 3

=Ï7:5ƒOS Q)STôuSTJ#?SÌE)G:SÛQ)58<:E)JM79 JM7Ž5?Q =FE)JM587;NST7E¨ñ" =?7:5?E)G:SBQ7:51O:S E)G>=FEST=?7e!E)GS Q)STôuSTJ#?SBQJÌ=

7:STJU98Gñ58<:QK5/E)G:ScNST7OSBQTA:JJ vS >JUEJJ£7ÚE)G:SQ#=?7:9?S¨5fE)G:S:NST7O:SBQ

R/JU9 6a)G:5_ö0 52)JMñ>LUS Q)58<:ENS¨=?O#?SBQ#E)JNSST7E5YW 7:5ƒOSQ#<77>JM7:9EZ8?S JM7I= ï î õ'úÎûãŽQ)52

E)G:S JM7JUE)JM=?L)E)=FENS =ÎE)JS JM7ôuQ)ST=NS ªûG:SNS =?O#?SBQ)E)J)SST7ªE6JM7ôBL£<O:S=)j<LML>O< 5ST=?ô(GÙ75ƒO:S =?7O

ôu587NSDƒ<:ST7E)JM=?LJM7>ôuQ)SST7E)=?L< O=FENS1 8ûGSJM7JUE)J£=?LQ#58<:E)JM7:9ØE)=Fñ>LUS5XWÐ7:51O:SÔ=FQ)SV#G:5iö7 JM7ûf=FñDLUSþ

øjûf5$)=#?SG >=?ôuS?AþÐJ<)STOyw5?Q7:51O:SþFAe6EŽ5?Q7:51O:S)6=?7O<Ww5?Q75ƒO:S)W" ~üT'k7ÚE)G:SÐE)=Fñ>LMS?A¶økþFAþFAe]1A¶økþFA

]ªüNüST=?7E)G>=FE 7:51O:S þ!G==ÛQ)58<:E)J£7:9E)=Fñ>LUSÌôu52 Q#J#JM7:9587:S!Q)58<:ENS¨ST7ENQ×EN5ÙJUENSTLdA>JM7×ö'GJMô#GE)G:S

O:SNE)J£7=FE)JU587 =?7O E)G:S7:S1EG:5 ñ5?E)GÛ=FQ)S7:51O:SþFAªE)GS7<e¨ñSBQÔ5G:5 eÎJY]=?7O JUEÍJM7JME)JM=?LNSDƒ<:ST7ôuS

7ƒ<¨ñSBQJ?)SBEEN5]1AQ#S1 Q)SNST7ENSTOI=¨økþFAp]ªüC

^ S×=)<eSÛE)G>=FE75ƒO:SyWJ¨E)G:S+9Q)E¨EN5‡ñQ)58=?OôB=)EJMEcj<LMLÎO< øJWƒA>]1AøJWƒA]ªüNü¨öJUE)GJM7 E)G:S

ï î õ úûZ LÐ7L 7:51O:S)6!Q)STôuSTJ#?SE)GJ6J£7w5?QC =FE)JU587Ú=JM7OJ£ôB=FENSTOÙJ£7ÙR/JU9 6:øj=ªüC >õ'51O:Sc6Ì< O=FENSJUE

Q)58<:E)J£7:9E)=Fñ>LUS ñ>=NSTOÛ587ÛE)GJJ£7w5?QC =FE)JU587! 2'dEK=?OOÎE)G:S'7:SBö2ST7ENQ$Ž5?Q67:51O:S/WÐEN5JUEÍQ#58<:E)JM7:9!E)=Fñ>LUS?A

=ŽENSBQKJ£7ôuQ)ST=)JM79¨E)G:SgSBENQ#JMô'5E)GJST7ªENQ ñ þ'=?7OÙ=?OOJ£7:9!7:51O:S/W¨=6E)G:SØ7:S1EÎG:5 Ú5E)GJÎST7ENQ

î wENSBQÔE)G=FEBA8JME/J£7ôuQ)ST=NS/JUE/5_ö7NSDƒ<:ST7ôuS7<e¨ñSBQ/EN5c6" ?ûG:S< O=FENSTOÌQ)58<:E)JM79'E)=Fñ>LMSf5ZE)G:S7:51O:S

=FQ)S98J#?ST7 JM7‡û=Fñ>LUS6" î /)G5iö7 JM7ÏR/JU9 X6:øŽñZü(A7:51O:S6ÛJ$STOJM=FENSTLIñQ)58=?OôB=)EÐ=?7 JM7ôuQ)SST7E)=?L

< O=FENS?ADøNøJ6ƒAR]1AZøJ6ƒAR68üNü(AøJWƒAZþFAZøJWƒAR]ªüNüNüC ƒõ'51O:SVWÐQ#STôuSTJ#?SE)G>JÍJM7Ž5?Q =FE)JM587 =?7O < O>=FENSÍJUEÍQ#58<:E)JM7:9

E)=Fñ>LUSØJM7Ù=:#J JMLM=FQÎö6=-?A=?OOJM79¨=7:SBöÖQ#58<:ENSØST7ªENQaw5?Q7:51O:Sg6!EN5JUEÎQ)58<:E)JM79¨E)=Fñ>LUS?A:=?7OÙJM7ôuQ#ST=NS

JUENSD<ST7ôuS'7ƒ<!ñZSBQÎEN56ƒAƒ=)G5iö7ÛJM7 û=Fñ>LUSVW" 'd7ÛR/JU9 "6:øjôiü(A:7:51O:SVWñQ)58=?OôB=NE6=?7ÙJM7ôuQ)SST7E)=?L

< O=FENS?AføNøJ6ƒA/þFAøJ6ƒA!68üNü(AÔøJWƒA]1AøJWƒA!68üNüNü(AZñ><:E7:5Û5?E)G:SBQ'75ƒO:SQ)STôuSTJ#?SJUEBAñSTôB=?<NS!7:5ƒOS:6 J58<:E5

E)G:SQ#=?79?S567:51O:S$W" õ'5iöA¶75ƒO:S×þ5?Q#JM98JM7=FENSJUE/j<LMLO<$ Ïñ>Q)58=?OôB=NE)JM79 økþFAX]1AÎøkþFAX]ªüNü öGJ£ô#G

7:51O:SZ6ÌQ)STôuSTJ#?SBA=?)G5iö7×JM7ÚR/JU9 6:øjODüC õ'5ƒOSZ6< O>=FENS6JMEKQ)58<:E)JM7:9ÌE)=Fñ>LUSÐ=?)G5iö7×JM7Úû=Fñ>LUSgK

'k7ÏR/JU9 F6:øŽS_ü(Af7:5ƒOSE6ÙñQ#58=?OôB=NEÐ=?7JM7>ôuQ)SST7E)=?L< O>=FENSÚøNøkþFAþFAøkþFAX]ªüNü(AøJ6ƒAU]1AÔøJ6ƒAFKüNüNü(Añ><:EØ7:5

5?E)G:SBQØQ#STôuSTJ#?S JUE1 õ'5iö+JM7‡R/JU9 X6:øA(ü(A¶7:51O:S6Ù5?Q#JU98JM7>=FENSÐJUE/Ž<>LMLfO>< ‡=?7O‡ENQ#=?7 JUEøNøkþFAþFAøkþFA

]ªüNü(AøJ6ƒA]1AøJ6ƒARKüNü(AøJWƒAþFAøJWƒAR]ªüNüNü(A=?7>OÛ7:51O:SþQ#STôuSTJ#?SKE)GJ6JM7Ž5?Q =FE)JU587X ªõ51O:Sþ ÷?SBS1 e6E)G:SØST7ªENQ

EN5JUENSTL<7>ô#G=?7:9?STOÛñSTôB=?<NS 5E)G:SØJMO:ST7E)JMôB=?Le)SD<:ST7>ôuS 7ƒ<!ñZSBQf]R "'ÉEK=?OOÎE)G:S ST7ªENQ#JMS`Ž5?Q7:5ƒOSg6

=?7O×7:51O:S)WÌEN5 JUEKQ#58<:E)JM7:9ÌE)=Fñ>LUSÐQ)S ZSTôuE)J#?STL?A=?7O×JUEJM7ôuQ#ST=NSJUE0NSDƒ<:ST7ôuS7ƒ<!ñSBQ6ñ"H6" ûG:ST7

7:51O:SÐþKñQ)58=?OôB=)E=?7 JM7>ôuQ)SST7E)=?L:< O=FENSøNøkþFA>þFADøkþFAr68üNü(AZøJ6ƒAþFAZøJ6ƒA2KüNü(ADøJWƒA6ƒADøJWƒA2]ªüNüNüÔöGJMLMS67:51O:S

6Q)STôuSTJ#?SJUEÛøŽEN5I)=-#?Sy >=?ôuS?A=?LN5t)G5iö7 JM7 R/JU9 >6:øA(üNüC Ôõ51O:S+6587L < O=FENS!E)G:SÛQ)58<:ENSÙST7ªENQ

Ž5?Q¨7:51O:S×þ=ÛøkþFAþFAøkþFAU68üNü(A=?7O‡÷?SBS1 e¨E)G:S5?E)G:SBQST7ENQ#JUS<>7ô#G=?79?STO‡ñZSTôB=?<eNSE)G:SBQ)S JÐ7:5×7:SBö

JM7Ž5?Q =FE)JM587 Q)STôuSTJ#?STOAN5JUEKO:5S75?E6ñ>Q)58=?OôB=NE=?7ÛJM7>ôuQ)SST7E)=?LZ< O>=FENS 1ûG:Sg 5ƒOJ9STO Q#58<:E)JM7:9

E)=Fñ>LUS=FQ)Sc)G:5_ö7IJM7×û=Fñ>LUSck"

î 7S:= >LUSE)G=FEÍJ£LMLM<NENQ(=FENSÔG:5iö =Ð75ƒO:SOST=?L/öJUE)G=ØñQ#5?÷?ST7 LMJM7:÷!J/98J#?ST7 J£7ÌR/JU9 "W" î #<S

E)G:SÌQ)58<:E)JM79 E)=Fñ>LUS'57:51O:SÌþ!=?7>O_6Û=FQ)SÌE)G:S#=SÌ= E)G:52)SJ£7û=Fñ>LUSk" ¶46587e)JMO:SBQ75ƒO:S6a9>7O

E)G=FEÍJUEÔG=/7:5?EÔQ#STôuSTJ#?STO=ØñQ)58=?OôB=)EwQ)52 7:51O:S0WVw5?QÍ=Øö'GJMLUSØøŽS v9 ª=/ SBQ#JU51OJMôÍJM7ENSBQ#F=?Lwü(A?=Y)G:5_ö7

JM7 R/JU9 FW:øj=ªüC U'ÉEJM7wSBQ E)G:SÛLMJM7:÷IñSBEÉöÎSBST7 E)GS JØñQ)5?÷?ST7X ¶òST7>ôuS?A¶7:51O:S$6×=)JU987eØE)G:S$SBENQ#JMô5

E)GJØLMJ£7:÷IEN5

Ð

=?7O‡JM7>ôuQ)ST=NSÐE)G:SNSDƒ<:ST7ôuS 7ƒ<!ñSBQÐñ þ ûG:ST7 JUEÐJM7ôuQ#ST=NSÐJUEØ5iö'75NSDƒ<:ST7ôuS

7ƒ<¨ñSBQØñ"_6Ù=?7O J$ STOJM=FENSTLIñ>Q)58=?OôB=NEÐ=?7 JM7>ôuQ)SST=?7E)=?LÔ< O=FENSÚøNøJ6ƒAU]1AøJ6ƒAFs8üNü(AÎøJWƒA

Ð

AÍøJWƒA

™ üNüNü(AZöGJ£LUSÐ7:5ƒOS þÐQ)STôuSTJ#?S JUEJ£7IR/JU9 pW:øŽñZü¨øj7:5?ENS·D=FE'E)GJ0 52ST7ªEBADE)G:S¨Q#58<:E)JM7:9E)=Fñ>LMS5Í7:51O:S þ

JE)G:S:)= S!='E)G=FE'JM7 ûf=FñDLUS:kƒAZöGJMLUSÐE)GSQ)58<:E)JM79 E)=Fñ>LUS!5Í7:5ƒOS:6 JV)G:5_ö7JM7 ûf=FñDLUS:s8üC õ51O:S

þ< O=FENSKE)GSQ)58<:ENSST7ENQ+w5?Q 7:51O:S)6EN5 E)G:SQ#STôuSTJ#?STO.NSDƒ<:ST7ôuS!7<!ñSBQs" >R:5?Q'E)G:SQ)58<:ENS¨ST7ªENQ

Ž5?Q7:51O:ScWƒA>7:51O:S þ)NSTLMSTôuEE)G:S587SQ)STôuSTJ#?STOt)JM7ôuSJUEG>=E)G:S¨GJM98G:SBQ0NSDƒ<:ST7ôuS¨7ƒ<!ñZSBQ- HÎSTôB=?<eNS

E)GJØJØ=ÙñQ)5?÷?ST7‡LMJ£7:÷DAZ7:51O:SÙþJ£7ôuQ)ST=NSØJUE 5iö'7INSD<ST7ôuS7<!ñSBQØñM6" ûG:S 5ƒOJ9STOQ#58<:E)JM7:9

E)=Fñ>LUSÚ5Ø7:51O:SÏþ×J)G:5iö'7 J£7 û=Fñ>LUS<s" ÍûGST7 7:5ƒOSÏþ×JaSTOJM=FENSTL ñQ)58=?OôB=NE=?7 JM7ôuQ)SST7E)=?L

< O=FENSøNøkþFA]1AøkþFA"KüNü(A¶øJ6ƒAþFAøJ6ƒAs8üNü(A¶øJWƒA

Ð

AøJWƒA ™ üNüNü6=?7OÚ7:5Ì5?E)G:SBQ7:51O:S6Q)STôuSTJ#?SÐJUEBA:=f)G:5_ö7ÚJM7

R/JU9 W:øjôiüC !8ƒ5Q)58<:E)JM79ÌE)=FñDLUS5/7:51O:S þ=?7O×7:51O:Sc6=FQ#SE)G:S))=S!=E)G:52NS¨J£7×ûf=Fñ>LMScs"

ð!˜J™

¹

´º-µAžp¢uñ+›°NµA p¢F›e±A´

ûG:SØJM7ENST7ªE5f58<:Q4fõò51O:STLJ6EN5$)G:5iö E)G>=FE4?õgôB=?7ÚñZSØ<NSTO+Ž5?QE)G:SZ51O:STLMLMJM79¨5¶Q#58<:E)JM7:9

Q)5?EN51ôu58LJM7¨= ïî õ úû ST7r#1JUQ)587eST7ªEföG:SBQ)SÎ=FQ)ñ>JUENQ#=FQØô(G=?7:9?S/57:SBEÉöÎ5?Q#÷EN5 58LU5?9¨=FQ)S Z52)JUñ>LUS

^ S E)G:SBQ#S1w5?Q)SNE)=FQ#EÐñM51O:STLMLMJM79 E)G:Sñ>=)J£ô!5 SBQ#=FE)JM587‡5E)G:SQ)58<E)JM7:9+ Q)5?EN51ôu58LJ·7:51O:SÐOJ)ôu5N#?SBQ

5?E)G:SBQ75ƒO:SÍñÌQ)STôuSTJ#1JM7:9ØñQ)58=?O>ôB=NE`S#=F9?S=?7O < O>=FENS6E)GSTJUQÍQ)58<:E)J£7:9ØE)=Fñ>LUSÍ=?ôBôu5?Q#O>JM7:98Lp»8=?7O

7:51O:SÍOJ)ôu5-#?SBQ6E)G=FEY Q#S1#ƒJU58<e)L¨S)E)=Fñ>LMJ)GSTO LMJM7:÷RÔ=FQ)S75¨LU587:9?SBQ#o=?LMJ£OA?=?7Oa =FQ#÷ÌE)GS+=Íñ>Q)5?÷?ST7

JM7ÚE)G:STJMQQ)58<:E)JM7:9E)=FñDLUS1

^ S O5Ú75?E/ 5ƒO:STLE)G:SQ)58<E)JM7:9HS)=F9?SS" >L£JMôBJUE)L 'd7)ENST=?O‡öÎSg*)<NEÐôu587)J£O:SBQØS1#?ST7ªEÐö'G:SBQ)S

E)G:SÏJM7Ž5?Q =FE)JU5873ŽQ)52 E)GS.S)=F9?S‡JQ#STôuSTJ#?STOÖ=?7>Oó Q)51ôuSNSTOX

^ S =#<SIE)G=FEÛE)GJ ôB=?7>7:5?E

51ôBôB<:QZ)JÌ<LUE)=?7:SB58<#L×JM7OJlZSBQ)ST7EØ7:5ƒOSBADJJ vS 7:5ÙE|ö65×7:5ƒOS'Q#STôuSTJ#?SÌ=?7>Ot >Q)5ƒôuSE)G:SÌñQ)58=?O>ôB=NE

=FES:=?ôuE)LE)G:SV)=SE)J S r'k7NENST=?OA8E)GSNSS1#?ST7E6=FQ#SJM7ENSBQ#LUST=#?STOÙJM7E)GSOJmlSBQ)ST7EÍ7:5ƒOS1 ªR<:Q#E)G:SBQTA

ñSTôB=?<NS5=FQ)ñ>JMENQ#=FQt 5-#?SST7E¨56E)G:S 75ƒO:STAE)G:SBQ)S J75<Gƒ7>ô#G:Q)587>J)=FE)JU587‡ñSBE|ö6SBST7OJlZSBQ)ST7E

7:51O:S?Ž5?Q'= ñQ)58=?OôB=NE1 ZòST7>ôuS¨E)G:Sñ>Q)58=?OôB=NE'ñ×7:51O:S î =×ñSQ#STôuSTJ#?STOIñ"·Z7:5 7:51O:S¨øjôu5?Q#Q)S

G 587OJ£7:9 EN5 î ñSTJM7:9Ú=?7 JN58LM=FENSTO 7:5ƒOS_üC»Z587S 7:5ƒOS×øj=?L£L/5?E)G:SBQ¨7:51O:SÐ=FQ)S58<:EÐ56Q#=?7:9?S_üC»¶5?Q¨=?7r

7ƒ<¨ñSBQ5/7:51O:S1 :ûG:SÐJM7ENSBQ Q)SBE)=FE)JM587×JKE)G=FE=?LML7:51O:SKE)G=FE'G=#?S¨< O>=FENSTOÛE)GSTJUQQ)58<:E)JM79ÌE)=FñDLUS

=FQ)S J£7‡Q#=?7:9?S =FEE)G>=FEE)JS f46587#?SBQNSTL?Af=?LMLÔ7:51O:SÐE)G>=FE¨G=#?SÛ7:5?E¨< O=FENSTO‡E)G:STJMQQ)58<:E)JM79ÙE)=FñDLUS

=FQ)S 7:5?EÐJM7ÏQ#=?79?S=FEÐE)G>=FEÐE)JS ï 5?Q#SB5-#?SBQTA¶=×LM52NEZS)=F9?S G=ØE)GSE#=SSlZSTôuE=ñZSTJ£7:9 58<:EÐ5

Q#=?7:9?S

^

JUE)GóE)G>J<7O:SBQCNE)=?7OJM79:Afö6S<51O:STLKE)G:S< O=FE)J£7:9 5 Q)58<:E)J£7:9‡E)=Fñ>LUS JM7óE)GS ïî õ'úÎû

7:587R|OSBENSBQ JM7JNE)JMôB=?LML 1ûGƒ<< O=FE)JM79Ì=Q#58<:E)JM7:9E)=Fñ>LUS!Jôu587)JMOSBQ)STO×=?7=FQ)ñDJUENQ#=FQÛS1#?ST7ªE1

R<Q)E)G:SBQTAöÎSy51O:STLÎñQ)5?÷?ST7óLMJM7:÷R¨J£7 =M)J J£LM=FQöK= ÔH6STôB=?<NSI=tŽ<7>ôuE)JU587=?L` 5ƒO:STL6=FñeNENQ(=?ôuE

ŽQ)52+E)JS?Aªö6S'ôu587#JMO:SBQE)G>=FE6=!ñQ)5?÷?ST7ÙLMJM7:÷ôB=?7ÛñZS JM7ENSBQ#LUST=#?STOÛöJUE)GÛ=?7r 5?E)G:SBQÎS1#?ST7E=?7O JÍE)Gƒ<

51O:STLMLUSTO ñ"Ï=?7 =FQ)ñDJUENQ#=FQIS1#?ST7E1 ¶ò'ST7ôuS JUEØJ/ 52)JMñ>LUScŽ5?Q=×7:51O:SEN5×Q)STôuSTJ#?S =yj<LMLO< _ŽQ)52

=×7:STJU98Gñ58<:QØ=?7O‡E)G:ST7‡EN5IO:STôBLM=FQ#SÌE)GS LMJM7:÷IO:5_ö7 =ÐE)G:S7:S1EÐS1#?ST7E1 ¶ûGJØôu58<L£OÏôu5?Q#Q)SG 587OÏEN5

E)G:SØ7:51O:S'LUST=-#ƒJ£7:9¨E)G:S ï î õ úû =?7OÛ5?E)G:SBQ7:51O:SñSTôu52 J£7:9¨OJ ZSBQCNSTO$N5ÌE)G=FE6E)G:S1 =FQ)SØ=?LMLD58<:EÎ5

Q#=?7:9?S

^ S ñZSTL£JUS1#?S×E)GJ ôB= >E)<:Q)S E)GS=GR$SBENQóñSBE|ö6SBST7Ö75ƒO:S =?7O E)G:STJUQÛ=FQ)ñ>JUENQ#=FQ¤5N#?SST7E

Q)ST=?LMJNE)JMôB=?LML=FE=ÌGJU98GR|LUS1#?STLD5¶=Fñe)ENQ#=?ôuE)JU587! :H6STôB=?<NSØE)G:S/j<7ôuE)JU587=?L51O:STLD=FñNENQ#=?ôuEfŽQ)52 Q)5?ñ

=Fñ>JML£JUE)JUSBA1JUEJM7ôBL£<O:Sf =?7y#JUE)<=FE)JU587KE)G>=FEöÎ58<>LMOÚñSôu587)JMO:SBQ#STOÚQ#=FQ)SÐS1#?ST7E1

ð!˜— ô:¯

¼õÀ  !£(´"±

î 4fõ OJ£=F9?Q#= 5E)G:S ï î õ'úÎû Q)58<:E)J£7:9H Q)5?EN51ôu58LrAñ>=)STO587;)8R0S!AJ98J#?ST7 JM7 R/JU9 FK fûG:S

><:Q Z52)S5E)G:S¨4fõ J6EN5$5ƒOSTLZG5iö 7:51O:SK< O=FENS E)G:STJUQQ)58<E)JM7:9ÌE)=Fñ>LUS=?7OÚO:ST=?LöJME)GÛñ>Q)5?÷?ST7

LMJM7÷"1 ûG<eÍö6Sg51O:STL>E)G:S 75ƒO:S6JM7 E)G:S ï î õ úû2ñ"g*N<eNEE)G:STJMQ6JMOST7ªE)JUEx =?7OÛE)G:STJUQQ#58<:E)JM7:9!E)=Fñ>LUS

ûG:S75ƒO:S=FQ#ScNEN5?Q)STOIJ£7ÚE)G:SÐ587L+ >LM=?ôuSJM7ÚE)GS!4fõ!AXö>÷øùú1 >ûGJf DLM=?ôuSJKEj" STO×ñ"ÛE)G:Sôu58LM58<:Q

NSBEûyö>÷"ørù=)#G:5iö7 JM7 LMJM7:SÚþW×JM7 R/JU9 Fk" Tûyö(÷"ørùJÐ=H Q)51O<ôuEØ5KJUEJMO:ST7E)JUEx?AYö(÷"ørùü7ø>AöGJ£ô#G

ôu5?Q)Q)S Z587>O/EN5¨JUEÍ=?O>O:Q)SBA8=?7>O JUEÔQ)58<E)JM7:9ØE)=Fñ>LUS?Aeýþ 8ûG:SQ)58<:E)J£7:9ØE)=Fñ>LUSJ/Q#S1 Q)SNST7ENSTO =Í=¨LMJNE

5Q)58<:ENSÐST7ENQ#JUSBA:587:SZŽ5?QST=?ô(GO:SNE)J£7=FE)JU587! ^ G:ST7×JU987:5?Q(JM7:9ÌE)G:SJM7NE)=?L£LDE)JS?A1E)G:SÐQ)58<:ENSST7ENQÚJ=

KbE)< >LMSôu52 Q#J)JM7:9ÐE)G:S O:SNE)JM7>=FE)JU587A87:S1E)G:5 A"SBENQ#JMô=?7>O JUENSD<ST7ôuS'7ƒ<!ñZSBQ- qûG:SO:SNE)J£7=FE)JU587

=?7O 7:SƒE)G5 =FQ)SÙ7:51O:S =?OO:Q#SNSBAfQ)S1 Q)SNST7ENSTO ñ‡E)G:SMö>÷øùü7ø ^ SÛQ)S1 >Q)SNST7E¨E)G:S_ö(÷"ørùü7ø‡==

52)JUE)J#?SJM7ENSB9?SBQ< ÏEN5×E)G:S =w1J!< 7ƒ<¨ñSBQØ5Î75ƒO:SØJM7 E)G:S ï î õ úû øNSBSLMJ£7:ScKIJM7ÏR/JU9 Xk8üC

ûG:S/SBENQ#J£ô9STL£OÛJK=ÌLMJUENE)LUS/5?Q)SØJM7ENSBQ)SNE)JM79 'dEJÎ75?Q =?LMLE)GS:ÿw÷1÷\A1E)G:SÐ7<e¨ñSBQ65f7:51O:S

E)G=FEK7:SBSTOÙEN5ñZS'ENQ#=#?SBQCNSTOÚEN5!Q#ST=?ô#GÚE)G:SØO:SNE)JM7>=FE)JU587! ûGJôB=?7ÙñSQ#S1 Q)SNST7ENSTOÚ=6=Ì7:587R|7SB98=FE)J#?S

JM7ENSB9?SBQ Dò'5iö6S1#?SBQTAöGST7I=ÛL£JM7:÷ ö'JUE)G=Û7:STJU98GñZ58<QJôu587e)JMO:SBQ)STOEN5 ñS¨O:5_ö7ADE)G:S:SBENQ(JMôÐE)G=FEØJ

<NSTOÛJ

Ð

ûGƒ<ÍE)GSVSBENQ#J£ôJÎ=¨<7JM5875E)G:S:ÿN÷1÷ Í=?7O

Ð

øŽQ)S1 Q#SNST7ªENSTOÚ=V€dª-¬Yª€­Tü=TNSBST7

JM7‡LMJM7SEbÙJM7ÏR/JU9 Fk" ûG:SENSDƒ<:ST7ôuS 7ƒ<¨ñSBQØôB=?7=?LN5ÚñSÌQ)S1 Q)SNST7ENSTO ==Ú7:587R|7SB98=FE)J#?S JM7ENSB9?SBQ

'k7 R/JU9 `kƒAùeöJ=M Q)51O<ôuEENSBEBAÍJM7>ôBLM<OJM79IE)G:S×JMO:ST7E)JUEj 5E)G:S×O:S)E)JM7=FE)JU587 5?Q#JU98J£7=FE)JM7:9ÏE)G:S

JM7H)8R?S

^ S×ôu587)J£O:SBQ!=Ïôu587998<:Q(=FE)JU5875VW 7:51O:S¨J£7E)G:S ïî õ úû…w5?QÌ58<:QJM7JUE)JM=?LÍS" SBQ#J ST7ªEÙøNSBS

LMJM7S þÌ5R/JU9 k8üC ö>÷"ørùúØJE)Gƒ< JM7JUE)J£=?LMLy =FQ)÷?STOÏñ_W 7:51O:SøkþFAX6 =?7OIW8ü(AZöG:SBQ)SÌST=?ô#G‡Q#58<:E)JM7:9

E)=Fñ>LUST*)<NEG>==$)JM798LUSØST7ªENQÚEN5 JMENSTLv 1ûGJôu5?Q)Q)S Z587>OKEN5 ›>±d´¤™

'k7LMJM7:S6'5ZRJM9 kƒAezRÌ2}j‚p‚ÅJf=?7 ï [×Q)S1ŽSBQ)ST7ôuSf#F=FQ#JM=Fñ>LUSØý762biÿ& 'ÉE/J<NSTO=/=gB>=F9ØEN5ØJ£7OJMôB=FENS

J=$NSDƒ<:ST7ôuS¨7ƒ<!ñZSBQJKEN5 ñS< O=FENSTOÚñÚE)G:SZj<7ôuE)JM587O:S)ôuQ#JMñZSTOÚLM=FENSBQ JM7ÚE)GJ?)STôuE)JU587!

»u»u»\»u»u»u»u»\»u»u»u»u»\»u»u»u»u»\»u»u»u»u»\»u»u»u»u»\»B»u»u»u»B»u»\»u»u»B»u»u»\»B»u»u»u»u»B»\»u»u»B»u»u»\»B»u»u»u»u»B»\»u»u»B»u»

ûfQ#=?7)JME)JU587ONP2ø/Q Pù$þRQS/Tù+51O:STLE)GS Q#5ƒôuS!5=Ï7:5ƒOSÛ< O=FE)JM79IJUE¨Q#58<:E)JM7:9 E)=Fñ>LUS ñD=NSTO

587 E)G:SÙJ£7w5?QC =FE)JU587 JME¨Q)STôuSTJ#?SŽQ)52 =?7:5?E)G:SBQ7:51O:S fûGSÛ=FQ#ôÛJM7)ôuQ#J E)JU587IŽQ)52 >LM=?ôuStö>÷"ørùúÌEN5

E)GJENQ#=?7)JUE)JM587G=EÉöÎ5_#F=FQ#JM=Fñ>LUSTAVU,WYX[ZI\ =?7O^][WYX_ZI\?Aö'GJMô#GQ)S1 Q)SNST7E¨EÉöÎ5Ï=FQ)ñ>JUENQ(=FQ 7:5ƒOSJM7

E)G:S ï î õ úû) 'd7Ú58<Q51O:STLrA][WYX_ZI\ÐQ)STôuSTJ#?SE)G:SÐQ)58<E)JM7:9JM7Ž5?Q =FE)JU587Úñ>Q)58=?OôB=NEñ">UWYX[Z/\2 ûG:S

=FQ#ôÐJM7e)ôuQ#J E)JM587aŽQ)52`NP2ø/Q vù/þRQ/STùØEN5 E)G:SZ >LM=?ôuSö>÷"ørùúJM7>ôBLM<O:S6=j<7ôuE)JU587AaNP2ø/Q vùö>÷"ørù[bKcw÷øù[d

úN÷"ørùeC 1ûGJYj<7ôuE)JU587ÛQ)SBE)<:Q#7eÍE)G:SØ< O=FENSTO Q#58<:E)JM7:9!E)=Fñ>LUS 5R]_WYX[ZI\?AƒöGJMLUSfU,WYX[Z/\2§iQ#58<:E)JM7:9!E)=Fñ>LUS

Jy =?JM7E)=?JM7:STO <7>ô#G=?7:9?STO ö'G:ST7gN2øIQ vù_þRQS/TùÏ51ôBôB<:Q1 ûGJÙJÛö'G:SBQ)S‡öÎS=FñNENQ#=?ôuEHŽQ)52&E)G:S

In document View of Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools Aarhus, Denmark, October 24-26, 2005 (Sider 146-149)