Symbolic on-the-fly analysis of stochastic Petri nets:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
2014
|
| Schlagworte: | |
| Online-Zugang: | Volltext https://nbn-resolving.org/urn:nbn:de:kobv:co1-opus4-30560 Inhaltsverzeichnis |
| Beschreibung: | XVII, 225 S. graph. Darst., Ill. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV041977223 | ||
| 003 | DE-604 | ||
| 005 | 20170628 | ||
| 007 | t | ||
| 008 | 140716s2014 ad|| m||| 00||| eng d | ||
| 035 | |a (OCoLC)889872245 | ||
| 035 | |a (DE-599)BVBBV041977223 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-634 |a DE-384 | ||
| 084 | |a ST 132 |0 (DE-625)143589: |2 rvk | ||
| 100 | 1 | |a Schwarick, Martin |d 1980- |e Verfasser |0 (DE-588)1056897473 |4 aut | |
| 245 | 1 | 0 | |a Symbolic on-the-fly analysis of stochastic Petri nets |c vorgelegt von Martin Schwarick |
| 264 | 1 | |c 2014 | |
| 300 | |a XVII, 225 S. |b graph. Darst., Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |a Cottbus-Senftenberg, Techn. Univ., Diss., 2014 | ||
| 650 | 0 | 7 | |a Markov-Kette |0 (DE-588)4037612-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Stochastisches Petri-Netz |0 (DE-588)4337061-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Markov-Kette |0 (DE-588)4037612-6 |D s |
| 689 | 0 | 1 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 0 | 2 | |a Stochastisches Petri-Netz |0 (DE-588)4337061-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |o urn:nbn:de:kobv:co1-opus4-30560 |
| 856 | 4 | 1 | |u http://opus4.kobv.de/opus4-btu/frontdoor/index/index/docId/3056 |x Verlag |z kostenfrei |3 Volltext |
| 856 | 4 | |u https://nbn-resolving.org/urn:nbn:de:kobv:co1-opus4-30560 | |
| 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=027419748&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 912 | |a ebook | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027419748 | ||
Datensatz im Suchindex
| _version_ | 1804152375984783360 |
|---|---|
| adam_text | CONTENTS
ABSTRACT
III
ZUSAMMENFASSUNG
IV
1 INTRODUCTION 1
2 PETRI NETS 7
2.1 PETRI NETS 7
2.2 SYMBOLIC STATE SPACE REPRESENTATION 16
2.2.1 INTERVAL DECISION DIAGRAMS 16
2.2.2 STATE SPACE REPRESENTATION FOR PETRI NETS 21
2.3 CTL MODEL CHECKING 28
2.3.1 COMPUTATION TREE LOGIC - CTL 31
2.3.2 MODEL CHECKING 33
2.4 SUMMARY 33
3 STOCHASTIC PETRI NETS 35
3.1 STOCHASTIC PETRI NETS 35
3.2 EXTENSIONS 40
3.2.1 GENERALIZED STOCHASTIC PETRI NETS 40
3.2.2 STOCHASTIC REWARD NETS 48
3.3 NUMERICAL ANALYSIS 57
3.3.1 TRANSIENT ANALYSIS 58
3.3.2 LIMITING ANALYSIS 60
3.4 CSRL MODEL CHECKING 64
3.4.1 CONTINUOUS STOCHASTIC REWARD LOGIC 65
3.4.2 MODEL CHECKING 66
3.5 SUMMARY 76
4 ADVANCED MATRIX REPRESENTATION 77
4.1 CLASSICAL SPARSE MATRIX REPRESENTATION 77
4.2 STATE OF THE ART 79
V
HTTP://D-NB.INFO/1056897481
CONTENTS
4.2.1 THE KRONECKER ALGEBRAIC APPROACH 79
4.2.2 MULTI-TERMINAL DECISION DIAGRAM-BASED APPROACHES 82
4.3 IDD-BASED ON-THE-FLY MATRIX GENERATION 87
4.3.1 ENUMERATION OF STATE INDICES 87
4.3.2 ENUMERATION OF STATE TRANSITIONS 98
4.3.3 PERFORMANCE TUNING 103
4.3.4 FIRST RESULTS 125
4.4 SUMMARY 128
5 IMPLEMENTATION OF NUMERICAL SOLVERS 129
5.1 CONCEPTS 129
5.1.1 POLICY-BASED DESIGN 131
5.1.2 MULTI-THREADING 136
5.1.3 A GENERIC SOLVER 141
5.2 MISCELLANEOUS 146
5.2.1 PARKER S PSEUDO-GAUSS-SEIDEL 147
5.2.2 GENERALIZED STOCHASTIC PETRI NETS 148
5.2.3 STOCHASTIC REWARD NETS 152
5.3 SUMMARY 155
6 EVALUATION 157
6.1 METHODOLOGY 157
6.2 TRANSIENT ANALYSIS 159
6.3 STEADY STATE ANALYSIS 173
6.4 EMBEDDED MARKOV CHAIN 179
6.5 MARKOVIAN APPROXIMATION 186
6.6 GSPN VERSUS SPN 193
6.7 SUMMARY 193
7 CONCLUSIONS AND OUTLOOK 195
7.1 CONCLUSIONS 195
7.2 OUTLOOK 196
A APPENDIX 199
A.L ABSTRACT NET DESCRIPTION LANGUAGE 199
A.2 CASE STUDIES 202
A.2.1 BIOLOGICAL NETWORKS 202
A.2.2 TECHNICAL SYSTEMS 210
BIBLIOGRAPHY 215
VI
|
| any_adam_object | 1 |
| author | Schwarick, Martin 1980- |
| author_GND | (DE-588)1056897473 |
| author_facet | Schwarick, Martin 1980- |
| author_role | aut |
| author_sort | Schwarick, Martin 1980- |
| author_variant | m s ms |
| building | Verbundindex |
| bvnumber | BV041977223 |
| classification_rvk | ST 132 |
| collection | ebook |
| ctrlnum | (OCoLC)889872245 (DE-599)BVBBV041977223 |
| discipline | Informatik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01832nam a2200421 c 4500</leader><controlfield tag="001">BV041977223</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170628 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">140716s2014 ad|| m||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)889872245</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041977223</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-634</subfield><subfield code="a">DE-384</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="100" ind1="1" ind2=" "><subfield code="a">Schwarick, Martin</subfield><subfield code="d">1980-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1056897473</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Symbolic on-the-fly analysis of stochastic Petri nets</subfield><subfield code="c">vorgelegt von Martin Schwarick</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVII, 225 S.</subfield><subfield code="b">graph. Darst., Ill.</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="502" ind1=" " ind2=" "><subfield code="a">Cottbus-Senftenberg, Techn. Univ., Diss., 2014</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Markov-Kette</subfield><subfield code="0">(DE-588)4037612-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Stochastisches Petri-Netz</subfield><subfield code="0">(DE-588)4337061-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</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">Markov-Kette</subfield><subfield code="0">(DE-588)4037612-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Stochastisches Petri-Netz</subfield><subfield code="0">(DE-588)4337061-5</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="o">urn:nbn:de:kobv:co1-opus4-30560</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">http://opus4.kobv.de/opus4-btu/frontdoor/index/index/docId/3056</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">https://nbn-resolving.org/urn:nbn:de:kobv:co1-opus4-30560</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=027419748&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027419748</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV041977223 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T01:09:43Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027419748 |
| oclc_num | 889872245 |
| open_access_boolean | 1 |
| owner | DE-634 DE-384 |
| owner_facet | DE-634 DE-384 |
| physical | XVII, 225 S. graph. Darst., Ill. |
| psigel | ebook |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| record_format | marc |
| spelling | Schwarick, Martin 1980- Verfasser (DE-588)1056897473 aut Symbolic on-the-fly analysis of stochastic Petri nets vorgelegt von Martin Schwarick 2014 XVII, 225 S. graph. Darst., Ill. txt rdacontent n rdamedia nc rdacarrier Cottbus-Senftenberg, Techn. Univ., Diss., 2014 Markov-Kette (DE-588)4037612-6 gnd rswk-swf Stochastisches Petri-Netz (DE-588)4337061-5 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Markov-Kette (DE-588)4037612-6 s Programmverifikation (DE-588)4135576-3 s Stochastisches Petri-Netz (DE-588)4337061-5 s DE-604 Erscheint auch als Online-Ausgabe urn:nbn:de:kobv:co1-opus4-30560 http://opus4.kobv.de/opus4-btu/frontdoor/index/index/docId/3056 Verlag kostenfrei Volltext https://nbn-resolving.org/urn:nbn:de:kobv:co1-opus4-30560 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027419748&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Schwarick, Martin 1980- Symbolic on-the-fly analysis of stochastic Petri nets Markov-Kette (DE-588)4037612-6 gnd Stochastisches Petri-Netz (DE-588)4337061-5 gnd Programmverifikation (DE-588)4135576-3 gnd |
| subject_GND | (DE-588)4037612-6 (DE-588)4337061-5 (DE-588)4135576-3 (DE-588)4113937-9 |
| title | Symbolic on-the-fly analysis of stochastic Petri nets |
| title_auth | Symbolic on-the-fly analysis of stochastic Petri nets |
| title_exact_search | Symbolic on-the-fly analysis of stochastic Petri nets |
| title_full | Symbolic on-the-fly analysis of stochastic Petri nets vorgelegt von Martin Schwarick |
| title_fullStr | Symbolic on-the-fly analysis of stochastic Petri nets vorgelegt von Martin Schwarick |
| title_full_unstemmed | Symbolic on-the-fly analysis of stochastic Petri nets vorgelegt von Martin Schwarick |
| title_short | Symbolic on-the-fly analysis of stochastic Petri nets |
| title_sort | symbolic on the fly analysis of stochastic petri nets |
| topic | Markov-Kette (DE-588)4037612-6 gnd Stochastisches Petri-Netz (DE-588)4337061-5 gnd Programmverifikation (DE-588)4135576-3 gnd |
| topic_facet | Markov-Kette Stochastisches Petri-Netz Programmverifikation Hochschulschrift |
| url | http://opus4.kobv.de/opus4-btu/frontdoor/index/index/docId/3056 https://nbn-resolving.org/urn:nbn:de:kobv:co1-opus4-30560 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027419748&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT schwarickmartin symbolicontheflyanalysisofstochasticpetrinets |