Elements of distributed algorithms: modeling and analysis with Petri nets
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1998
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XI, 302 S. graph. Darst. |
| ISBN: | 3540627529 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV012093088 | ||
| 003 | DE-604 | ||
| 005 | 19981102 | ||
| 007 | t | ||
| 008 | 980721s1998 gw d||| |||| 00||| ger d | ||
| 016 | 7 | |a 953357678 |2 DE-101 | |
| 020 | |a 3540627529 |c Pp. : DM 58.00 |9 3-540-62752-9 | ||
| 035 | |a (OCoLC)605270892 | ||
| 035 | |a (DE-599)BVBBV012093088 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 |a DE-91G |a DE-29T |a DE-384 |a DE-19 |a DE-20 |a DE-824 |a DE-521 |a DE-526 |a DE-634 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA76.9.D5R445 1998 | |
| 082 | 0 | |a 004/.36 21 | |
| 082 | 0 | |a 004.36 |b R237 |2 21 | |
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 132 |0 (DE-625)143589: |2 rvk | ||
| 084 | |a DAT 516f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 100 | 1 | |a Reisig, Wolfgang |d 1950- |e Verfasser |0 (DE-588)120078422 |4 aut | |
| 245 | 1 | 0 | |a Elements of distributed algorithms |b modeling and analysis with Petri nets |c Wolfgang Reisig |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1998 | |
| 300 | |a XI, 302 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Algoritmos (Computadores) | |
| 650 | 4 | |a Procesamiento electrónico de datos - Procesamiento distribuido | |
| 650 | 4 | |a Redes de Petri | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Electronic data processing -- Distributed processing | |
| 650 | 4 | |a Computer algorithms | |
| 650 | 4 | |a Petri nets | |
| 650 | 0 | 7 | |a Petri-Netz |0 (DE-588)4045388-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verteilter Algorithmus |0 (DE-588)4200453-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Verteilter Algorithmus |0 (DE-588)4200453-6 |D s |
| 689 | 0 | 1 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Verteilter Algorithmus |0 (DE-588)4200453-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008189891&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-008189891 | |
Datensatz im Suchindex
| _version_ | 1806142863957819392 |
|---|---|
| adam_text |
WOLFGANG REISIG ELEMENTS OF DISTRIBUTED ALGORITHMS MODELING AND ANALYSIS
WITH PETRI NETS WITH 246 FIGURES SPRINGER CONTENTS INTRODUCTION PART A.
ELEMENTARY SYSTEM MODELS I. ELEMENTARY CONCEPTS 5 1 A FIRST LOOK AT
DISTRIBUTED ALGORITHMS 5 2 BASIC DEFINITIONS: NETS 14 3 DYNAMICS 17 4
INTERLEAVED RUNS 21 5 CONCURRENT RUNS 22 6 PROGRESS 27 7 FAIRNESS 30 8
ELEMENTARY SYSTEM NETS 31 II. CASE STUDIES 35 9 SEQUENTIAL AND PARALLEL
BUFFERS 35 10 THE DINING PHILOSOPHERS 38 11 AN ASYNCHRONOUS STACK 44 12
CROSSTALK ALGORITHMS 45 13 MUTUAL EXCLUSION 50 14 DISTRIBUTED TESTING OF
MESSAGE LINES 60 PART B. ADVANCED SYSTEM MODELS 63 III. ADVANCED
CONCEPTS 65 15 INTRODUCTORY EXAMPLES 65 16 THE CONCEPT OF SYSTEM NETS 73
17 INTERLEAVED AND CONCURRENT RUNS 75 18 STRUCTURES AND TERMS 78 19 A
TERM REPRESENTATION OF SYSTEM NETS 80 20 SET-VALUED TERMS 83 21
TRANSITION GUARDS AND SYSTEM SCHEMATA 88 X CONTENTS IV. CASE STUDIES 91
22 HIGH-LEVEL EXTENSIONS OF ELEMENTARY NET MODELS 91 23 DISTRIBUTED
CONSTRAINT PROGRAMMING 96 24 EXCLUSIVE WRITING AND CONCURRENT READING
100 25 DISTRIBUTED REARRANGEMENT 102 26 SELF STABILIZING MUTUAL
EXCLUSION 105 V. CASE STUDIES CONTINUED: ACKNOWLEDGED MESSAGES 107 27
THE ALTERNATING BIT PROTOCOL 107 | 28 THE BALANCED SLIDING WINDOW
PROTOCOL 112 29 ACKNOWLEDGED MESSAGES TO NEIGHBORS IN NETWORKS 116 30
DISTRIBUTED MASTER/SLAVE AGREEMENT 119 VI. CASE STUDIES CONTINUED:
NETWORK ALGORITHMS 123 31 PRINCIPLES OF NETWORK ALGORITHMS 123 32 LEADER
ELECTION AND SPANNING TREES 125 33 THE ECHO ALGORITHM 127 34 MUTUAL
EXCLUSION IN NETWORKS 130 35 CONSENSUS IN NETWORKS 134 36 PHASE
SYNCHRONIZATION ON UNDIRECTED TREES 137 37 DISTRIBUTED SELF
STABILIZATION 140 PART C. ANALYSIS OF ELEMENTARY SYSTEM MODELS 143 VII.
STATE PROPERTIES OF ELEMENTARY SYSTEM NETS 145 38 PROPOSITIONAL STATE
PROPERTIES 145 39 NET EQUATIONS AND NET INEQUALITIES 147 40 PLACE
INVARIANTS OF ES-NETS 150 41 SOME SMALL CASE STUDIES 153 42 TRAPS 156 43
CASE STUDY: MUTEX 159 VIII. INTERLEAVED PROGRESS OF ELEMENTARY SYSTEM
NETS 165 44 PROGRESS ON INTERLEAVED RUNS 165 45 THE INTERLEAVED PICK-UP
RULE 167 46 PROOF GRAPHS FOR INTERLEAVED PROGRESS 170 47 STANDARD PROOF
GRAPHS 172 48 HOW TO PICK UP FAIRNESS 176 49 CASE STUDY: EVOLUTION OF
MUTUAL EXCLUSION ALGORITHMS. . . 178 IX. CONCURRENT PROGRESS OF
ELEMENTARY SYSTEM NETS 187 50 PROGRESS ON CONCURRENT RUNS 187 51 THE
CONCURRENT PICK-UP RULE 188 52 PROOF GRAPHS FOR CONCURRENT PROGRESS 190
CONTENTS XI 53 GROUND FORMULAS AND ROUNDS 191 54 ROUNDS OF SEQUENTIAL
AND PARALLEL BUFFER ALGORITHMS 195 55 ROUNDS AND GROUND FORMULAS OF
VARIOUS ALGORITHMS 197 56 GROUND FORMULAS OF MUTEX ALGORITHMS 200 PART
D. ANALYSIS OF ADVANCED SYSTEM MODELS 205 X. STATE PROPERTIES OF SYSTEM
NETS 207 57 FIRST-ORDER STATE PROPERTIES 208 58 MULTISETS AND LINEAR
FUNCTIONS 209 59 PLACE WEIGHTS, SYSTEM EQUATIONS, AND SYSTEM
INEQUALITIES . 210 60 PLACE INVARIANTS OF SYSTEM NETS 214 61 TRAPS OF
SYSTEM NETS 219 62 STATE PROPERTIES OF VARIANTS OF THE PHILOSOPHER
SYSTEM . 222 XI. INTERLEAVED PROGRESS OF SYSTEM NETS 227 63 PROGRESS
ON INTERLEAVED RUNS 227 64 INTERLEAVED PICK-UP AND PROOF GRAPHS FOR
SYSTEM NETS . 228 65 CASE STUDY: PRODUCER/CONSUMER SYSTEMS 230 66 HOW
TO PICK UP FAIRNESS 231 XII. CONCURRENT PROGRESS OF SYSTEM NETS 233 67
PROGRESS OF CONCURRENT RUNS 233 68 THE CONCURRENT PICK-UP RULE 234 69
PICK-UP PATTERNS AND PROOF GRAPHS 235 70 GROUND FORMULAS AND ROUNDS 238
XIII. FORMAL ANALYSIS OF CASE STUDIES 24 1 71 THE ASYNCHRONOUS STACK 241
72 EXCLUSIVE WRITING AND CONCURRENT READING 244 73 DISTRIBUTED
REARRANGEMENT 249 74 SELF-STABILIZING MUTUAL EXCLUSION 253 75
MASTER/SLAVE AGREEMENT 255 76 LEADER ELECTION 258 77 THE ECHO ALGORITHM
260 78 GLOBAL MUTUAL EXCLUSION ON UNDIRECTED TREES 266 79 LOCAL MUTUAL
EXCLUSION 269 80 CONSENSUS IN NETWORKS 279 81 PHASE SYNCHRONIZATION ON
UNDIRECTED TREES 285 82 DISTRIBUTED SELF-STABILIZATION 291 REFERENCES
299 |
| any_adam_object | 1 |
| author | Reisig, Wolfgang 1950- |
| author_GND | (DE-588)120078422 |
| author_facet | Reisig, Wolfgang 1950- |
| author_role | aut |
| author_sort | Reisig, Wolfgang 1950- |
| author_variant | w r wr |
| building | Verbundindex |
| bvnumber | BV012093088 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.D5R445 1998 |
| callnumber-search | QA76.9.D5R445 1998 |
| callnumber-sort | QA 276.9 D5 R445 41998 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 130 ST 132 |
| classification_tum | DAT 516f |
| ctrlnum | (OCoLC)605270892 (DE-599)BVBBV012093088 |
| dewey-full | 004/.3621 004.36 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004/.36 21 004.36 |
| dewey-search | 004/.36 21 004.36 |
| dewey-sort | 14 236 221 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV012093088</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19981102</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">980721s1998 gw d||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">953357678</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540627529</subfield><subfield code="c">Pp. : DM 58.00</subfield><subfield code="9">3-540-62752-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)605270892</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012093088</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-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-526</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.D5R445 1998</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004/.36 21</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.36</subfield><subfield code="b">R237</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</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">DAT 516f</subfield><subfield code="2">stub</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">Reisig, Wolfgang</subfield><subfield code="d">1950-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)120078422</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Elements of distributed algorithms</subfield><subfield code="b">modeling and analysis with Petri nets</subfield><subfield code="c">Wolfgang Reisig</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 302 S.</subfield><subfield code="b">graph. Darst.</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="650" ind1=" " ind2="4"><subfield code="a">Algoritmos (Computadores)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Procesamiento electrónico de datos - Procesamiento distribuido</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Redes de Petri</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic data processing -- Distributed processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer algorithms</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Petri nets</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">Verteilter Algorithmus</subfield><subfield code="0">(DE-588)4200453-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Verteilter Algorithmus</subfield><subfield code="0">(DE-588)4200453-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Verteilter Algorithmus</subfield><subfield code="0">(DE-588)4200453-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</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=008189891&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008189891</subfield></datafield></record></collection> |
| id | DE-604.BV012093088 |
| illustrated | Illustrated |
| indexdate | 2024-08-01T00:27:40Z |
| institution | BVB |
| isbn | 3540627529 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008189891 |
| oclc_num | 605270892 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-29T DE-384 DE-19 DE-BY-UBM DE-20 DE-824 DE-521 DE-526 DE-634 DE-83 DE-11 DE-188 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-29T DE-384 DE-19 DE-BY-UBM DE-20 DE-824 DE-521 DE-526 DE-634 DE-83 DE-11 DE-188 |
| physical | XI, 302 S. graph. Darst. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Springer |
| record_format | marc |
| spelling | Reisig, Wolfgang 1950- Verfasser (DE-588)120078422 aut Elements of distributed algorithms modeling and analysis with Petri nets Wolfgang Reisig Berlin [u.a.] Springer 1998 XI, 302 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Algoritmos (Computadores) Procesamiento electrónico de datos - Procesamiento distribuido Redes de Petri Datenverarbeitung Electronic data processing -- Distributed processing Computer algorithms Petri nets Petri-Netz (DE-588)4045388-1 gnd rswk-swf Verteilter Algorithmus (DE-588)4200453-6 gnd rswk-swf Verteilter Algorithmus (DE-588)4200453-6 s Petri-Netz (DE-588)4045388-1 s DE-604 HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008189891&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Reisig, Wolfgang 1950- Elements of distributed algorithms modeling and analysis with Petri nets Algoritmos (Computadores) Procesamiento electrónico de datos - Procesamiento distribuido Redes de Petri Datenverarbeitung Electronic data processing -- Distributed processing Computer algorithms Petri nets Petri-Netz (DE-588)4045388-1 gnd Verteilter Algorithmus (DE-588)4200453-6 gnd |
| subject_GND | (DE-588)4045388-1 (DE-588)4200453-6 |
| title | Elements of distributed algorithms modeling and analysis with Petri nets |
| title_auth | Elements of distributed algorithms modeling and analysis with Petri nets |
| title_exact_search | Elements of distributed algorithms modeling and analysis with Petri nets |
| title_full | Elements of distributed algorithms modeling and analysis with Petri nets Wolfgang Reisig |
| title_fullStr | Elements of distributed algorithms modeling and analysis with Petri nets Wolfgang Reisig |
| title_full_unstemmed | Elements of distributed algorithms modeling and analysis with Petri nets Wolfgang Reisig |
| title_short | Elements of distributed algorithms |
| title_sort | elements of distributed algorithms modeling and analysis with petri nets |
| title_sub | modeling and analysis with Petri nets |
| topic | Algoritmos (Computadores) Procesamiento electrónico de datos - Procesamiento distribuido Redes de Petri Datenverarbeitung Electronic data processing -- Distributed processing Computer algorithms Petri nets Petri-Netz (DE-588)4045388-1 gnd Verteilter Algorithmus (DE-588)4200453-6 gnd |
| topic_facet | Algoritmos (Computadores) Procesamiento electrónico de datos - Procesamiento distribuido Redes de Petri Datenverarbeitung Electronic data processing -- Distributed processing Computer algorithms Petri nets Petri-Netz Verteilter Algorithmus |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008189891&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT reisigwolfgang elementsofdistributedalgorithmsmodelingandanalysiswithpetrinets |