Understanding Petri Nets: modeling techniques, analysis methods, case studies
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
| Schlagwörter: | |
| Links: | http://deposit.dnb.de/cgi-bin/dokserv?id=4099403&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025716157&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Umfang: | XXVI, 230 S. Ill. 235 mm x 155 mm |
| ISBN: | 9783642332777 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV040736129 | ||
| 003 | DE-604 | ||
| 005 | 20130821 | ||
| 007 | t| | ||
| 008 | 130207s2013 gw a||| |||| 00||| eng d | ||
| 016 | 7 | |a 102501670X |2 DE-101 | |
| 020 | |a 9783642332777 |9 978-3-642-33277-7 | ||
| 035 | |a (OCoLC)856792304 | ||
| 035 | |a (DE-599)DNB102501670X | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-29T |a DE-91G |a DE-20 |a DE-83 |a DE-384 |a DE-11 |a DE-19 |a DE-858 |a DE-739 |a DE-573 | ||
| 082 | 0 | |a 004.0151135 |2 22/ger | |
| 084 | |a ST 132 |0 (DE-625)143589: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 516f |2 stub | ||
| 100 | 1 | |a Reisig, Wolfgang |d 1950- |e Verfasser |0 (DE-588)120078422 |4 aut | |
| 240 | 1 | 0 | |a Petrinetze |
| 245 | 1 | 0 | |a Understanding Petri Nets |b modeling techniques, analysis methods, case studies |c Wolfgang Reisig |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a XXVI, 230 S. |b Ill. |c 235 mm x 155 mm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Petri-Netz |0 (DE-588)4045388-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-642-33278-4 |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=4099403&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025716157&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-025716157 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102 DAT 516f 2013 A 5351 |
|---|---|
| DE-BY-TUM_katkey | 1921049 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040080297569 |
| _version_ | 1821932636602368000 |
| adam_text | IMAGE 1
LIST OF EXAMPLES AND CASE STUDIES
XXVII
PART I MODELING TECHNIQUES
1 AN EXAMPLE 3
1.1 A COOKIE VENDING MACHINE 3
1.2 A LOOK INSIDE 4
1.3 THE INTERFACE 5
1.4 HOT AND COLD TRANSITIONS 6
1.5 RUNS 6
1.6 ALTERNATIVES 7
1.7 FINE TUNING 8
1.8 DIVERSE COMPONENTS 10
EXERCISES 11
FURTHER READING 11
2 THE BASIC CONCEPTS 13
2.1 A VARIANT OF THE COOKIE VENDING MACHINE 13
2.2 COMPONENTS OF A NET 14
2.3 THE DATA STRUCTURE FOR PETRI NETS: MULTISETS 16
2.4 MARKINGS AS MULTISETS 18
2.5 STEPS WITH CONSTANT ARC LABELINGS 18
2.6 STEPS WITH VARIABLE ARC LABELINGS 19
2.7 SYSTEM NETS 21
2.8 MARKING GRAPH 22
2.9 FINAL MARKINGS 23
EXERCISES 23
FURTHER READING 23
3 COMMON SPECIAL CASE: ELEMENTARY SYSTEM NETS 25
3.1 ELEMENTARY SYSTEM NETS 25
HTTP://D-NB.INFO/102501670X
IMAGE 2
XXII CONTENTS
3.2 AN ABSTRACT MODEL OF THE COOKIE VENDING MACHINE 26
3.3 MUTUAL EXCLUSION 27
3.4 THE CROSSTALK ALGORITHM 28
3.5 1-BOUNDED ELEMENTARY SYSTEM NETS 32
EXERCISES 32
FURTHER READING 33
4 SEQUENTIAL AND DISTRIBUTED RUNS 35
4.1 SEQUENTIAL RUNS 35
4.2 TOKENS AS LABELED PLACES 37
4.3 ACTIONS 37
4.4 DISTRIBUTED RUNS 39
4.5 EXAMPLE: A BELL CLOCK 42
4.6 THE KINDERGARTEN GAME 43
4.7 CAUSAL ORDER 45
4.8 THE COMPOSITION OF DISTRIBUTED RUNS 46
EXERCISES 47
FURTHER READING 48
5 SCENARIOS 51
5.1 DEFINING SCENARIOS 51
5.2 THE SCENARIOS OF THE CROSSTALK ALGORITHM 53
5.3 THE SCENARIOS OF THE COOKIE VENDING MACHINE 54
EXERCISES 55
FURTHER READING 55
6 FURTHER NOTATIONS FOR ELEMENTARY SYSTEM NETS 57
6.1 PLACE CAPACITIES 57
6.2 ARC WEIGHTS 58
6.3 REAL EXTENSIONS 61
EXERCISES 62
FURTHER READING 62
7 THE SYNTHESIS PROBLEM 65
7.1 EXAMPLE: THE LIGHT/FAN SYSTEM 65
7.2 THE GENERAL QUESTION OF THE SYNTHESIS PROBLEM 67
7.3 REGIONS OF STATE AUTOMATA 68
7.4 THE SYSTEM NET OF A STATE AUTOMATON 69
7.5 THE SOLUTION TO THE SYNTHESIS PROBLEM 70
7.6 THE SYNTHESIS PROBLEM OF THE LIGHT/FAN STATE AUTOMATON 70
EXERCISES 71
FURTHER READING 72
IMAGE 3
CONTENTS XXIII
8 COMPOSITION OF NETS 75
8.1 NETS WITH INTERFACES 75
8.2 COMMUNICATING NETS 78
8.3 UNAMBIGUOUS DECOMPOSITION INTO OPEN NETS 78
EXERCISES 80
FURTHER READING 80
PART II ANALYSIS METHODS
9 STATE PROPERTIES 83
9.1 EQUATIONS AND INEQUALITIES OF THE COOKIE VENDING MACHINE 83
9.2 VALID EQUATIONS 86
9.3 EXAMPLE: DINING PHILOSOPHERS 86
9.4 VALID INEQUALITIES : 88
9.5 EQUATIONS AND INEQUALITIES OF ELEMENTARY SYSTEM NETS 88
9.6 MODULO EQUATIONS 90
9.7 PROPOSITIONAL STATE PROPERTIES 91
EXERCISES 93
FURTHER READING 94
10 TRAPS AND COTRAPS OF ELEMENTARY SYSTEM NETS 97
10.1 TRAPS OF ELEMENTARY SYSTEM NETS 97
10.2 COTRAPS 98
10.3 THE TRAP/COTRAP PROPERTY 99
EXERCISES 100
FURTHER READING 101
11 PLACE INVARIANTS OF ELEMENTARY SYSTEM NETS 103
11.1 VECTOR REPRESENTATION FOR ELEMENTARY SYSTEM NETS 103
11.2 THE MATRIX N 104
11.3 PLACE INVARIANTS 104
11.4 POSITIVE PLACE INVARIANTS 107
EXERCISES 108
FURTHER READING 109
12 COMBINING TRAPS AND PLACE INVARIANTS OF ELEMENTARY SYSTEM NETS ILL
12.1 CALCULATING WITH EQUATIONS AND INEQUALITIES ILL
12.2 STATE PROPERTIES OF THE MUTUAL EXCLUSION SYSTEM 113
12.3 STATE PROPERTIES OF THE CROSSTALK ALGORITHM 113
12.4 UNSTABLE PROPERTIES 114
EXERCISES 116
IMAGE 4
XXVI CONTENTS
EXERCISES 191
FURTHER READING 191
22 NETWORK ALGORITHMS 193
22.1 SOME CONVENTIONS FOR THE REPRESENTATION OF NETWORK ALGORITHMS 194
22.2 THE ECHO ALGORITHM 194
22.3 SYNCHRONIZATION IN ACYCLIC NETWORKS 198
22.4 CONSENSUS IN THE NETWORK 201
EXERCISES 204
FURTHER READING 204
PART IV CONCLUSION
23 CLOSING REMARKS 207
23.1 A BRIEF HISTORY OF PETRI NETS 207
23.2 PROPERTIES OF THE ELEMENTARY FORMALISMS OF PETRI NETS 207
23.3 SPECULATIVE QUESTIONS 209
23.4 PETRI NETS IN SOFTWARE ENGINEERING 209
23.5 REFERENCE TO OTHER SYSTEM MODELS AND ANALYSIS TECHNIQUES 210
23.6 OTHER INTRODUCTORY TEXTS 210
FORMAL FRAMEWORK 213
BIBLIOGRAPHY 225
INDEX 229
|
| 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 | BV040736129 |
| classification_rvk | ST 132 |
| classification_tum | DAT 516f |
| ctrlnum | (OCoLC)856792304 (DE-599)DNB102501670X |
| dewey-full | 004.0151135 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151135 |
| dewey-search | 004.0151135 |
| dewey-sort | 14.0151135 |
| 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>01663nam a2200409 c 4500</leader><controlfield tag="001">BV040736129</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130821 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">130207s2013 gw a||| |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">102501670X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642332777</subfield><subfield code="9">978-3-642-33277-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)856792304</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB102501670X</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">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-573</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151135</subfield><subfield code="2">22/ger</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">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 516f</subfield><subfield code="2">stub</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="240" ind1="1" ind2="0"><subfield code="a">Petrinetze</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Understanding Petri Nets</subfield><subfield code="b">modeling techniques, analysis methods, case studies</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">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXVI, 230 S.</subfield><subfield code="b">Ill.</subfield><subfield code="c">235 mm x 155 mm</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="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="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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-642-33278-4</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4099403&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=025716157&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-025716157</subfield></datafield></record></collection> |
| id | DE-604.BV040736129 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T16:24:35Z |
| institution | BVB |
| isbn | 9783642332777 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025716157 |
| oclc_num | 856792304 |
| open_access_boolean | |
| owner | DE-29T DE-91G DE-BY-TUM DE-20 DE-83 DE-384 DE-11 DE-19 DE-BY-UBM DE-858 DE-739 DE-573 |
| owner_facet | DE-29T DE-91G DE-BY-TUM DE-20 DE-83 DE-384 DE-11 DE-19 DE-BY-UBM DE-858 DE-739 DE-573 |
| physical | XXVI, 230 S. Ill. 235 mm x 155 mm |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| spellingShingle | Reisig, Wolfgang 1950- Understanding Petri Nets modeling techniques, analysis methods, case studies Petri-Netz (DE-588)4045388-1 gnd |
| subject_GND | (DE-588)4045388-1 |
| title | Understanding Petri Nets modeling techniques, analysis methods, case studies |
| title_alt | Petrinetze |
| title_auth | Understanding Petri Nets modeling techniques, analysis methods, case studies |
| title_exact_search | Understanding Petri Nets modeling techniques, analysis methods, case studies |
| title_full | Understanding Petri Nets modeling techniques, analysis methods, case studies Wolfgang Reisig |
| title_fullStr | Understanding Petri Nets modeling techniques, analysis methods, case studies Wolfgang Reisig |
| title_full_unstemmed | Understanding Petri Nets modeling techniques, analysis methods, case studies Wolfgang Reisig |
| title_short | Understanding Petri Nets |
| title_sort | understanding petri nets modeling techniques analysis methods case studies |
| title_sub | modeling techniques, analysis methods, case studies |
| topic | Petri-Netz (DE-588)4045388-1 gnd |
| topic_facet | Petri-Netz |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=4099403&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025716157&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT reisigwolfgang petrinetze AT reisigwolfgang understandingpetrinetsmodelingtechniquesanalysismethodscasestudies |
Inhaltsverzeichnis
Paper/Kapitel scannen lassen
Paper/Kapitel scannen lassen
Teilbibliothek Mathematik & Informatik
| Signatur: |
0102 DAT 516f 2013 A 5351 Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Ausgeliehen – Rückgabe bis: 19.03.2025 |