Analysis of discrete time deterministic and stochastic Petri nets:
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | English |
| Published: |
1997
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | VII, 139 S. graph. Darst. |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV011682458 | ||
| 003 | DE-604 | ||
| 005 | 20151005 | ||
| 007 | t | ||
| 008 | 971212s1997 d||| m||| 00||| engod | ||
| 016 | 7 | |a 952464039 |2 DE-101 | |
| 035 | |a (OCoLC)258116602 | ||
| 035 | |a (DE-599)BVBBV011682458 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-29T |a DE-83 |a DE-11 | ||
| 084 | |a DAT 516d |2 stub | ||
| 084 | |a MAT 607d |2 stub | ||
| 100 | 1 | |a Zijal, Robert |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Analysis of discrete time deterministic and stochastic Petri nets |c vorgelegt von Robert Zijal |
| 264 | 1 | |c 1997 | |
| 300 | |a VII, 139 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |a Berlin, Techn. Univ., Diss., 1997 | ||
| 650 | 0 | 7 | |a Zeitdiskretes System |0 (DE-588)4127297-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Deterministisches System |0 (DE-588)4426832-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Markov-Kette |0 (DE-588)4037612-6 |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 Stochastisches Petri-Netz |0 (DE-588)4337061-5 |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 Deterministisches System |0 (DE-588)4426832-4 |D s |
| 689 | 0 | 2 | |a Zeitdiskretes System |0 (DE-588)4127297-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Stochastisches Petri-Netz |0 (DE-588)4337061-5 |D s |
| 689 | 1 | 1 | |a Zeitdiskretes System |0 (DE-588)4127297-3 |D s |
| 689 | 1 | 2 | |a Markov-Kette |0 (DE-588)4037612-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 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=007876289&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007876289 | |
Record in the Search Index
| _version_ | 1812453149835788288 |
|---|---|
| adam_text |
CONTENTS
ZUSAMMENFASSUNG
1
ABSTRACT **
ACKNOWLEDGEMENTS ***
1 INTRODUCTION 1
1.1 BACKGROUND. 1
1.2 CONTRIBUTIONS OF THIS THESIS. 2
1.3 ORGANIZATION . 5
2 PETRI NETS AND TIME EXTENSIONS 6
2.1 THE PETRI NET FORMALISM. 6
2.2 THE EXTENDED PETRI NET FORMALISM. 8
2.3 TIME EXTENSIONS OF PETRI NETS. 10
2.3.1 TEMPORAL SPECIFICATIONS . 11
2.3.2 RACE POLICIES. 18
2.4 A BRIEF HISTORY OF TIME-EXTENDED PNS. 15
2.4.1 TIMED PETRI NETS. 15
2.4.2 STOCHASTIC PETRI NETS. 10
2.5 RELATIONS WITH EXISTING APPROACHES. 17
IV
BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/952464039
CONTENTS
V
2.5.1 CONTINUOUS TIME APPROACHES. 17
ESPNS. 17
PHASE-TYPE DISTRIBUTIONS . 18
DSPNS. 18
CONCURRENT & EXTENDED DSPNS. 19
SANS. 20
2.5.2 DISCRETE TIME APPROACHES. 21
DISCRETE TIME SPNS . 21
GTPNS . 23
~~ DISCRETE TIME MARKOVIAN SPNS. 25
2.5.3 CONCLUDING REMARKS. 26
3 THE EARLY APPROACH OF DTDSPNS 29
3.1 THE DTDSPN FORMALISM. 30
3.2 PROPERTIES OF DTDSPNS. 32
ADVANTAGES. 33
DISADVANTAGES. 35
CONCLUDING REMARKS. 35
4 DISCRETE DSPNS (DDSPNS) 36
4.1 DISCRETE PROBABILITY DISTRIBUTIONS. 37
4.2 DISCRETE TIME PHASE DISTRIBUTIONS. 40
4.3 THE DDSPN FORMALISM. 46
4.4 RACE POLICIES . 49
4.5 THE DDSPN STATE SPACE. 50
4.6 CONFLICTS AND CONFUSIONS. 52
4.6.1 STRUCTURAL TESTS. 53
4.6.2 STOCHASTIC CONFUSION. 56
VI
CONTENTS
4.6.3 PROBABILISTIC WEIGHTS. 57
LOCAL WEIGHTS. 57
GLOBAL WEIGHTS. 57
4.6.4 CONCLUDING REMARKS. 58
4.7 WELL-DEFINED DDSPNS . 50
REWARD MEASURES. 51
EXAMPLES. 54
4.8 REDUCED REACHABILITY GRAPH GENERATION. 66
4.8.1 COMPUTED RESULTS . 67
4.8.2 POSSIBLE TYPES OF CONFUSIONS. 68
4.8.3 THE ALGORITHM. 69
TIME-ADVANCEMENT. 69
UNIFYING PATH SETS. 71
RECURSIVE TRAVERSAL OF VANISHING STATES. 72
INTEGRATED DETECTION OF CONFLICTS AND CONFUSIONS . 74
4.9 EXAMPLES OF DETECTED CONFUSIONS. 78
4.9.1 SYMMETRIC CONFUSION. 78
4.9.2 ASYMMETRIC CONFUSION. 80
L
5 REDUCTION OF THE DDSPN STATE SPACE 83
5.1 EMBEDDING. ^
5.1.1 FORMAL DESCRIPTION. 84
5.1.2 EXAMPLE. ^
5.1.3 CONCLUDING REMARKS. 87
5.2 STATIONARY SOLUTION. ^
5.3 TRANSIENT SOLUTION . ^9
5.3.1 STANDARD APPROACH. 89
CONTENTS
VII
5.3.2 MODIFIED BASIC ITERATIVE APPROACH. 91
STATE SPACE EXPANSION. 92
ADJUSTMENT OF STATE TRANSITION PROBABILITIES. 92
PROPERTIES. 95
EXAMPLE. 95
6 APPROXIMATION OF DSPNS USING DDSPNS 97
6.1 APPROXIMATION ACCURACY. 98
6.2 APPROXIMATION OF A M/D/L/K QUEUING SYSTEM. 99
7~ APPLICATION EXAMPLES 105
7.1 AUTOMATED MANUFACTURING SYSTEM .105
7.2 CYCLIC DATA PROCESSING IN A REAL-TIME SYSTEM.108
7.2.1 BASIC STRUCTURE OF THE MODEL.108
7.2.2 INCLUSION OF FAILURE AND REPAIR.113
8 CONCLUSIONS 120
APPENDIX: IMPLEMENTATION 125
1 INTRODUCTION.125
2 THE DDSPN COMPONENT OF TIMENET .127
LIST OF FIGURES 130
BIBLIOGRAPHY
132 |
| any_adam_object | 1 |
| author | Zijal, Robert |
| author_facet | Zijal, Robert |
| author_role | aut |
| author_sort | Zijal, Robert |
| author_variant | r z rz |
| building | Verbundindex |
| bvnumber | BV011682458 |
| classification_tum | DAT 516d MAT 607d |
| ctrlnum | (OCoLC)258116602 (DE-599)BVBBV011682458 |
| discipline | Informatik Mathematik |
| format | Thesis 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">BV011682458</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20151005</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">971212s1997 d||| m||| 00||| engod</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">952464039</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)258116602</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011682458</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="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 516d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 607d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Zijal, Robert</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Analysis of discrete time deterministic and stochastic Petri nets</subfield><subfield code="c">vorgelegt von Robert Zijal</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VII, 139 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="502" ind1=" " ind2=" "><subfield code="a">Berlin, Techn. Univ., Diss., 1997</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zeitdiskretes System</subfield><subfield code="0">(DE-588)4127297-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Deterministisches System</subfield><subfield code="0">(DE-588)4426832-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">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">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="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">Deterministisches System</subfield><subfield code="0">(DE-588)4426832-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Zeitdiskretes System</subfield><subfield code="0">(DE-588)4127297-3</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">Stochastisches Petri-Netz</subfield><subfield code="0">(DE-588)4337061-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Zeitdiskretes System</subfield><subfield code="0">(DE-588)4127297-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Markov-Kette</subfield><subfield code="0">(DE-588)4037612-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">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=007876289&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-007876289</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV011682458 |
| illustrated | Illustrated |
| indexdate | 2024-10-09T16:06:57Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007876289 |
| oclc_num | 258116602 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-29T DE-83 DE-11 |
| owner_facet | DE-91 DE-BY-TUM DE-29T DE-83 DE-11 |
| physical | VII, 139 S. graph. Darst. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| record_format | marc |
| spelling | Zijal, Robert Verfasser aut Analysis of discrete time deterministic and stochastic Petri nets vorgelegt von Robert Zijal 1997 VII, 139 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Berlin, Techn. Univ., Diss., 1997 Zeitdiskretes System (DE-588)4127297-3 gnd rswk-swf Deterministisches System (DE-588)4426832-4 gnd rswk-swf Markov-Kette (DE-588)4037612-6 gnd rswk-swf Petri-Netz (DE-588)4045388-1 gnd rswk-swf Stochastisches Petri-Netz (DE-588)4337061-5 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Petri-Netz (DE-588)4045388-1 s Deterministisches System (DE-588)4426832-4 s Zeitdiskretes System (DE-588)4127297-3 s DE-604 Stochastisches Petri-Netz (DE-588)4337061-5 s Markov-Kette (DE-588)4037612-6 s DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007876289&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Zijal, Robert Analysis of discrete time deterministic and stochastic Petri nets Zeitdiskretes System (DE-588)4127297-3 gnd Deterministisches System (DE-588)4426832-4 gnd Markov-Kette (DE-588)4037612-6 gnd Petri-Netz (DE-588)4045388-1 gnd Stochastisches Petri-Netz (DE-588)4337061-5 gnd |
| subject_GND | (DE-588)4127297-3 (DE-588)4426832-4 (DE-588)4037612-6 (DE-588)4045388-1 (DE-588)4337061-5 (DE-588)4113937-9 |
| title | Analysis of discrete time deterministic and stochastic Petri nets |
| title_auth | Analysis of discrete time deterministic and stochastic Petri nets |
| title_exact_search | Analysis of discrete time deterministic and stochastic Petri nets |
| title_full | Analysis of discrete time deterministic and stochastic Petri nets vorgelegt von Robert Zijal |
| title_fullStr | Analysis of discrete time deterministic and stochastic Petri nets vorgelegt von Robert Zijal |
| title_full_unstemmed | Analysis of discrete time deterministic and stochastic Petri nets vorgelegt von Robert Zijal |
| title_short | Analysis of discrete time deterministic and stochastic Petri nets |
| title_sort | analysis of discrete time deterministic and stochastic petri nets |
| topic | Zeitdiskretes System (DE-588)4127297-3 gnd Deterministisches System (DE-588)4426832-4 gnd Markov-Kette (DE-588)4037612-6 gnd Petri-Netz (DE-588)4045388-1 gnd Stochastisches Petri-Netz (DE-588)4337061-5 gnd |
| topic_facet | Zeitdiskretes System Deterministisches System Markov-Kette Petri-Netz Stochastisches Petri-Netz Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007876289&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT zijalrobert analysisofdiscretetimedeterministicandstochasticpetrinets |