%PDF-1.2 6 0 obj << /S /GoTo /D (chapter.1) >> endobj 8 0 obj (Introduction) endobj 10 0 obj << /S /GoTo /D (section.1.1) >> endobj 12 0 obj (Report Structure) endobj 14 0 obj << /S /GoTo /D (chapter.2) >> endobj 16 0 obj (Preliminaries) endobj 18 0 obj << /S /GoTo /D (section.2.1) >> endobj 20 0 obj (Timed Automata) endobj 22 0 obj << /S /GoTo /D (subsection.2.1.1) >> endobj 24 0 obj (Automata Run) endobj 26 0 obj << /S /GoTo /D (subsection.2.1.2) >> endobj 28 0 obj (Accepting Runs) endobj 30 0 obj << /S /GoTo /D (section.2.2) >> endobj 32 0 obj (PLC Automata) endobj 34 0 obj << /S /GoTo /D (subsection.2.2.1) >> endobj 36 0 obj (Graphical Notation) endobj 38 0 obj << /S /GoTo /D (subsection.2.2.2) >> endobj 40 0 obj (Acceptance Criteria) endobj 42 0 obj << /S /GoTo /D (subsection.2.2.3) >> endobj 44 0 obj (Conversion to Timed Automata) endobj 46 0 obj << /S /GoTo /D (chapter.3) >> endobj 48 0 obj (Composition: Definition and Examples) endobj 50 0 obj << /S /GoTo /D (section.3.1) >> endobj 52 0 obj (Synchronous Composition) endobj 54 0 obj << /S /GoTo /D (subsection.3.1.1) >> endobj 56 0 obj (Augmentation) endobj 58 0 obj << /S /GoTo /D (subsection.3.1.2) >> endobj 60 0 obj (Synchronous Composition of Timed Automata) endobj 62 0 obj << /S /GoTo /D (section.3.2) >> endobj 64 0 obj (Asynchronous Method) endobj 66 0 obj << /S /GoTo /D (subsection.3.2.1) >> endobj 68 0 obj (Structure) endobj 70 0 obj << /S /GoTo /D (section.3.3) >> endobj 72 0 obj (Example) endobj 74 0 obj << /S /GoTo /D (subsection.3.3.1) >> endobj 76 0 obj (Initial Automata) endobj 78 0 obj << /S /GoTo /D (subsection.3.3.2) >> endobj 80 0 obj (Composite Automata) endobj 82 0 obj << /S /GoTo /D (chapter.4) >> endobj 84 0 obj (Languages) endobj 86 0 obj << /S /GoTo /D (section.4.1) >> endobj 88 0 obj (Essential Language) endobj 90 0 obj << /S /GoTo /D (section.4.2) >> endobj 92 0 obj (Synchronous Composition Closure) endobj 94 0 obj << /S /GoTo /D (section.4.3) >> endobj 96 0 obj (Comparison of languages) endobj 98 0 obj << /S /GoTo /D (subsection.4.3.1) >> endobj 100 0 obj (Minimum, ) endobj 102 0 obj << /S /GoTo /D (subsection.4.3.2) >> endobj 104 0 obj (Maximum, ) endobj 106 0 obj << /S /GoTo /D (subsection.4.3.3) >> endobj 108 0 obj (Minimum, ) endobj 110 0 obj << /S /GoTo /D (subsection.4.3.4) >> endobj 112 0 obj (Maximum, ) endobj 114 0 obj << /S /GoTo /D (subsection.4.3.5) >> endobj 116 0 obj (Language Conclusions) endobj 118 0 obj << /S /GoTo /D (chapter.5) >> endobj 120 0 obj (Conclusion) endobj 122 0 obj << /S /GoTo /D (section.5.1) >> endobj 124 0 obj (Further Work) endobj 126 0 obj << /S /GoTo /D [125 0 R /Fit ] >> endobj 130 0 obj << /Length 131 0 R /Filter /FlateDecode >> stream x}N0<ōɐJBPA6T Rix2kNȃ}O@"7`ht]ܬ*Pr;)=],\4_UsYt}Cˍ)y(9zAiD h5+$ҡ0[lYN{ެ,OeLQ^kȵ$49G1H Pgr!nsfHk>fD:36]5aWl@1)փFDsj%<_z>m5|⒟`نB'yoOqvendstream endobj 131 0 obj 334 endobj 125 0 obj << /Type /Page /Contents 130 0 R /Resources 129 0 R /MediaBox [0 0 595.273 841.887] /Parent 133 0 R >> endobj 1 0 obj << /Type /Encoding /Differences [ 24 /breve /caron /circumflex /dotaccent /hungarumlaut /ogonek /ring /tilde 39 /quotesingle 96 /grave 128 /bullet /dagger /daggerdbl /ellipsis /emdash /endash /florin /fraction /guilsinglleft /guilsinglright /minus /perthousand /quotedblbase /quotedblleft /quotedblright /quoteleft /quoteright /quotesinglbase /trademark /fi /fl /Lslash /OE /Scaron /Ydieresis /Zcaron /dotlessi /lslash /oe /scaron /zcaron 164 /currency 166 /brokenbar 168 /dieresis /copyright /ordfeminine 172 /logicalnot /.notdef /registered /macron /degree /plusminus /twosuperior /threesuperior /acute /mu 183 /periodcentered /cedilla /onesuperior /ordmasculine 188 /onequarter /onehalf /threequarters 192 /Agrave /Aacute /Acircumflex /Atilde /Adieresis /Aring /AE /Ccedilla /Egrave /Eacute /Ecircumflex /Edieresis /Igrave /Iacute /Icircumflex /Idieresis /Eth /Ntilde /Ograve /Oacute /Ocircumflex /Otilde /Odieresis /multiply /Oslash /Ugrave /Uacute /Ucircumflex /Udieresis /Yacute /Thorn /germandbls /agrave /aacute /acircumflex /atilde /adieresis /aring /ae /ccedilla /egrave /eacute /ecircumflex /edieresis /igrave /iacute /icircumflex /idieresis /eth /ntilde /ograve /oacute /ocircumflex /otilde /odieresis /divide /oslash /ugrave /uacute /ucircumflex /udieresis /yacute /thorn /ydieresis ] >> endobj 2 0 obj << /Type /Font /Subtype /Type1 /Name /ZaDb /BaseFont /ZapfDingbats >> endobj 3 0 obj << /Type /Font /Subtype /Type1 /Name /Helv /BaseFont /Helvetica /Encoding 1 0 R >> endobj 4 0 obj << /Fields [] /DR << /Font << /ZaDb 2 0 R /Helv 3 0 R >> >> /DA (/Helv 10 Tf 0 g ) /NeedAppearances true >> endobj 128 0 obj << /D [125 0 R /XYZ 99.895 740.995 null] >> endobj 127 0 obj << /D [125 0 R /XYZ 99.895 716.089 null] >> endobj 129 0 obj << /Font << /F58 132 0 R /F59 132 0 R /F60 132 0 R /F61 132 0 R /F62 132 0 R /F63 132 0 R >> /ProcSet [ /PDF /Text ] >> endobj 136 0 obj << /Length 137 0 R /Filter /FlateDecode >> stream xmUKo0W6h#9ۂba܆Sl9fK$7~HQn rM~I#+yVdiYf`)y=̞wmY7]gwފ/~=ndJ/3n:beeb4E"QSsKWy rf>:/duII'\B9KLrM EHb= p4VLoxKJ_\BPr hHgkmqSʎz1UrdSA(P{@"*Kv*ONi"56H}Go2Daܛ^ɪful Lip;|^y,VL_$b`tFio|j}|{<u-fG$'cã;I">:RhBƞ^IJ`%W^OpM85Y|T2pZ{Fn ^P;PBҐ\|Iak r&,5XKRP^\uMAp"9ux:G{ꟈ3Z=9as'YJE@7i'IFKY]@f;Kp@~p^͚@Ehb`'Z*K`ٶ D
> endobj
128 0 obj <<
/D [135 0 R /XYZ 99.895 740.995 null]
>> endobj
134 0 obj <<
/Font << /F65 138 0 R /F59 132 0 R >>
/ProcSet [ /PDF /Text ]
>> endobj
141 0 obj <<
/Length 142 0 R
/Filter /FlateDecode
>>
stream
xݙKO@.+z=**P
&ۑU{I!
19{