Entscheidbarkeit bei Petri-Netzen: Überblick und Kompendium
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Buch |
Sprache: | German |
Veröffentlicht: |
Berlin [u.a.]
Springer
2008
|
Schriftenreihe: | eXamen.press
|
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | Auch als Internetausgabe |
Beschreibung: | VI, 240 S. |
ISBN: | 9783540854715 |
Internformat
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV035064153 | ||
003 | DE-604 | ||
005 | 20191204 | ||
007 | t | ||
008 | 080922s2008 |||| 00||| ger d | ||
020 | |a 9783540854715 |c GB : EUR 34,95 |9 978-3-540-85471-5 | ||
035 | |a (OCoLC)260054315 | ||
035 | |a (DE-599)BVBBV035064153 | ||
040 | |a DE-604 |b ger |e rakwb | ||
041 | 0 | |a ger | |
049 | |a DE-384 |a DE-20 |a DE-703 |a DE-634 |a DE-824 |a DE-11 | ||
082 | 0 | |a 004.0151135 |2 22/ger | |
084 | |a ST 132 |0 (DE-625)143589: |2 rvk | ||
100 | 1 | |a Wimmel, Harro |d 1967- |e Verfasser |0 (DE-588)17336621X |4 aut | |
245 | 1 | 0 | |a Entscheidbarkeit bei Petri-Netzen |b Überblick und Kompendium |c Harro Wimmel |
246 | 1 | 3 | |a Entscheidbarkeit bei Petri Netzen |
264 | 1 | |a Berlin [u.a.] |b Springer |c 2008 | |
300 | |a VI, 240 S. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 0 | |a eXamen.press | |
500 | |a Auch als Internetausgabe | ||
650 | 4 | |a Petri-Netz - Entscheidbarkeit | |
650 | 4 | |a Stellen-Transitions-Netz - Entscheidbarkeit - Erreichbarkeit - Beschränktheit <Mathematik> - Überdeckung <Mathematik> | |
650 | 0 | 7 | |a Beschränktheit |g Mathematik |0 (DE-588)4289271-5 |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 Stellen-Transitions-Netz |0 (DE-588)4486682-3 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Überdeckung |g Mathematik |0 (DE-588)4186551-0 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Entscheidbarkeit |0 (DE-588)4152398-2 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Erreichbarkeit |0 (DE-588)4334087-8 |2 gnd |9 rswk-swf |
689 | 0 | 0 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
689 | 0 | 1 | |a Entscheidbarkeit |0 (DE-588)4152398-2 |D s |
689 | 0 | |5 DE-604 | |
689 | 1 | 0 | |a Stellen-Transitions-Netz |0 (DE-588)4486682-3 |D s |
689 | 1 | 1 | |a Entscheidbarkeit |0 (DE-588)4152398-2 |D s |
689 | 1 | 2 | |a Beschränktheit |g Mathematik |0 (DE-588)4289271-5 |D s |
689 | 1 | 3 | |a Überdeckung |g Mathematik |0 (DE-588)4186551-0 |D s |
689 | 1 | 4 | |a Erreichbarkeit |0 (DE-588)4334087-8 |D s |
689 | 1 | |5 DE-604 | |
776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-540-85470-8 |
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=016732633&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-016732633 |
Datensatz im Suchindex
_version_ | 1804138009737560064 |
---|---|
adam_text | 1 Einleitung................................................ 1
2 Petri Netze und ihre Mathematik......................... 7
2.1 Mathematische Grundlagen.............................. 7
2.1.1 Mengen und Relationen........................... 7
2.1.2 Ringe, Körper, Matrizen .......................... 9
2.1.3 Erweiterte natürliche Zahlen....................... 13
2.1.4 Sprachen und Entscheidbarkeit..................... 15
2.1.5 Endliche Automaten und Registermaschinen......... 17
2.2 Petri Netze............................................ 21
2.2.1 Der Feuerbegriff.................................. 23
2.2.2 Hürde und Zustandswechsel ....................... 24
2.2.3 Reverse Petri Netze............................... 27
2.2.4 Invarianten, Sicherheit, Lebendigkeit................ 28
2.2.5 Die Sprache eines Petri Netzes..................... 32
2.3 Überdeckungsgraphen................................... 34
2.3.1 Graphen........................................ 34
2.3.2 Verallgemeinerte Zustände......................... 37
2.3.3 Der Erreiehbarkeitsgraph.......................... 38
2.3.4 Gesteuerte Überdeckungsgraphen................... 39
2.3.5 Keime und Keim-Transition-Sequenzen.............. 51
2.4 Lineare Gleichungssysteme über Z........................ 57
2.4.1 Lineare Gleichungssysteme ........................ 57
2.4.2 Lösungen in N................................... 58
2.4.3 Das Dualitätsprinzip.............................. 60
2.4.4 Konstruktion einer Support-Lösung................. 65
2.4.5 Dimensionen mit endlicher Lösungsmenge........... 66
2.4.6 Lösungen von Ax = b in Z........................ 68
yj Inhaltsverzeichnis
3 Das Erreichbarkeitsproblem .............................. 75
3.1 Reduktion auf das Keim-Transition-Problem............... 75
3.2 Die Charakteristische Gleichung.......................... 77
3.3 Das Pumping-Lemma von Lambert....................... 84
3.4 Dekomposition in perfekte Keim-Transition-Folgen.......... 89
4 Elementare Markierungsprobleme........................ 97
4.1 Erreichbarkeit linearer Mengen........................... 97
4.2 Reproduktion von Markierungen.........................105
4.3 Weitere Probleme mit Mengen von Markierungen...........113
4.4 Lebendigkeit...........................................127
5 Feuersequenzen und Sprachen............................133
5.1 Das Wortproblem ......................................133
5.2 Das Leerheitsproblem...................................136
5.3 Das Endlichkeitsproblem................................138
5.4 Das Totalitätsproblem ..................................144
5.5 Gleichheits- und Inklusionsprobleme......................155
5.6 Regularität und Kontextfreiheit..........................181
6 Petri Netze mit Nulltest..................................195
6.1 Petri Netze mit Prioritäten..............................196
6.2 Petri Netze mit Spezialkanten............................199
6.3 Petri Netze mit begrenzten Nulltests......................212
7 Ergebnisse im Überblick..................................223
Abbildungsverzeichnis........................................229
Literaturverzeichnis ...................................... 231
Sachverzeichnis............................................. 235
|
adam_txt |
1 Einleitung. 1
2 Petri Netze und ihre Mathematik. 7
2.1 Mathematische Grundlagen. 7
2.1.1 Mengen und Relationen. 7
2.1.2 Ringe, Körper, Matrizen . 9
2.1.3 Erweiterte natürliche Zahlen. 13
2.1.4 Sprachen und Entscheidbarkeit. 15
2.1.5 Endliche Automaten und Registermaschinen. 17
2.2 Petri Netze. 21
2.2.1 Der Feuerbegriff. 23
2.2.2 Hürde und Zustandswechsel . 24
2.2.3 Reverse Petri Netze. 27
2.2.4 Invarianten, Sicherheit, Lebendigkeit. 28
2.2.5 Die Sprache eines Petri Netzes. 32
2.3 Überdeckungsgraphen. 34
2.3.1 Graphen. 34
2.3.2 Verallgemeinerte Zustände. 37
2.3.3 Der Erreiehbarkeitsgraph. 38
2.3.4 Gesteuerte Überdeckungsgraphen. 39
2.3.5 Keime und Keim-Transition-Sequenzen. 51
2.4 Lineare Gleichungssysteme über Z. 57
2.4.1 Lineare Gleichungssysteme . 57
2.4.2 Lösungen in N. 58
2.4.3 Das Dualitätsprinzip. 60
2.4.4 Konstruktion einer Support-Lösung. 65
2.4.5 Dimensionen mit endlicher Lösungsmenge. 66
2.4.6 Lösungen von Ax = b in Z. 68
yj Inhaltsverzeichnis
3 Das Erreichbarkeitsproblem . 75
3.1 Reduktion auf das Keim-Transition-Problem. 75
3.2 Die Charakteristische Gleichung. 77
3.3 Das Pumping-Lemma von Lambert. 84
3.4 Dekomposition in perfekte Keim-Transition-Folgen. 89
4 Elementare Markierungsprobleme. 97
4.1 Erreichbarkeit linearer Mengen. 97
4.2 Reproduktion von Markierungen.105
4.3 Weitere Probleme mit Mengen von Markierungen.113
4.4 Lebendigkeit.127
5 Feuersequenzen und Sprachen.133
5.1 Das Wortproblem .133
5.2 Das Leerheitsproblem.136
5.3 Das Endlichkeitsproblem.138
5.4 Das Totalitätsproblem .144
5.5 Gleichheits- und Inklusionsprobleme.155
5.6 Regularität und Kontextfreiheit.181
6 Petri Netze mit Nulltest.195
6.1 Petri Netze mit Prioritäten.196
6.2 Petri Netze mit Spezialkanten.199
6.3 Petri Netze mit begrenzten Nulltests.212
7 Ergebnisse im Überblick.223
Abbildungsverzeichnis.229
Literaturverzeichnis . 231
Sachverzeichnis. 235 |
any_adam_object | 1 |
any_adam_object_boolean | 1 |
author | Wimmel, Harro 1967- |
author_GND | (DE-588)17336621X |
author_facet | Wimmel, Harro 1967- |
author_role | aut |
author_sort | Wimmel, Harro 1967- |
author_variant | h w hw |
building | Verbundindex |
bvnumber | BV035064153 |
classification_rvk | ST 132 |
ctrlnum | (OCoLC)260054315 (DE-599)BVBBV035064153 |
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 |
discipline_str_mv | Informatik |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02367nam a2200541 c 4500</leader><controlfield tag="001">BV035064153</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20191204 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">080922s2008 |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540854715</subfield><subfield code="c">GB : EUR 34,95</subfield><subfield code="9">978-3-540-85471-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)260054315</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035064153</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">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-11</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="100" ind1="1" ind2=" "><subfield code="a">Wimmel, Harro</subfield><subfield code="d">1967-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)17336621X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Entscheidbarkeit bei Petri-Netzen</subfield><subfield code="b">Überblick und Kompendium</subfield><subfield code="c">Harro Wimmel</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Entscheidbarkeit bei Petri Netzen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 240 S.</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="490" ind1="0" ind2=" "><subfield code="a">eXamen.press</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Auch als Internetausgabe</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Petri-Netz - Entscheidbarkeit</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Stellen-Transitions-Netz - Entscheidbarkeit - Erreichbarkeit - Beschränktheit <Mathematik> - Überdeckung <Mathematik></subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beschränktheit</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4289271-5</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">Stellen-Transitions-Netz</subfield><subfield code="0">(DE-588)4486682-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Überdeckung</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4186551-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Entscheidbarkeit</subfield><subfield code="0">(DE-588)4152398-2</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="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">Entscheidbarkeit</subfield><subfield code="0">(DE-588)4152398-2</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">Stellen-Transitions-Netz</subfield><subfield code="0">(DE-588)4486682-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Entscheidbarkeit</subfield><subfield code="0">(DE-588)4152398-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Beschränktheit</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4289271-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Überdeckung</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4186551-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="4"><subfield code="a">Erreichbarkeit</subfield><subfield code="0">(DE-588)4334087-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" 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-540-85470-8</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=016732633&sequence=000002&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-016732633</subfield></datafield></record></collection> |
id | DE-604.BV035064153 |
illustrated | Not Illustrated |
index_date | 2024-07-02T22:01:38Z |
indexdate | 2024-07-09T21:21:23Z |
institution | BVB |
isbn | 9783540854715 |
language | German |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016732633 |
oclc_num | 260054315 |
open_access_boolean | |
owner | DE-384 DE-20 DE-703 DE-634 DE-824 DE-11 |
owner_facet | DE-384 DE-20 DE-703 DE-634 DE-824 DE-11 |
physical | VI, 240 S. |
publishDate | 2008 |
publishDateSearch | 2008 |
publishDateSort | 2008 |
publisher | Springer |
record_format | marc |
series2 | eXamen.press |
spelling | Wimmel, Harro 1967- Verfasser (DE-588)17336621X aut Entscheidbarkeit bei Petri-Netzen Überblick und Kompendium Harro Wimmel Entscheidbarkeit bei Petri Netzen Berlin [u.a.] Springer 2008 VI, 240 S. txt rdacontent n rdamedia nc rdacarrier eXamen.press Auch als Internetausgabe Petri-Netz - Entscheidbarkeit Stellen-Transitions-Netz - Entscheidbarkeit - Erreichbarkeit - Beschränktheit <Mathematik> - Überdeckung <Mathematik> Beschränktheit Mathematik (DE-588)4289271-5 gnd rswk-swf Petri-Netz (DE-588)4045388-1 gnd rswk-swf Stellen-Transitions-Netz (DE-588)4486682-3 gnd rswk-swf Überdeckung Mathematik (DE-588)4186551-0 gnd rswk-swf Entscheidbarkeit (DE-588)4152398-2 gnd rswk-swf Erreichbarkeit (DE-588)4334087-8 gnd rswk-swf Petri-Netz (DE-588)4045388-1 s Entscheidbarkeit (DE-588)4152398-2 s DE-604 Stellen-Transitions-Netz (DE-588)4486682-3 s Beschränktheit Mathematik (DE-588)4289271-5 s Überdeckung Mathematik (DE-588)4186551-0 s Erreichbarkeit (DE-588)4334087-8 s Erscheint auch als Online-Ausgabe 978-3-540-85470-8 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016732633&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Wimmel, Harro 1967- Entscheidbarkeit bei Petri-Netzen Überblick und Kompendium Petri-Netz - Entscheidbarkeit Stellen-Transitions-Netz - Entscheidbarkeit - Erreichbarkeit - Beschränktheit <Mathematik> - Überdeckung <Mathematik> Beschränktheit Mathematik (DE-588)4289271-5 gnd Petri-Netz (DE-588)4045388-1 gnd Stellen-Transitions-Netz (DE-588)4486682-3 gnd Überdeckung Mathematik (DE-588)4186551-0 gnd Entscheidbarkeit (DE-588)4152398-2 gnd Erreichbarkeit (DE-588)4334087-8 gnd |
subject_GND | (DE-588)4289271-5 (DE-588)4045388-1 (DE-588)4486682-3 (DE-588)4186551-0 (DE-588)4152398-2 (DE-588)4334087-8 |
title | Entscheidbarkeit bei Petri-Netzen Überblick und Kompendium |
title_alt | Entscheidbarkeit bei Petri Netzen |
title_auth | Entscheidbarkeit bei Petri-Netzen Überblick und Kompendium |
title_exact_search | Entscheidbarkeit bei Petri-Netzen Überblick und Kompendium |
title_exact_search_txtP | Entscheidbarkeit bei Petri-Netzen Überblick und Kompendium |
title_full | Entscheidbarkeit bei Petri-Netzen Überblick und Kompendium Harro Wimmel |
title_fullStr | Entscheidbarkeit bei Petri-Netzen Überblick und Kompendium Harro Wimmel |
title_full_unstemmed | Entscheidbarkeit bei Petri-Netzen Überblick und Kompendium Harro Wimmel |
title_short | Entscheidbarkeit bei Petri-Netzen |
title_sort | entscheidbarkeit bei petri netzen uberblick und kompendium |
title_sub | Überblick und Kompendium |
topic | Petri-Netz - Entscheidbarkeit Stellen-Transitions-Netz - Entscheidbarkeit - Erreichbarkeit - Beschränktheit <Mathematik> - Überdeckung <Mathematik> Beschränktheit Mathematik (DE-588)4289271-5 gnd Petri-Netz (DE-588)4045388-1 gnd Stellen-Transitions-Netz (DE-588)4486682-3 gnd Überdeckung Mathematik (DE-588)4186551-0 gnd Entscheidbarkeit (DE-588)4152398-2 gnd Erreichbarkeit (DE-588)4334087-8 gnd |
topic_facet | Petri-Netz - Entscheidbarkeit Stellen-Transitions-Netz - Entscheidbarkeit - Erreichbarkeit - Beschränktheit <Mathematik> - Überdeckung <Mathematik> Beschränktheit Mathematik Petri-Netz Stellen-Transitions-Netz Überdeckung Mathematik Entscheidbarkeit Erreichbarkeit |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016732633&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT wimmelharro entscheidbarkeitbeipetrinetzenuberblickundkompendium AT wimmelharro entscheidbarkeitbeipetrinetzen |