%PDF-1.4
%
256 0 obj
<>/OCGs[453 0 R]>>/OpenAction 549 0 R/Outlines 290 0 R/PageLabels 508 0 R/PageLayout/SinglePage/PageMode/UseOutlines/Pages 64 0 R/StructTreeRoot 466 0 R/Type/Catalog>>
endobj
294 0 obj
<>/Font<>>>/Fields[]>>
endobj
257 0 obj
<>stream
application/pdf
STG decomposition : internal communication for SI implementability
Dominic Wist
Mark Schaefer
Walter Vogler
Ralf Wollowski
Monographie; DDC 004: Informatik
Asynchrone Schaltung
Petrinetz
Signalflankengraph (SFG oder STG)
STG-Dekomposition
speed independent
CSC
Controller-Resynthese
Asynchronous circuit
petri net
signal transition graph
STG decomposition
speed independent
CSC
control resynthesis
2010-01-12T14:09:33+01:00
TeX
2010-02-01T14:22:54+01:00
2010-02-01T14:22:54+01:00
Acrobat Distiller 9.0.0 (Windows)
False
Asynchrone Schaltung; Petrinetz; Signalflankengraph (SFG oder STG); STG-Dekomposition; speed independent; CSC; Controller-Resynthese; Asynchronous circuit; petri net; signal transition graph; STG decomposition; speed independent; CSC; control resynthesis
d92b9314-3f4b-45c0-b67d-92ea37c7c0a5
0
uuid:9b8a1d38-83ab-4f8c-abc3-1df9e544b2a1
managed
CABAReT Stage
XMP by CABAReT Stage
2010-01-12T14:10:08+01:00
http://ns.adobe.com/xap/1.0/sType/Version#:event
B
1
This is MiKTeX-pdfTeX 2.8.3563 (1.40.10)
endstream
endobj
549 0 obj
<>
endobj
290 0 obj
<>
endobj
508 0 obj
<>
endobj
64 0 obj
<>
endobj
466 0 obj
<>
endobj
467 0 obj
<>
endobj
468 0 obj
<>
endobj
469 0 obj
<>
endobj
470 0 obj
<>
endobj
471 0 obj
<>
endobj
472 0 obj
<>/Font<>/ProcSet[/PDF/Text]>>/StructParents 0/Type/Page>>
endobj
473 0 obj
<>stream
Hr
PutQ0PsrqVw6PH/ 1P0TI24F
zf
fz
!\
!Y\@!\ 1:
endstream
endobj
18 0 obj
<>
endobj
464 0 obj
<>
endobj
275 0 obj
<>
endobj
474 0 obj
<>stream
HWktT9]"yT"\A$0-L2dgG((RX.jK" EA[ "jA""ތvG{}>|{}r' e&}dG@8o3 ճGC߾'+Xmï+do|y9[r;`+yٿv a`]Cr^e bp$Z֏rJ6.5
G{=M$ɛ{X<;yʟO\J2 3(٢%2|[ai\wmw;9tz6dwP^0M^nemnik",>=x ڦݱ_FQr1,qỜsj!*z "z{,L{-7v5slqe,ZIbIWb-!7B3/U.j9M`(P6XuA$MdFh<GX:ǚHiUr, kJ#;M~5.õuɄUL㳃5'+-ή7ӂsʣ
Ʋ/kw
-kZoU5@ފ%i+
'x
7ZIVUXe5Ȫ,JC+Xc#:|/dLB}KQ]K+QF%/wKxWv.ŗ?<(JQ7I%;hYHԋbt`iP:;3(w#Zy &`nV[?.R>m0oqs8cul3KMX~3a.'?W/` NgR7qN=2S3NxqV- OʰtA7/AGwq"zU8o1pQuxd0~m1;u w3^Tb*y݂lnfo5N@{ӹ<W62$>Xf4pPfˆ ,!hQ9|=oPHc*ZVh?yd4fNc\+e#]҇;tg$a
~ DPN{}ʭ7vlOykU.l5̳C 'RzWpe