Prozeßtheorie der Ablaufplanung: algebraische Modellierung von Prozessen, Ressourcenrestriktionen und Zeit
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | German |
| Veröffentlicht: |
Stuttgart [u.a.]
Teubner
1998
|
| Schriftenreihe: | Teubner-Reihe Wirtschaftsinformatik
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 260 S. Ill. |
| ISBN: | 3815426065 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV011791540 | ||
| 003 | DE-604 | ||
| 005 | 19980806 | ||
| 007 | t | ||
| 008 | 980217s1998 gw a||| m||| 00||| ger d | ||
| 016 | 7 | |a 952935082 |2 DE-101 | |
| 020 | |a 3815426065 |c kart. : ca. DM 65.00 |9 3-8154-2606-5 | ||
| 035 | |a (OCoLC)40290054 | ||
| 035 | |a (DE-599)BVBBV011791540 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-19 |a DE-91 |a DE-91G |a DE-N2 |a DE-703 |a DE-473 |a DE-20 |a DE-522 |a DE-83 |a DE-634 | ||
| 084 | |a QH 500 |0 (DE-625)141607: |2 rvk | ||
| 084 | |a QP 542 |0 (DE-625)141900: |2 rvk | ||
| 084 | |a DAT 535d |2 stub | ||
| 100 | 1 | |a Rittgen, Peter |d 1964- |e Verfasser |0 (DE-588)118153536 |4 aut | |
| 245 | 1 | 0 | |a Prozeßtheorie der Ablaufplanung |b algebraische Modellierung von Prozessen, Ressourcenrestriktionen und Zeit |c von Peter Rittgen |
| 264 | 1 | |a Stuttgart [u.a.] |b Teubner |c 1998 | |
| 300 | |a 260 S. |b Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Teubner-Reihe Wirtschaftsinformatik | |
| 502 | |a Zugl.: Frankfurt/Main, Univ., Diss., 1998 | ||
| 650 | 0 | 7 | |a Ablaufplanung |0 (DE-588)4122751-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prozess |g Informatik |0 (DE-588)4235427-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prozessalgebra |0 (DE-588)4283920-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Ablaufplanung |0 (DE-588)4122751-7 |D s |
| 689 | 0 | 1 | |a Prozess |g Informatik |0 (DE-588)4235427-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Ablaufplanung |0 (DE-588)4122751-7 |D s |
| 689 | 1 | 1 | |a Prozessalgebra |0 (DE-588)4283920-8 |D s |
| 689 | 1 | |5 DE-604 | |
| 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=007960330&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007960330 | ||
Datensatz im Suchindex
| _version_ | 1804126335856017408 |
|---|---|
| adam_text | Inhalt
1 Einfiihrung 11
1.1 Gegenstand des Buches 12
1.1.1 Ablauforganisation 12
1.1.2 Ablaufplanung aus betriebswirtschaftlicher Sicht 16
1.1.2.1 Die Projektplanung (Problemklasse 2) 19
1.1.2.2 Die Maschinenbelegungsplanung (Problemklasse 3) 21
1.1.2.3 Die Reihenfertigungsplanung (Problemklasse 4) 26
1.2 Ziel des Buches 27
1.3 Vorgehensweise 31
2 Taxonomie 35
2.1 DerProzeB 35
2.1.1 Historische Entwicklung des ProzeBbegriffs in den einzelnen
Wissenschaften 35
2.1.2 Der ProzeBbegriff in den modernen Wirtschaftswissenschaften 38
2.1.3 Der moderne ProzeBbegriff in ,,angrenzenden Wissenschaften 41
2.1.4 Der ProzeBbegriff im hier verwendeten Sinne 43
2.2 Das Ereignis als Instanz einer Aktion 45
2.3 Die Ablaufplanung aus formaler Sicht 46
2.3.1 Resource-Constrained Project / Process Scheduling with Variants (RCPS-
V) 46
2.3.2 Klassifikation von Problemen der Ablaufplanung 49
3 Graphen der Ablaufplanung 57
3.1 Netzplane 57
3.2 Disjunktive Kanten 61
3.3 Hierarchische Netzplane 63
4 Modelle nebenlaufiger Systeme 68
4.1 Allgemeine Strukturen 68
4.1.1 Modelltheorie 68
4.1.2 Systemtheorie 69
4.2 Modelle auf der Basis relationaler Strukturen (Netze) 78
4.2.1 Einfiihrung 78
4.2.2 Kahn-Netze 79
4.2.3 Globale Transitionssysteme 82
4.2.4 Lokale Transitionssysteme (Petrinetze) 85
4.2.4.1 B/E-Systeme 85
4.2.4.2 S/T-Netze 90
42.4.3 Semantik von Petrinetzen 92
8 Inhalt
4.2.4.3.1 Erreichbarkeitsgraphen (TS-Semantik) 92
4.2.4.3.2 Kausalnetze (Prozeß-Semantik) 94
4.3 Modelle auf der Basis operationaler Strukturen (Algebren) 97
4.3.1 Einführung 98
4.3.2 Prozesse als Halbordnungen über Zuständen 101
4.3.3 Prozesse als Halbordnungen über Ereignissen 106
4.3.4 Prozesse als lineare Halbordnungen über atomaren Aktionen
(Prozeßalgebren) 113
4.3.4.1 BPA (Basic Process Algebra) 114
4.3.4.2 BPA5e (BPA mit Deadlock und Termination) 119
4.3.4.3 PA (Process Algebra) 120
4.3.4.4 Rekursion 122
4.3.4.5 ACP (Algebra of Communicating Processes) 124
4.3.4.6 Vergleich mit anderen Prozeßalgebren 129
4.3.5 Semantik von Prozeßalgebren 131
4.3.5.1 Bisimulation 132
4.3.5.2 Strukturierte Operationale Semantik 133
5 Vergleich der Prozeßmodelle 136
5.1 Äquivalenz von Petrinetzen und Prozeßalgebra 136
5.1.1 Der Homomorphismus Prozeßalgebra = Petrinetz 136
5.1.2 Der Homomorphismus Petrinetz = Prozeßalgebra 141
5.2 Klassifikation der Prozeßmodelle 146
6 Geplante Prozesse 152
6.1 Vorgänge versus Aktionen 152
6.2 Prozesse in der Zukunft 153
7 Ressourcen 159
7.1 Ressourcen in Echtzeit-Betriebssystemen 159
7.2 Ressourcen in der Ablaufplanung 162
8 Zeit 176
8.1 Kontinuierliche Zeit 177
8.2 Diskrete, absolute Zeit 185
8.3 Diskrete, relative Zeit 192
8.4 Das Zeitmodul der Prozeßtheorie 198
9 Effiziente Optimierung auf der Basis der Prozeßtheorie 209
9.1 Die Basisheuristik A* 210
9.2 Heuristische Optimierung in der Prozeßtheorie 212
10 Zusammenfassung und Ausblick 222
10.1 Zusammenfassung 222
Inhalt 9
10.2 Ausblick 226
Literaturverzeichnis 230
Abkürzungs-und Symbolverzeichnis 248
Sachverzeichnis 256
|
| any_adam_object | 1 |
| author | Rittgen, Peter 1964- |
| author_GND | (DE-588)118153536 |
| author_facet | Rittgen, Peter 1964- |
| author_role | aut |
| author_sort | Rittgen, Peter 1964- |
| author_variant | p r pr |
| building | Verbundindex |
| bvnumber | BV011791540 |
| classification_rvk | QH 500 QP 542 |
| classification_tum | DAT 535d |
| ctrlnum | (OCoLC)40290054 (DE-599)BVBBV011791540 |
| discipline | Informatik Wirtschaftswissenschaften |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01941nam a2200469 c 4500</leader><controlfield tag="001">BV011791540</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19980806 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">980217s1998 gw a||| m||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">952935082</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3815426065</subfield><subfield code="c">kart. : ca. DM 65.00</subfield><subfield code="9">3-8154-2606-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)40290054</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011791540</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">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-N2</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QH 500</subfield><subfield code="0">(DE-625)141607:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QP 542</subfield><subfield code="0">(DE-625)141900:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 535d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Rittgen, Peter</subfield><subfield code="d">1964-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)118153536</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Prozeßtheorie der Ablaufplanung</subfield><subfield code="b">algebraische Modellierung von Prozessen, Ressourcenrestriktionen und Zeit</subfield><subfield code="c">von Peter Rittgen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stuttgart [u.a.]</subfield><subfield code="b">Teubner</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">260 S.</subfield><subfield code="b">Ill.</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">Teubner-Reihe Wirtschaftsinformatik</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Frankfurt/Main, Univ., Diss., 1998</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Ablaufplanung</subfield><subfield code="0">(DE-588)4122751-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prozess</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4235427-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prozessalgebra</subfield><subfield code="0">(DE-588)4283920-8</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">Ablaufplanung</subfield><subfield code="0">(DE-588)4122751-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Prozess</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4235427-4</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">Ablaufplanung</subfield><subfield code="0">(DE-588)4122751-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Prozessalgebra</subfield><subfield code="0">(DE-588)4283920-8</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">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=007960330&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-007960330</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV011791540 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:15:50Z |
| institution | BVB |
| isbn | 3815426065 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007960330 |
| oclc_num | 40290054 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-N2 DE-703 DE-473 DE-BY-UBG DE-20 DE-522 DE-83 DE-634 |
| owner_facet | DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-N2 DE-703 DE-473 DE-BY-UBG DE-20 DE-522 DE-83 DE-634 |
| physical | 260 S. Ill. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Teubner |
| record_format | marc |
| series2 | Teubner-Reihe Wirtschaftsinformatik |
| spelling | Rittgen, Peter 1964- Verfasser (DE-588)118153536 aut Prozeßtheorie der Ablaufplanung algebraische Modellierung von Prozessen, Ressourcenrestriktionen und Zeit von Peter Rittgen Stuttgart [u.a.] Teubner 1998 260 S. Ill. txt rdacontent n rdamedia nc rdacarrier Teubner-Reihe Wirtschaftsinformatik Zugl.: Frankfurt/Main, Univ., Diss., 1998 Ablaufplanung (DE-588)4122751-7 gnd rswk-swf Prozess Informatik (DE-588)4235427-4 gnd rswk-swf Prozessalgebra (DE-588)4283920-8 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Ablaufplanung (DE-588)4122751-7 s Prozess Informatik (DE-588)4235427-4 s DE-604 Prozessalgebra (DE-588)4283920-8 s HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007960330&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Rittgen, Peter 1964- Prozeßtheorie der Ablaufplanung algebraische Modellierung von Prozessen, Ressourcenrestriktionen und Zeit Ablaufplanung (DE-588)4122751-7 gnd Prozess Informatik (DE-588)4235427-4 gnd Prozessalgebra (DE-588)4283920-8 gnd |
| subject_GND | (DE-588)4122751-7 (DE-588)4235427-4 (DE-588)4283920-8 (DE-588)4113937-9 |
| title | Prozeßtheorie der Ablaufplanung algebraische Modellierung von Prozessen, Ressourcenrestriktionen und Zeit |
| title_auth | Prozeßtheorie der Ablaufplanung algebraische Modellierung von Prozessen, Ressourcenrestriktionen und Zeit |
| title_exact_search | Prozeßtheorie der Ablaufplanung algebraische Modellierung von Prozessen, Ressourcenrestriktionen und Zeit |
| title_full | Prozeßtheorie der Ablaufplanung algebraische Modellierung von Prozessen, Ressourcenrestriktionen und Zeit von Peter Rittgen |
| title_fullStr | Prozeßtheorie der Ablaufplanung algebraische Modellierung von Prozessen, Ressourcenrestriktionen und Zeit von Peter Rittgen |
| title_full_unstemmed | Prozeßtheorie der Ablaufplanung algebraische Modellierung von Prozessen, Ressourcenrestriktionen und Zeit von Peter Rittgen |
| title_short | Prozeßtheorie der Ablaufplanung |
| title_sort | prozeßtheorie der ablaufplanung algebraische modellierung von prozessen ressourcenrestriktionen und zeit |
| title_sub | algebraische Modellierung von Prozessen, Ressourcenrestriktionen und Zeit |
| topic | Ablaufplanung (DE-588)4122751-7 gnd Prozess Informatik (DE-588)4235427-4 gnd Prozessalgebra (DE-588)4283920-8 gnd |
| topic_facet | Ablaufplanung Prozess Informatik Prozessalgebra Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007960330&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT rittgenpeter prozeßtheoriederablaufplanungalgebraischemodellierungvonprozessenressourcenrestriktionenundzeit |