%PDF-1.4
%
486 0 obj
<>>>
endobj
485 0 obj
<>stream
Acrobat Distiller 7.0 (Windows)
2016-07-08T14:30:49Z
DVIPSONE 2.2.2 http://www.YandY.com
2016-09-18T19:43:28-07:00
2016-09-18T19:43:28-07:00
application/pdf
Proof by model: a new knowledge-based reachability analysis methodology for Petri net
uuid:64baf2f2-b0e5-4d54-90d9-1372a6940fcb
uuid:3430f3c6-1dd2-11b2-0a00-1e00d878ccff
endstream
endobj
487 0 obj
<>
endobj
479 0 obj
<>
endobj
481 0 obj
<>
endobj
4 0 obj
<>
endobj
208 0 obj
<>
endobj
353 0 obj
<>
endobj
350 0 obj
<>/ExtGState<>/Font<>/ProcSet[/PDF/Text]/Properties<>>>/Rotate 0/TrimBox[0 0 535.5 697]/Type/Page>>
endobj
364 0 obj
<>/Font<>/ProcSet[/PDF/Text]>>/Rotate 0/TrimBox[0 0 535.5 697]/Type/Page>>
endobj
589 0 obj
<>stream
HWnH}Wژ_f\f'XEqi3R(&$|4vb3U/K.qLۓ#\,}ĸçw#??`
E0;_>~'yG"57e^ni8(Wqy,Ū^N/nYfWzaqFu`V,HǚE25l}g\_FsyCG]fswO
JXup[.`Wk
MQzLSA299)v]VD3R%`]j.[- a ÌPi6sRKGj
/P3_L|?]Wɠ
qϧU 'N,aVjakƣz]]B
?}rbAn8wW$htz-o>0-"'N:AtdX8mz
xnnS,OJװ%T%\CsvxuqTfZOENŴ;3ɉ\|7x i>#_B<=u,9Z1.WIh"X]*u^N&NA?$>Ľia%|ptAbH
Bڗ5|qe,Wo媜 QA
4,WrPjBJi\G.mӷ_m4%(Mg
AjyY4mbZO
-Z$Ř:RJhs_BMiN
jSђUB;Q$̀R.BBp1اDkN "JDAl$dR~'
M*h{Lj?hD( e'2֍bV'2
m |1V$j$}YAlש 5x"h=
Y"Xj=`1¾b6!B1IU!_*Zg>i@4R1"P$̏j]vLp%i36rkkoe8/u!.!*"J~K