%PDF-1.4
%
3 0 obj
<< /pgfprgb [/Pattern /DeviceRGB] >>
endobj
4 0 obj
<< /S /GoTo /D (section.1) >>
endobj
7 0 obj
(Introduction)
endobj
8 0 obj
<< /S /GoTo /D (section.2) >>
endobj
11 0 obj
(What is a Graph Transformation System?)
endobj
12 0 obj
<< /S /GoTo /D (section.3) >>
endobj
15 0 obj
(An Algorithmic Study of Reachability and Coverability)
endobj
16 0 obj
<< /S /GoTo /D (subsection.3.1) >>
endobj
19 0 obj
(Symbolic Backward Reachability Algorithm)
endobj
20 0 obj
<< /S /GoTo /D (subsection.3.2) >>
endobj
23 0 obj
(Context-free Graph Transformation Systems)
endobj
24 0 obj
<< /S /GoTo /D (subsection.3.3) >>
endobj
27 0 obj
(Restrictions on Node Deletion and Creation)
endobj
28 0 obj
<< /S /GoTo /D (subsection.3.4) >>
endobj
31 0 obj
(Non-Deleting Graph Transformation Systems)
endobj
32 0 obj
<< /S /GoTo /D (subsection.3.5) >>
endobj
35 0 obj
(Well-Structured Graph Transformation Systems)
endobj
36 0 obj
<< /S /GoTo /D (subsection.3.6) >>
endobj
39 0 obj
(Graph Transformation with Deletion by Minor Rules)
endobj
40 0 obj
<< /S /GoTo /D (subsection.3.7) >>
endobj
43 0 obj
(Relabelling Rules)
endobj
44 0 obj
<< /S /GoTo /D (section.4) >>
endobj
47 0 obj
(Related Work)
endobj
48 0 obj
<< /S /GoTo /D (section.5) >>
endobj
51 0 obj
(Conclusion)
endobj
52 0 obj
<< /S /GoTo /D (appendix.A) >>
endobj
55 0 obj
(Proofs)
endobj
56 0 obj
<< /S /GoTo /D [57 0 R /Fit ] >>
endobj
68 0 obj <<
/Length 3136
/Filter /FlateDecode
>>
stream
xڭ]s۸ݿof,A_}K.OzN` Ф⸿\2Ɍ ,$FItu}_\6-"UĩLtsUI\$UTdi*D˕Űs8oܺػNOp{gXvx3ȰJU\}vZ_yfYoCu'hOz[E
dYgykqj
!I4czԕ\vQEx DE\*) !*Ts\Xjuɤo'o\_۶*){z˓&?z;ëbeNXaʷF_鴊LE+ʈmmkgXg*NL6em5ڈ?ۖ]5ΪBBgCMèByVCW^vXk}J/5GۺǯE*R[qpvYkwJbI LgY֟}
J0 r-enVlU^x9oW?k/W埱Wo*-DfMEע7n(]tm(zDybph4⧛?. TȳYhkʣG|tC/5]ESEe^Y ?\0
VȻ8<^$IɁb2p*zȍT29|CʀM\
IrfR.%h3u[38R-0k̐,\fҪ\X!}8
uә
8QmzpcCM\ei
Umz]wDu{@!pg"ڈcHl^UBu-.w#JtBrF|(e!VbXo!{нe!ɒuˌ'g5:h1vnt-h@(GVn(kbNd=wi= LfyJCG9VFȁE6>tsƑiB wbN?_ e^#OIR3wVVa X|qg78>;HC0 ?S" ּC
C3nu6>
XlP F˰N(I6ÃBw}Ok$;dQP{Ji놀F3JHhZ'`nzuG{Cփ"6,ї@O*U*
ТD zj.&j7RT{IsG䱗PKFqIxWܣd?cbH
U4? 1SyJ
j]Fl'c=dP5n(PٽԾFC;
U/:5P.
ƶ3
wvL|@4#VBF%bC7coyr?rTCWynX
8-{KV^b0.;Ra7zF܋{NIS&5
;fbFܲmJLT@RiW7x a ~Np1$('7v[m4g"m4]ͨ)?6m: 2l_4h̶`53i
=cX<:(άX}J [ *SnѨ8nH>kI[ g:6e:` |];:.$~g05~`ljs,L
#P1h
,'{k.yPWaP]24EU.W+
HudI@B >k|ԿrodhR0!n4Rd&V*3Ig4٘hLXy2,YTVgQ?Bp^N qVT`TQW".!YA3'~F*
b$r7dm9-hQj8mIqYsyʛkb A*yKBuNj0ɻ?'3N}qd$Kpq]$cm>;wsZMLsX!d$*ܰ;|4tTˇͦF?2/QSHvA zyc=B{;AH<.4NBkm'DQlRTL"hj. ,չc6&ÎUxK E2*Π~?ԭ5+DDp;-`y%&oU~˧\;N|l
+D9SLm
OӸ0^q-';eBo朱ttmU<5fO(c[roy1}#|3v2}%dFswF2|p_o'a{(>kzenW7V3 ?Ih`|.uOO.4=N :(Q W*q*/V
.g?Y4Y\E1XLyg2\X$|CF,Xѭ;j16LÞ}|1R.oJʍ?n=0ʾwK)J
endstream
endobj
57 0 obj <<
/Type /Page
/Contents 68 0 R
/Resources 67 0 R
/MediaBox [0 0 595.276 841.89]
/Parent 83 0 R
/Annots [ 58 0 R 59 0 R 60 0 R 61 0 R 62 0 R 63 0 R 64 0 R 65 0 R ]
>> endobj
58 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[0 1 0]
/Rect [405.377 357.697 417.332 365.963]
/A << /S /GoTo /D (cite.eeot:gramot) >>
>> endobj
59 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[0 1 0]
/Rect [158.206 344.746 165.18 353.012]
/A << /S /GoTo /D (cite.bgm:reactive-mobile-ambients) >>
>> endobj
60 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[0 1 0]
/Rect [280.111 305.398 292.066 313.665]
/A << /S /GoTo /D (cite.en:decidability-petri-nets) >>
>> endobj
61 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[0 1 0]
/Rect [368.271 279.002 375.245 287.269]
/A << /S /GoTo /D (cite.bz:deciding-reachability-ambients) >>
>> endobj
62 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[0 1 0]
/Rect [378.489 279.002 385.463 287.269]
/A << /S /GoTo /D (cite.kappa) >>
>> endobj
63 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[0 1 0]
/Rect [388.707 279.002 400.662 287.269]
/A << /S /GoTo /D (cite.mp:strength-pure-ambient) >>
>> endobj
64 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[0 1 0]
/Rect [403.906 279.002 415.861 287.269]
/A << /S /GoTo /D (cite.m:structural-stationarity-pi) >>
>> endobj
65 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[0 1 0]
/Rect [419.105 279.002 431.06 287.269]
/A << /S /GoTo /D (cite.wzh:depth-bounded-processes) >>
>> endobj
69 0 obj <<
/D [57 0 R /XYZ 17.709 828.15 null]
>> endobj
70 0 obj <<
/D [57 0 R /XYZ 90.709 743.244 null]
>> endobj
5 0 obj <<
/D [57 0 R /XYZ 90.709 448.674 null]
>> endobj
67 0 obj <<
/ColorSpace 3 0 R /Pattern 2 0 R /ExtGState 1 0 R
/Font << /F27 71 0 R /F35 72 0 R /F83 73 0 R /F84 74 0 R /F85 75 0 R /F86 76 0 R /F120 77 0 R /F68 78 0 R /F69 79 0 R /F66 80 0 R /F95 81 0 R /F87 82 0 R >>
/ProcSet [ /PDF /Text ]
>> endobj
97 0 obj <<
/Length 4543
/Filter /FlateDecode
>>
stream
x;r䶕P[ Ԗw3;qUlU`$:lLgF= @
gR Ao f6?~-\l.7ȋRl湪r)B2wU۵E{.uV{zfx_p_06ʫRv]lVѺ__";[ ߏw[afzkvہvwtY|w[MCۆ^}3tm〙n:
[hWUBA6[.J+J ¤#T؏.ʬԎS/{N]=G7 / 4;!`ԇ{z{7@$L$ 1a' Ϭ7ag-bGo:>\20g:{\{D\tXmuvyWHk`@u<|{ wP6(EjC;5#Fj^4gv&7閞j>`5#
Ύ枺~29H Ex纯AJZJUf!ڈQש[r@5qA#KGv]|;4㩛yrs^ j+de-'/$R4mޛz@Eɉ;=ewBY"F!=nfLt[OHj&4>WNTq`laO:,d!\o伱XWځu(X㡤x (