Funktionale Analyse zeitbehafteter Petri-Netze:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Wiesbaden
Deutscher Universitätsverlag
1992
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Eine Systembewertung beinhaltet i.a. einen funktionalen und einen quantitativen Anteil. Zur Analyse funktionaler Aspekte stellen Petri-Netze zum einen eine leicht zu handhabende Beschreibungsmöglichkeit und zum anderen eine Vielzahl von, teilweise sehr effizienten, Analysetechniken zur Verfügung. Um auch quantitative Aspekte erfassen zu können, wurde der Zeitbegriff nachträglich in die Petri-Netz-Modellwelt integriert (zeitbehaftete Petri-Netze), wobei gerade in den letzten Jahren vornehmlich zeitbehaftete Modelle betrachtet werden, die Markov-Prozesse beschreiben. Nachteilig wirkt sich dabei aus, daß wesentliche Eigenschaften für das zeitbehaftete Petri-Netz nicht erfüllt sind, obwohl sie für das entsprechende "zeitlose" Petri-Netz gelten, so daß die oben angesprochenen Analysetechniken nicht mehr direkt anwendbar sind. In dieser Arbeit werden Beispiele für solche Fälle angegeben. Um den Einfluß der Zeit modellmäßig zu erfassen, wird gezeigt, daß Petri-Netze mit einer Prioritätszuordnung zu den Transitionen geeignet sind, diverse Formen zeitbehafteter Petri-Netze bzgl. der Auswirkung der Zeitintegration auf funktionale Eigenschaften zu erfassen. Es wird mittels dieser Form der Petri Netze nachgewiesen, daß durch leicht überprüfbare Restriktionen an die Form der Zeitintegration viele Eigenschaften des Petri-Netzes invariant bleiben. Die hier betrachteten Eigenschaften (z.B. Beschränktheit, Lebendigkeit, Existenz von home states) stellen dabei elementare Voraussetzungen für eine quantitative Analyse, insbesondere Markovscher Modelle, dar. VI An dieser Stelle sei Herrn Prof. Dr.-Ing. H. Beilner und Herrn Prof. Dr. G. Dittrich für ihre Betreuung gedankt |
| Beschreibung: | 1 Online-Ressource (VIII, 184 S. 22 Abb) |
| ISBN: | 9783663067306 9783824420254 |
| DOI: | 10.1007/978-3-663-06730-6 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042438463 | ||
| 003 | DE-604 | ||
| 005 | 20160113 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1992 |||| o||u| ||||||ger d | ||
| 020 | |a 9783663067306 |c Online |9 978-3-663-06730-6 | ||
| 020 | |a 9783824420254 |c Print |9 978-3-8244-2025-4 | ||
| 024 | 7 | |a 10.1007/978-3-663-06730-6 |2 doi | |
| 035 | |a (OCoLC)863932850 | ||
| 035 | |a (DE-599)BVBBV042438463 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-634 |a DE-92 |a DE-573 |a DE-706 |a DE-860 |a DE-1046 |a DE-Aug4 | ||
| 082 | 0 | |a 004 |2 23 | |
| 084 | |a TEC 000 |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 100 | 1 | |a Bause, Falko |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Funktionale Analyse zeitbehafteter Petri-Netze |c von Falko Bause |
| 264 | 1 | |a Wiesbaden |b Deutscher Universitätsverlag |c 1992 | |
| 300 | |a 1 Online-Ressource (VIII, 184 S. 22 Abb) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Eine Systembewertung beinhaltet i.a. einen funktionalen und einen quantitativen Anteil. Zur Analyse funktionaler Aspekte stellen Petri-Netze zum einen eine leicht zu handhabende Beschreibungsmöglichkeit und zum anderen eine Vielzahl von, teilweise sehr effizienten, Analysetechniken zur Verfügung. Um auch quantitative Aspekte erfassen zu können, wurde der Zeitbegriff nachträglich in die Petri-Netz-Modellwelt integriert (zeitbehaftete Petri-Netze), wobei gerade in den letzten Jahren vornehmlich zeitbehaftete Modelle betrachtet werden, die Markov-Prozesse beschreiben. Nachteilig wirkt sich dabei aus, daß wesentliche Eigenschaften für das zeitbehaftete Petri-Netz nicht erfüllt sind, obwohl sie für das entsprechende "zeitlose" Petri-Netz gelten, so daß die oben angesprochenen Analysetechniken nicht mehr direkt anwendbar sind. In dieser Arbeit werden Beispiele für solche Fälle angegeben. Um den Einfluß der Zeit modellmäßig zu erfassen, wird gezeigt, daß Petri-Netze mit einer Prioritätszuordnung zu den Transitionen geeignet sind, diverse Formen zeitbehafteter Petri-Netze bzgl. der Auswirkung der Zeitintegration auf funktionale Eigenschaften zu erfassen. Es wird mittels dieser Form der Petri Netze nachgewiesen, daß durch leicht überprüfbare Restriktionen an die Form der Zeitintegration viele Eigenschaften des Petri-Netzes invariant bleiben. Die hier betrachteten Eigenschaften (z.B. Beschränktheit, Lebendigkeit, Existenz von home states) stellen dabei elementare Voraussetzungen für eine quantitative Analyse, insbesondere Markovscher Modelle, dar. VI An dieser Stelle sei Herrn Prof. Dr.-Ing. H. Beilner und Herrn Prof. Dr. G. Dittrich für ihre Betreuung gedankt | ||
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Computer Science, general | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Petri-Netz |0 (DE-588)4045388-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systemanalyse |0 (DE-588)4116673-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Systemanalyse |0 (DE-588)4116673-5 |D s |
| 689 | 0 | 1 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-663-06730-6 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-STI |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-STI_Archive | |
| 940 | 1 | |q ZDB-2-STI_1990/1999 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027873792 | ||
| 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_ | 1804153128388395008 |
|---|---|
| any_adam_object | |
| author | Bause, Falko |
| author_facet | Bause, Falko |
| author_role | aut |
| author_sort | Bause, Falko |
| author_variant | f b fb |
| building | Verbundindex |
| bvnumber | BV042438463 |
| classification_tum | TEC 000 DAT 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)863932850 (DE-599)BVBBV042438463 |
| 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 | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-663-06730-6 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03549nmm a2200517zc 4500</leader><controlfield tag="001">BV042438463</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160113 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1992 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783663067306</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-663-06730-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783824420254</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-8244-2025-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-663-06730-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863932850</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042438463</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-91</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-Aug4</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bause, Falko</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Funktionale Analyse zeitbehafteter Petri-Netze</subfield><subfield code="c">von Falko Bause</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 (VIII, 184 S. 22 Abb)</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="500" ind1=" " ind2=" "><subfield code="a">Eine Systembewertung beinhaltet i.a. einen funktionalen und einen quantitativen Anteil. Zur Analyse funktionaler Aspekte stellen Petri-Netze zum einen eine leicht zu handhabende Beschreibungsmöglichkeit und zum anderen eine Vielzahl von, teilweise sehr effizienten, Analysetechniken zur Verfügung. Um auch quantitative Aspekte erfassen zu können, wurde der Zeitbegriff nachträglich in die Petri-Netz-Modellwelt integriert (zeitbehaftete Petri-Netze), wobei gerade in den letzten Jahren vornehmlich zeitbehaftete Modelle betrachtet werden, die Markov-Prozesse beschreiben. Nachteilig wirkt sich dabei aus, daß wesentliche Eigenschaften für das zeitbehaftete Petri-Netz nicht erfüllt sind, obwohl sie für das entsprechende "zeitlose" Petri-Netz gelten, so daß die oben angesprochenen Analysetechniken nicht mehr direkt anwendbar sind. In dieser Arbeit werden Beispiele für solche Fälle angegeben. Um den Einfluß der Zeit modellmäßig zu erfassen, wird gezeigt, daß Petri-Netze mit einer Prioritätszuordnung zu den Transitionen geeignet sind, diverse Formen zeitbehafteter Petri-Netze bzgl. der Auswirkung der Zeitintegration auf funktionale Eigenschaften zu erfassen. Es wird mittels dieser Form der Petri Netze nachgewiesen, daß durch leicht überprüfbare Restriktionen an die Form der Zeitintegration viele Eigenschaften des Petri-Netzes invariant bleiben. Die hier betrachteten Eigenschaften (z.B. Beschränktheit, Lebendigkeit, Existenz von home states) stellen dabei elementare Voraussetzungen für eine quantitative Analyse, insbesondere Markovscher Modelle, dar. VI An dieser Stelle sei Herrn Prof. Dr.-Ing. H. Beilner und Herrn Prof. Dr. G. Dittrich für ihre Betreuung gedankt</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">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">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-5</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">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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=" "><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-06730-6</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-STI</subfield><subfield code="a">ZDB-2-BAD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_Archive</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_1990/1999</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027873792</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.BV042438463 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:41Z |
| institution | BVB |
| isbn | 9783663067306 9783824420254 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027873792 |
| oclc_num | 863932850 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| physical | 1 Online-Ressource (VIII, 184 S. 22 Abb) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive ZDB-2-STI_1990/1999 |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| publisher | Deutscher Universitätsverlag |
| record_format | marc |
| spelling | Bause, Falko Verfasser aut Funktionale Analyse zeitbehafteter Petri-Netze von Falko Bause Wiesbaden Deutscher Universitätsverlag 1992 1 Online-Ressource (VIII, 184 S. 22 Abb) txt rdacontent c rdamedia cr rdacarrier Eine Systembewertung beinhaltet i.a. einen funktionalen und einen quantitativen Anteil. Zur Analyse funktionaler Aspekte stellen Petri-Netze zum einen eine leicht zu handhabende Beschreibungsmöglichkeit und zum anderen eine Vielzahl von, teilweise sehr effizienten, Analysetechniken zur Verfügung. Um auch quantitative Aspekte erfassen zu können, wurde der Zeitbegriff nachträglich in die Petri-Netz-Modellwelt integriert (zeitbehaftete Petri-Netze), wobei gerade in den letzten Jahren vornehmlich zeitbehaftete Modelle betrachtet werden, die Markov-Prozesse beschreiben. Nachteilig wirkt sich dabei aus, daß wesentliche Eigenschaften für das zeitbehaftete Petri-Netz nicht erfüllt sind, obwohl sie für das entsprechende "zeitlose" Petri-Netz gelten, so daß die oben angesprochenen Analysetechniken nicht mehr direkt anwendbar sind. In dieser Arbeit werden Beispiele für solche Fälle angegeben. Um den Einfluß der Zeit modellmäßig zu erfassen, wird gezeigt, daß Petri-Netze mit einer Prioritätszuordnung zu den Transitionen geeignet sind, diverse Formen zeitbehafteter Petri-Netze bzgl. der Auswirkung der Zeitintegration auf funktionale Eigenschaften zu erfassen. Es wird mittels dieser Form der Petri Netze nachgewiesen, daß durch leicht überprüfbare Restriktionen an die Form der Zeitintegration viele Eigenschaften des Petri-Netzes invariant bleiben. Die hier betrachteten Eigenschaften (z.B. Beschränktheit, Lebendigkeit, Existenz von home states) stellen dabei elementare Voraussetzungen für eine quantitative Analyse, insbesondere Markovscher Modelle, dar. VI An dieser Stelle sei Herrn Prof. Dr.-Ing. H. Beilner und Herrn Prof. Dr. G. Dittrich für ihre Betreuung gedankt Computer science Computer Science Computer Science, general Informatik Petri-Netz (DE-588)4045388-1 gnd rswk-swf Systemanalyse (DE-588)4116673-5 gnd rswk-swf 1\p (DE-588)4113937-9 Hochschulschrift gnd-content Systemanalyse (DE-588)4116673-5 s Petri-Netz (DE-588)4045388-1 s 2\p DE-604 https://doi.org/10.1007/978-3-663-06730-6 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 | Bause, Falko Funktionale Analyse zeitbehafteter Petri-Netze Computer science Computer Science Computer Science, general Informatik Petri-Netz (DE-588)4045388-1 gnd Systemanalyse (DE-588)4116673-5 gnd |
| subject_GND | (DE-588)4045388-1 (DE-588)4116673-5 (DE-588)4113937-9 |
| title | Funktionale Analyse zeitbehafteter Petri-Netze |
| title_auth | Funktionale Analyse zeitbehafteter Petri-Netze |
| title_exact_search | Funktionale Analyse zeitbehafteter Petri-Netze |
| title_full | Funktionale Analyse zeitbehafteter Petri-Netze von Falko Bause |
| title_fullStr | Funktionale Analyse zeitbehafteter Petri-Netze von Falko Bause |
| title_full_unstemmed | Funktionale Analyse zeitbehafteter Petri-Netze von Falko Bause |
| title_short | Funktionale Analyse zeitbehafteter Petri-Netze |
| title_sort | funktionale analyse zeitbehafteter petri netze |
| topic | Computer science Computer Science Computer Science, general Informatik Petri-Netz (DE-588)4045388-1 gnd Systemanalyse (DE-588)4116673-5 gnd |
| topic_facet | Computer science Computer Science Computer Science, general Informatik Petri-Netz Systemanalyse Hochschulschrift |
| url | https://doi.org/10.1007/978-3-663-06730-6 |
| work_keys_str_mv | AT bausefalko funktionaleanalysezeitbehafteterpetrinetze |