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 |
| Beschreibung: | 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 |
| Beschreibung: | 1 Online-Ressource (XII, 200 S.) |
| ISBN: | 9783663145431 9783824420308 |
| DOI: | 10.1007/978-3-663-14543-1 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042467741 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150325s1992 |||| o||u| ||||||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 |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-SGR_Archive | |
| 940 | 1 | |q ZDB-2-SGR_1990/2004 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027902945 | ||
| 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 | |
Datensatz im Suchindex
| _version_ | 1804153187722067968 |
|---|---|
| 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>03498nmm a2200529zc 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 |||| o||u| ||||||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><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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027902945</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></record></collection> |
| genre | 1\p (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV042467741 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:22:37Z |
| 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 |
| spelling | Desel, Jörg Verfasser aut Struktur und Analyse von Free-Choice-Petrinetzen von Jörg Desel Wiesbaden Deutscher Universitätsverlag 1992 1 Online-Ressource (XII, 200 S.) txt rdacontent c rdamedia cr rdacarrier DUV: Datenverarbeitung 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 Computer science Computer Science Computer Science, general Informatik Polynomialzeitalgorithmus (DE-588)4199652-5 gnd rswk-swf Free-choice-Netz (DE-588)4288878-5 gnd rswk-swf Dynamisches Verhalten (DE-588)4140475-0 gnd rswk-swf 1\p (DE-588)4113937-9 Hochschulschrift gnd-content Free-choice-Netz (DE-588)4288878-5 s Dynamisches Verhalten (DE-588)4140475-0 s Polynomialzeitalgorithmus (DE-588)4199652-5 s 2\p DE-604 https://doi.org/10.1007/978-3-663-14543-1 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| 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 |