Struktur und Analyse von Free-Choice-Petrinetzen
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Wiesbaden
Deutscher Universitätsverlag
1992
|
| Schriftenreihe: | DUV: Datenverarbeitung
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042467741 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150325s1992 xx o|||| 00||| ger d | ||
| 020 | |a 9783663145431 |c Online |9 978-3-663-14543-1 | ||
| 020 | |a 9783824420308 |c Print |9 978-3-8244-2030-8 | ||
| 024 | 7 | |a 10.1007/978-3-663-14543-1 |2 doi | |
| 035 | |a (OCoLC)915632703 | ||
| 035 | |a (DE-599)BVBBV042467741 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-634 |a DE-706 |a DE-860 |a DE-824 |a DE-188 |a DE-473 |a DE-19 | ||
| 082 | 0 | |a 004 |2 23 | |
| 100 | 1 | |a Desel, Jörg |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Struktur und Analyse von Free-Choice-Petrinetzen |c von Jörg Desel |
| 264 | 1 | |a Wiesbaden |b Deutscher Universitätsverlag |c 1992 | |
| 300 | |a 1 Online-Ressource (XII, 200 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a DUV: Datenverarbeitung | |
| 500 | |a Die statische Struktur eines markierten Petrinetzes ist durch das Netz selbst und die anfangliche Verteilung der Marken gegeben. Sein Verhalten wird durch die Menge seiner Ablaufe oder durch seinen Erreichbarkeitsgraphen beschrie ben. Struktur und Verhalten hiingen eng zusammenj so lassen sich dynamische Systemeigenschaften oft mit Hilfe struktureller Methoden wie Deadlocks oder S-Invarianten beweisen. Fur die Analyse eines markierten Petrinetzes auf dynamische Eigenschaften reichen strukturelle Methoden dagegen meist nicht aus. So sind die meisten dynamischen Eigenschaften -wie z.B. die Erreich-., barkeit einer gegebenen Markierung - zwar entscheidbar, doch haben diese Entscheidungsprobleme sehr groBe untere Komplexitatsschranken, die wenig stens dem Konstruktionsaufwand des Erreichbarkeitsgraphen entsprechen. Eine effiziente Analyse basiert notwendigerweise auf der Struktur eines mar kierten Netzes. Sie ist also nur fur Netze moglich, deren relevante dynamische Eigenschaften durch strukturelle Eigenschaften charakterisiert werden. Fur Free-Choice-Petrindze wurde Anfang der 70er Jahren von Fred Commoner (damals ein Student am MIT) eine entsprechende Charakterisierung der dyna mischen Eigenschaft Lebendigkeit angegeben: ein Free-Choice-Netz ist genau dann lebendig, wenn jeder Deadlock einen markierten Trap enthiilt. Leider ermoglicht dieses Ergebnis aber keine effiziente Lebendigkeitsanalyse, denn das Nicht-Lebendigkeitsproblem fur Free-Choice-Netze wurde als NP-vollstandig nachgewiesen | ||
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Computer Science, general | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Polynomialzeitalgorithmus |0 (DE-588)4199652-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Free-choice-Netz |0 (DE-588)4288878-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Dynamisches Verhalten |0 (DE-588)4140475-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Free-choice-Netz |0 (DE-588)4288878-5 |D s |
| 689 | 0 | 1 | |a Dynamisches Verhalten |0 (DE-588)4140475-0 |D s |
| 689 | 0 | 2 | |a Polynomialzeitalgorithmus |0 (DE-588)4199652-5 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-663-14543-1 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SGR | ||
| 912 | |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-SGR_Archive | |
| 940 | 1 | |q ZDB-2-SGR_1990/2004 | |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027902945 | |
Datensatz im Suchindex
| DE-BY-UBM_katkey | 6296473 |
|---|---|
| _version_ | 1823048930276933632 |
| any_adam_object | |
| author | Desel, Jörg |
| author_facet | Desel, Jörg |
| author_role | aut |
| author_sort | Desel, Jörg |
| author_variant | j d jd |
| building | Verbundindex |
| bvnumber | BV042467741 |
| collection | ZDB-2-SGR ZDB-2-BAD |
| ctrlnum | (OCoLC)915632703 (DE-599)BVBBV042467741 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-663-14543-1 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03513nam a2200541zc 4500</leader><controlfield tag="001">BV042467741</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150325s1992 xx o|||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783663145431</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-663-14543-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783824420308</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-8244-2030-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-663-14543-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)915632703</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042467741</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-634</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-19</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Desel, Jörg</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Struktur und Analyse von Free-Choice-Petrinetzen</subfield><subfield code="c">von Jörg Desel</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Deutscher Universitätsverlag</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 200 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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">DUV: Datenverarbeitung</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Die statische Struktur eines markierten Petrinetzes ist durch das Netz selbst und die anfangliche Verteilung der Marken gegeben. Sein Verhalten wird durch die Menge seiner Ablaufe oder durch seinen Erreichbarkeitsgraphen beschrie ben. Struktur und Verhalten hiingen eng zusammenj so lassen sich dynamische Systemeigenschaften oft mit Hilfe struktureller Methoden wie Deadlocks oder S-Invarianten beweisen. Fur die Analyse eines markierten Petrinetzes auf dynamische Eigenschaften reichen strukturelle Methoden dagegen meist nicht aus. So sind die meisten dynamischen Eigenschaften -wie z.B. die Erreich-., barkeit einer gegebenen Markierung - zwar entscheidbar, doch haben diese Entscheidungsprobleme sehr groBe untere Komplexitatsschranken, die wenig stens dem Konstruktionsaufwand des Erreichbarkeitsgraphen entsprechen. Eine effiziente Analyse basiert notwendigerweise auf der Struktur eines mar kierten Netzes. Sie ist also nur fur Netze moglich, deren relevante dynamische Eigenschaften durch strukturelle Eigenschaften charakterisiert werden. Fur Free-Choice-Petrindze wurde Anfang der 70er Jahren von Fred Commoner (damals ein Student am MIT) eine entsprechende Charakterisierung der dyna mischen Eigenschaft Lebendigkeit angegeben: ein Free-Choice-Netz ist genau dann lebendig, wenn jeder Deadlock einen markierten Trap enthiilt. Leider ermoglicht dieses Ergebnis aber keine effiziente Lebendigkeitsanalyse, denn das Nicht-Lebendigkeitsproblem fur Free-Choice-Netze wurde als NP-vollstandig nachgewiesen</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Polynomialzeitalgorithmus</subfield><subfield code="0">(DE-588)4199652-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Free-choice-Netz</subfield><subfield code="0">(DE-588)4288878-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Dynamisches Verhalten</subfield><subfield code="0">(DE-588)4140475-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><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">Free-choice-Netz</subfield><subfield code="0">(DE-588)4288878-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Dynamisches Verhalten</subfield><subfield code="0">(DE-588)4140475-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Polynomialzeitalgorithmus</subfield><subfield code="0">(DE-588)4199652-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-663-14543-1</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SGR</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-BAD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SGR_Archive</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SGR_1990/2004</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027902945</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV042467741 |
| illustrated | Not Illustrated |
| indexdate | 2025-02-03T15:58:23Z |
| institution | BVB |
| isbn | 9783663145431 9783824420308 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027902945 |
| oclc_num | 915632703 |
| open_access_boolean | |
| owner | DE-634 DE-706 DE-860 DE-824 DE-188 DE-473 DE-BY-UBG DE-19 DE-BY-UBM |
| owner_facet | DE-634 DE-706 DE-860 DE-824 DE-188 DE-473 DE-BY-UBG DE-19 DE-BY-UBM |
| physical | 1 Online-Ressource (XII, 200 S.) |
| psigel | ZDB-2-SGR ZDB-2-BAD ZDB-2-SGR_Archive ZDB-2-SGR_1990/2004 |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| publisher | Deutscher Universitätsverlag |
| record_format | marc |
| series2 | DUV: Datenverarbeitung |
| spellingShingle | Desel, Jörg Struktur und Analyse von Free-Choice-Petrinetzen Computer science Computer Science Computer Science, general Informatik Polynomialzeitalgorithmus (DE-588)4199652-5 gnd Free-choice-Netz (DE-588)4288878-5 gnd Dynamisches Verhalten (DE-588)4140475-0 gnd |
| subject_GND | (DE-588)4199652-5 (DE-588)4288878-5 (DE-588)4140475-0 (DE-588)4113937-9 |
| title | Struktur und Analyse von Free-Choice-Petrinetzen |
| title_auth | Struktur und Analyse von Free-Choice-Petrinetzen |
| title_exact_search | Struktur und Analyse von Free-Choice-Petrinetzen |
| title_full | Struktur und Analyse von Free-Choice-Petrinetzen von Jörg Desel |
| title_fullStr | Struktur und Analyse von Free-Choice-Petrinetzen von Jörg Desel |
| title_full_unstemmed | Struktur und Analyse von Free-Choice-Petrinetzen von Jörg Desel |
| title_short | Struktur und Analyse von Free-Choice-Petrinetzen |
| title_sort | struktur und analyse von free choice petrinetzen |
| topic | Computer science Computer Science Computer Science, general Informatik Polynomialzeitalgorithmus (DE-588)4199652-5 gnd Free-choice-Netz (DE-588)4288878-5 gnd Dynamisches Verhalten (DE-588)4140475-0 gnd |
| topic_facet | Computer science Computer Science Computer Science, general Informatik Polynomialzeitalgorithmus Free-choice-Netz Dynamisches Verhalten Hochschulschrift |
| url | https://doi.org/10.1007/978-3-663-14543-1 |
| work_keys_str_mv | AT deseljorg strukturundanalysevonfreechoicepetrinetzen |