Referenznetze:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | German |
| Veröffentlicht: |
Berlin
Logos-Verl.
2002
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Zsfassung in engl. Sprache |
| Beschreibung: | 456 S. graph. Darst. : 24 cm |
| ISBN: | 3832500359 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV014708282 | ||
| 003 | DE-604 | ||
| 005 | 20021120 | ||
| 007 | t | ||
| 008 | 020903s2002 gw d||| m||| 00||| ger d | ||
| 016 | 7 | |a 965084272 |2 DE-101 | |
| 020 | |a 3832500359 |c kart. : EUR 40.50 (DE), EUR 41.60 (AT), sfr 72.10 |9 3-8325-0035-9 | ||
| 035 | |a (OCoLC)76388179 | ||
| 035 | |a (DE-599)BVBBV014708282 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-473 |a DE-634 |a DE-188 | ||
| 084 | |a ST 132 |0 (DE-625)143589: |2 rvk | ||
| 084 | |a 28 |2 sdnb | ||
| 100 | 1 | |a Kummer, Olaf |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Referenznetze |c vorgelegt von Olaf Kummer |
| 264 | 1 | |a Berlin |b Logos-Verl. |c 2002 | |
| 300 | |a 456 S. |b graph. Darst. : 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Zsfassung in engl. Sprache | ||
| 502 | |a Zugl.: Hamburg, Univ., Diss., 2002 | ||
| 650 | 0 | 7 | |a Graphersetzungssystem |0 (DE-588)4274073-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formalismus |g Mathematik |0 (DE-588)4154995-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Erreichbarkeit |0 (DE-588)4334087-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Objektorientierung |0 (DE-588)4346172-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Petri-Netz |0 (DE-588)4045388-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Referenzmodell |0 (DE-588)4130350-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 0 | 1 | |a Referenzmodell |0 (DE-588)4130350-7 |D s |
| 689 | 0 | 2 | |a Objektorientierung |0 (DE-588)4346172-4 |D s |
| 689 | 0 | 3 | |a Formalismus |g Mathematik |0 (DE-588)4154995-8 |D s |
| 689 | 0 | 4 | |a Graphersetzungssystem |0 (DE-588)4274073-3 |D s |
| 689 | 0 | 5 | |a Erreichbarkeit |0 (DE-588)4334087-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009973520&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009973520 | ||
Datensatz im Suchindex
| _version_ | 1804129452129517568 |
|---|---|
| adam_text | Titel: Referenznetze
Autor: Kummer, Olaf
Jahr: 2002
Inhalts verzeichnis
1 Einleitung 19
2 Informelle Einfiihrung in Referenznetze 29
2.1 Von S/T-Netzen zu gefarbten Netzen......................30
2.2 Von gefarbten Netzen zu Netzen mit synchronen Kanalen...........32
2.3 Von Netzen mit synchronen Kanalen zu Referenznetzen............33
2.4 Wert- und Referenzsemantik...........................36
2.5 Kernfragen . ....................................38
3 Vorarbeiten zum Formalismus 43
3.1 Objekte und Petrinetze..............................43
3.1.1 Valk....................................44
3.1.2 Battiston, Chizzoni, De Cindio, und Mauri..............45
3.1.3 Biberstein, Buchs und Guelfi......................45
3.1.4 Lakos...................................46
3.1.5 Sibertin-Blanc..............................46
3.1.6 Moldtetal.................................47
3.1.7 Esser, Janneck et al............................48
3.1.8 Ceska, Janousek und Vojnar......................48
3.1.9 Philippi..................................49
3.1.10 Graf, Giese und Wirtz..........................49
3.1.11 Basten und van der Aalst........................50
3.1.12 Sonstiges.................................50
3.1.13 Zusammenfassung............................50
3.2 Testkanten.....................................52
3.3 Synchrone Kanale.................................54
3.3.1 Beziehung zu Petrinetzen........................54
3.3.2 Synchronisation und Nachrichtenaustausch..............58
4 Unentscheidbarkeit 59
4.1 Grundidee.....................................59
4.2 Zahlerautomaten .................................60
4.3 Minimale objektbasierte Netze..........................61
4.4 Reduktionsbeweis.................................62
Synchrone Kanale
5.1 Kanalsysteme und Kanalrnuster.............
5.2 Invarianten von Kanalsystemen ................
5.3 Azyklische Kanalrnuster ....................
5.4 Wohlgeformtheitsbedingungen.................
5.4.1 Schwach wohlgeformte Kanalsysteme.........
5.4.2 Wohlgeformte Kanalsysteme.............
5.4.3 Stark wohlgeformte Kanalsysteme..........
5.4.4 Sehr stark wohlgeformte Kanalsysteme .......
5.5 Endlichkeitseigenschaften....................
5.5.1 Begrenzte Kanalsysteme................
5.5.2 Finitare Kanalsysteme.................
5.5.3 Alternative Charakterisierung finitarer Kanalsysteme
5.5.4 Charakterisierung von starker Azyklizitat......
5.6 Kontextfreie Kanalsysteme...................
5.7 Abhangigkeiten.........................
5.8 Entscheidungsverfahren.....................
Graphersetzungssysteme und Referenznetze
6.1 Uberblick.............................
6.2 Bezug zu Petrinetzen......................
6.3 Graphersetzungssysteme als Basissemantik..........
6.4 Auswahl des Graphersetzungsformalismus...........
6.5 Graphen und Algebren.....................
6.6 Graphersetzungsregeln.....................
6.7 Darstellung von Systemzustanden...............
6.8 Darstellung von Transitionen..................
Eigenschaften von Graphkategorien
7.1 Kategorien............................
7.2 Signaturen, Algebren und Morphismen............
7.3 Graphsignaturen.........................
7.4 Eigenschaften von Graphsignaturen und -algebren......
7.5 Mengentheoretische Konstruktionen von Pushouts
7.6 Injektive Morphismen....................
7.7 Verlafiliche Morphismen...............
7.8 Inversion und Komplementierung von Pushouts
7.9 Transformation von Algebren und Signaturen
Prozesse in Graphersetzungssystemen
8.1 Vorarbeiten ..........
8.2 Kausalrelation bei Graphersetzungssystemen
8.3 Ordnung und Nebenlaufigkeit
8.4 Stabile Mengen.......
8.5 Stabile Mengen und S-Schnitte ! ^ ............
8.6 Stabile Mengen und Erreichbarkeit ............
8.7 Occurrence Posets ..............
8.8 Prozesse..........................
INHALTSVERZEICHNIS g
8.9 Monotonizitat...................................198
8.10 Nebenlaufigkeit und Vertauschbarkeit......................199
8.11 Ubertragung von Morphismeneigenschaften...................201
9 Automatische Freispeicherverwaltung 203
9.1 Freispeicherverwaltung bei Referenznetzen...................203
9.2 Umsetzung fiir Graphersetzungssysteme.....................204
9.3 Effekte bei unzusammenhangenden Ersetzungsregeln.............207
9.4 Eigenschaften von koharenten Regelmengen...................207
9.5 Reduzierte Ableitungsfolgen...........................209
9.6 Bewertung.....................................211
10 Formale Definition von Referenznetzen 213
10.1 Beschriftete Algebren...............................213
10.2 Referenzdeklarationen . ..............................217
10.3 Referenznetze...................................218
10.4 Referenznetzgruppen ...............................221
10.5 Referenzkanalmuster...............................222
10.6 Umwandlung in Ersetzungsregeln........................224
10.7 Anfangszustand..................................227
10.8 Variationsmoglichkeiten..............................228
11 Das Referenznetzwerkzeug 231
11.1 Vorgeschichte...................................231
11.2 Ziele........................................232
11.3 Randbedingungen und Einschrankungen....................233
11.4 Projektablauf...................................234
11.5 Lizensierung....................................234
12 Java-Petrinetze 237
12.1 Motivation der Sprachauswahl . .........................238
12.1.1 Zwingende Kriterien...........................238
12.1.2 Weitere Kriterien.............................243
12.1.3 Bewertung................................245
12.2 Auswahl der verwendeten Bibliotheken.....................245
12.2.1 Behalterklassen..............................245
12.2.2 Parsergenerator .............................246
12.2.3 XML-Parser...............................247
12.3 Java als Beschriftungssprache ..........................247
12.3.1 Zuweisungen und Gleichheitsspezifikationen..............247
12.3.2 Guards..................................248
12.3.3 Actions..................................249
12.3.4 Ausnahmebehandlung..........................251
12.3.5 Operatoren................................252
12.3.6 Ungebundene Variablen.........................252
12.3.7 Typfreies Java..............................253
12.3.8 Typen fiir Stellen ............................254
12.3.9 Ruckwartsauswertung..........................257
10
INHALTSVERZEICHNIS
12.3.10 Ungetypte synchrone Kanale......................258
12.3.11 Erweiterung urn Tupel und Listen...................^
12.4 Methodenaufrufe auf Netzen...........................
12.4.1 Einfache Methoden ...........................
12.4.2 Vorzeitig beendete Methoden......................
13 Vorarbeiten zu Simulationsalgorithmen
13.1 Uberblick......................................2g9
13.2 Sequentielle Ausfiihrung .............................
13.2.1 Nelson, Haibt und Sheridan.......................Zby
13.2.2 Bruno und Marchetto..........................270
13.2.3 Dahler, Gerber, Gisiger und Kiindig..................270
13.2.4 Sturm und Sieben............................270
13.2.5 Di Stefano, Mirabella und Presente ..................271
13.2.6 Briz und Colom.............................272
13.2.7 Janneck..................................272
13.3 Nebenlaufige Ausfiihrung.............................272
13.3.1 Brauer ..................................273
13.3.2 Colom, Silva und Villarroel.......................273
13.3.3 Hauschildt................................274
13.3.4 Taubner..................................274
13.3.5 Hartung..................................273
13.3.6 Butler, Esser und Mattmann......................275
13.3.7 Lakos, Keen und Palmer ........................276
13.3.8 Chiola und Ferscha ...........................276
13.3.9 DiCesaxe, Gile und Kulp ........................276
13.3.10 Schof, Sonnenschein und Wieting....................277
13.3.11 Sibertin-Blanc..............................277
13.3.12 Desel, Freytag und Oberweis......................278
13.4 Bindungssuche...................................279
13.4.1 Giesel, Kriiger und Jeschke.......................279
13.4.2 Shapiro, Malhorta, Jensen, Christensen und Huber..........280
13.4.3 Valette und Bako ............................280
13.4.4 Lakos...................................281
13.4.5 Banares, Muro-Medrano und Villarroel ................281
13.4.6 lli6 und Rojas ........................................281
13.4.7 Haagh und Hansen................................282
13.4.8 Burbach und Gruhn..........................283
13.4.9 Gaeta..........................284
13.4.10 Sanders..............................284
13.4.11 Faulbaum......................... 285
13.4.12 Makela..........!!!! .!!.................286
13.5 Rahmenwerke.....................................
13.5.1 Petrinetzkern........................R7
13.5.2 Moses......... ^ .........................
13.6 Hardwareimplementationen.........................
13.6.1 Auguin, Boeri und Andre ... ....................000
13.6.2 Courvoisier ..................
...............................289
11
289
289
293
. 294
. 294
. 296
. 297
. 297
. 298
. 299
. 300
. 301
. 301
. 303
. 304
. 304
. 306
. 309
. 311
. 313
. 314
. 315
. 316
. 322
. 322
. 323
. 324
. 326
. 327
. 329
. 329
. 330
. 331
. 333
. 335
. 336
. 338
. 339
. 339
. 342
. 342
. 345
. 347
. 349
. 351
. 351
. 352
INHALTSVERZEICHNIS
13.6.3 Bulach, Baur, Pfleiderer und Kucerovsky............
13.7 Sonstige Arbeiten..............................
14 Algorithmen
14.1 Anatomie des Simulationsalgorithmus...................
14.1.1 Compilieren und Interpretieren..................
14.1.2 Zerlegung in Teilalgorithmen...................
14.2 Der Unifkationsalgoritbmus.........................
14.2.1 Motivation.............................
14.2.2 Begriffe und Grundlagen .....................
14.2.3 Andere unifizierbare Objekte...................
14.2.4 Variablen und Unbekannte....................
14.2.5 Backtracking............................
14.2.6 Unifizierbarkeit von Java-Objekten................
14.2.7 Gleichheit und Hashcode.....................
14.2.8 Occurrence Check.........................
14.2.9 Berechnungen ...........................
14.2.10 Ubersicht iiber die Klassen....................
14.2.11 Friihe versus spate Optimierung.................
14.2.12 Backlinks..............................
14.2.13 Benachrichtigungen........................
14.2.14 Vollstandigkeit von Berechnungen................
14.2.15 Konkretisierung spater Berechnungen..............
14.2.16 Tupelindex.............................
14.3 Datenstrukturen fiir Netze.........................
14.3.1 Representation der Netzstruktur.................
14.3.2 Konkrete Transitionsanschriften.................
14.3.3 Representation von Ausdriicken .................
14.3.4 Einige Ausdriicke .........................
14.3.5 Einige Eunktionen.........................
14.3.6 Representation des Simulationszustands.............
14.4 Zu prufende Transitionen..........................
14.4.1 Vorauswahl des Verfahrens....................
14.4.2 Klassische Netze..........................
14.4.3 Optimierung fur relevante Stellen.................
14.4.4 Netze mit synchronen Kanalen..................
14.4.5 Netzexemplare...........................
14.4.6 Freispeicherverwaltung ......................
14.4.7 Beriicksichtigung von Nebenlaufigkeit..............
14.4.8 Fairnefi und Verschleppungsfreiheit bei der zufalligen Strategie
14.5 Der Suchalgorithmus............................
14.5.1 Auswahl des Basisalgorithmus .................
14.5.2 Eine Metapher..........................
14.5.3 Searcher, Binder, Finder.....................
14.5.4 Veranderungen an relevanten Zustanden............
14.5.5 Kommunikation iiber Variablen.................
14.5.6 Unterstiitzung fiir Backtracking ................
14.5.7 Initialisierung der Suche.....................
12
INHALTSVERZEICHNIS
14.5.8 Abbruch der Suche............................353
14.6 Einsatz fur Petrinetze...............................333
14.6.1 Vorkommen................................3^
14.6.2 Eingangskanten .............................355
14.6.3 Eingangskanten mit Tupeln.......................357
14.6.4 Eingangskanten mit Funktionen ....................357
14.6.5 Doppelkanten und Testkanten .....................359
14.6.6 Unterstiitzung fur spate Berechnungen.................359
14.6.7 Einfache Ausdriicke und Guards....................359
14.6.8 Ausgangskanten.............................360
14.6.9 Clearkanten, Inhibitorkanten und flexible Kanten...........360
14.6.10 Synchrone Kanale............................362
14.7 Ausfiihrung von Transitionen...........................364
14.7.1 Mogliche Finder.............................364
14.7.2 Basisarchitektur.............................365
14.7.3 Nebenlaufigkeit..............................366
14.7.4 Konfliktlosung..............................367
14.7.5 Bindungen und Handlungen.......................368
14.7.6 Transitions- und Anschriftsvorkommen ................370
14.7.7 Mogliche Handlungen..........................370
14.7.8 Koordination der Simulation......................372
14.7.9 Feiner abgestufte Sperren........................375
14.8 Nebenlaufige und verteilte Bindungssuche....................376
14.8.1 Konfliktsituationen............................376
14.8.2 Konfliktvermeidung...........................378
14.8.3 Koordination der Suchprozesse.....................380
14.8.4 Leistungsbewertung...........................381
14.8.5 Echte Verteilung.............................383
14.9 Simulation zeitbehafteter Netze.........................384
14.9.1 Hintergrund ...............................384
14.9.2 Modelle von Zeit in Petrinetzen ....................385
14.9.3 Semantik von zeitbehafteten Referenznetzen .............385
14.9.4 Simulationszustand ............................3gg
14.9.5 Potentiell aktivierte Transitionsexemplare...............387
14.9.6 Suche nach Bindungen..................ggg
14.9.7 Ausfiihrung von Bindungen..................393
14.10 Datenbankanbindung............ ,q
14.10.1 Uberblick......• - ^ ^ .................Z?
14.10.2 Transaktionen ... ............„Q„
14.10.3 Marken-IDs......i ..................304
14.10.4 Durchfiihrung von Transaktionen................... 395
15 Implementation
15.i Verschiedene Aspekte der graphischen Oberflache...............399
15:1:2 aZJ m^£ S^scliaIt ! iden • •: ¦::. •«»
..............................401
inhaltsverzeichnis 13
15.1.5 Substitutionstransitionen........................402
15.2 Shadow-Klassen..................................402
15.3 Auswechselbarer Compiler............................404
15.4 Sofortige Syntaxpriifung.............................404
15.5 Class-Reloader...................................405
15.6 Konkurrierende Programmteile..........................406
15.7 Verbesserungen der Benutzbarkeit........................408
16 Zusammenfassung und Ausblick 409
Danksagung 419
Bibliographie 423
A Abstrakte und alphanumerische Symbole 447
A.l Abstrakte Symbole................................447
A.2 Alphanumerische Symbole............................448
B Basisdefinitionen 453
B.l Typographic . . ..................................453
B.2 Grunddefinitionen fiir Mengen..........................453
B.3 Grunddefinitionen fiir Relationen........ ................454
B.4 Grunddefinitionen fiir Worter..........................455
B.5 Grunddefinitionen fiir Netze...........................455
|
| any_adam_object | 1 |
| author | Kummer, Olaf |
| author_facet | Kummer, Olaf |
| author_role | aut |
| author_sort | Kummer, Olaf |
| author_variant | o k ok |
| building | Verbundindex |
| bvnumber | BV014708282 |
| classification_rvk | ST 132 |
| ctrlnum | (OCoLC)76388179 (DE-599)BVBBV014708282 |
| discipline | Informatik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02052nam a2200505 c 4500</leader><controlfield tag="001">BV014708282</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20021120 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">020903s2002 gw d||| m||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">965084272</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3832500359</subfield><subfield code="c">kart. : EUR 40.50 (DE), EUR 41.60 (AT), sfr 72.10</subfield><subfield code="9">3-8325-0035-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)76388179</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014708282</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 132</subfield><subfield code="0">(DE-625)143589:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kummer, Olaf</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Referenznetze</subfield><subfield code="c">vorgelegt von Olaf Kummer</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Logos-Verl.</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">456 S.</subfield><subfield code="b">graph. Darst. : 24 cm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Zsfassung in engl. Sprache</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Hamburg, Univ., Diss., 2002</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Graphersetzungssystem</subfield><subfield code="0">(DE-588)4274073-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formalismus</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4154995-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Erreichbarkeit</subfield><subfield code="0">(DE-588)4334087-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Objektorientierung</subfield><subfield code="0">(DE-588)4346172-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Referenzmodell</subfield><subfield code="0">(DE-588)4130350-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Referenzmodell</subfield><subfield code="0">(DE-588)4130350-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Objektorientierung</subfield><subfield code="0">(DE-588)4346172-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Formalismus</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4154995-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Graphersetzungssystem</subfield><subfield code="0">(DE-588)4274073-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Erreichbarkeit</subfield><subfield code="0">(DE-588)4334087-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009973520&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009973520</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV014708282 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T19:05:21Z |
| institution | BVB |
| isbn | 3832500359 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009973520 |
| oclc_num | 76388179 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-634 DE-188 |
| owner_facet | DE-473 DE-BY-UBG DE-634 DE-188 |
| physical | 456 S. graph. Darst. : 24 cm |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | Logos-Verl. |
| record_format | marc |
| spelling | Kummer, Olaf Verfasser aut Referenznetze vorgelegt von Olaf Kummer Berlin Logos-Verl. 2002 456 S. graph. Darst. : 24 cm txt rdacontent n rdamedia nc rdacarrier Zsfassung in engl. Sprache Zugl.: Hamburg, Univ., Diss., 2002 Graphersetzungssystem (DE-588)4274073-3 gnd rswk-swf Formalismus Mathematik (DE-588)4154995-8 gnd rswk-swf Erreichbarkeit (DE-588)4334087-8 gnd rswk-swf Objektorientierung (DE-588)4346172-4 gnd rswk-swf Petri-Netz (DE-588)4045388-1 gnd rswk-swf Referenzmodell (DE-588)4130350-7 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Petri-Netz (DE-588)4045388-1 s Referenzmodell (DE-588)4130350-7 s Objektorientierung (DE-588)4346172-4 s Formalismus Mathematik (DE-588)4154995-8 s Graphersetzungssystem (DE-588)4274073-3 s Erreichbarkeit (DE-588)4334087-8 s DE-604 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009973520&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Kummer, Olaf Referenznetze Graphersetzungssystem (DE-588)4274073-3 gnd Formalismus Mathematik (DE-588)4154995-8 gnd Erreichbarkeit (DE-588)4334087-8 gnd Objektorientierung (DE-588)4346172-4 gnd Petri-Netz (DE-588)4045388-1 gnd Referenzmodell (DE-588)4130350-7 gnd |
| subject_GND | (DE-588)4274073-3 (DE-588)4154995-8 (DE-588)4334087-8 (DE-588)4346172-4 (DE-588)4045388-1 (DE-588)4130350-7 (DE-588)4113937-9 |
| title | Referenznetze |
| title_auth | Referenznetze |
| title_exact_search | Referenznetze |
| title_full | Referenznetze vorgelegt von Olaf Kummer |
| title_fullStr | Referenznetze vorgelegt von Olaf Kummer |
| title_full_unstemmed | Referenznetze vorgelegt von Olaf Kummer |
| title_short | Referenznetze |
| title_sort | referenznetze |
| topic | Graphersetzungssystem (DE-588)4274073-3 gnd Formalismus Mathematik (DE-588)4154995-8 gnd Erreichbarkeit (DE-588)4334087-8 gnd Objektorientierung (DE-588)4346172-4 gnd Petri-Netz (DE-588)4045388-1 gnd Referenzmodell (DE-588)4130350-7 gnd |
| topic_facet | Graphersetzungssystem Formalismus Mathematik Erreichbarkeit Objektorientierung Petri-Netz Referenzmodell Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009973520&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT kummerolaf referenznetze |