Entwicklungsumgebungen für verteilte Steueralgorithmen:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
1994
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Ilmenau, Techn. Univ., Diss., 1995 |
| Beschreibung: | 107 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010663198 | ||
| 003 | DE-604 | ||
| 005 | 19961001 | ||
| 007 | t | ||
| 008 | 960227s1994 gw d||| m||| 00||| ger d | ||
| 016 | 7 | |a 946316686 |2 DE-101 | |
| 035 | |a (OCoLC)614267963 | ||
| 035 | |a (DE-599)BVBBV010663198 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91 | ||
| 084 | |a DAT 516d |2 stub | ||
| 084 | |a DAT 150d |2 stub | ||
| 100 | 1 | |a Wendt, Almuth |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Entwicklungsumgebungen für verteilte Steueralgorithmen |c von Almuth Wendt |
| 264 | 1 | |c 1994 | |
| 300 | |a 107 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Ilmenau, Techn. Univ., Diss., 1995 | ||
| 650 | 0 | 7 | |a Verteilter Algorithmus |0 (DE-588)4200453-6 |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 Speicherprogrammierte Steuerung |0 (DE-588)4116559-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Speicherprogrammierte Steuerung |0 (DE-588)4116559-7 |D s |
| 689 | 0 | 1 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 0 | 2 | |a Verteilter Algorithmus |0 (DE-588)4200453-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007117677&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007117677 | |
Datensatz im Suchindex
| _version_ | 1807502687577571328 |
|---|---|
| adam_text |
INHALTSVERZEICHNIS
VORWORT
1.
EINLEITUNG
.
1
2.
ENTWURF
UND
IMPLEMENTIERUNG
VON
ALGORITHMEN
IN
DER
STEUERUNGSTECHNIK
.
4
2.1.
SPEICHERPROGRAMMIERBARE
STEUERUNGEN
(SPS)
.
4
2.2.
STEUERUNGEN
MIT
UNIVERSELLEN
PROZESSOREN
.
5
2.3.
VERNETZUNG
VON
STEUERUNGEN
.
7
2.4.
BESCHREIBUNGSMITTEL
.
8
2.4.1.
KONTAKTPLAN
.
9
2.4.2.
ANWEISUNGSLISTE
.
10
2.4.3.
FUNKTIONSPLAN
.
11
2.4.4.
STEUERNETZ
.
12
2.5.
ENTWICKLUNGSUMGEBUNG
UND
-METHODIK
FUER
SPS-ANWENDUNGEN
.
14
3.
NETZBASIERTE
MODELLIERUNG
VON
PROZESSEN
UND
PARALLELEN
STEUER
ALGORITHMEN
.
17
3.1.
PLATZ-TRANSITIONS-NETZE
(PN)
ALS
MITTEL
ZUM
STEUERUNGSENTWURF
.
17
3.2.
GRUNDLAGEN
ZU
GEFAERBTEN
NETZEN
(CPN)
.
20
3
3.
ANWENDUNG
DER
NETZKLASSEN
PN
UND
CPN
FUER
MASCHINEN
UND
ANLAGENSTEUERUNG
23
4.
FORMALISIERTE
BEHANDLUNG
VON
NETZMODELLEN
UNTERSCHIEDLICHER
ABSTRAKTIONSNIVEAUS
UND
DEREN
AUFTEILUNG
.
28
4.1.
ANWENDUNG
VON
GRAPHGRAMMATIK-BASIERTEN
WERKZEUGEN
ZUR
SYNTAXANALYSE
VON
STEUERNETZEN
.
28
4.1.1.
GRUNDLAGEN
ZU
GRAPHEN
UND
GRAPHGRAMMATIKEN
.
28
4.1.2.
INFERENZ
VON
GRAPHGRAMMATIKEN
.
31
4.1.3.
SYNTAXANALYSE
DER
GRAPHGRAMMATIKEN
.
33
4.1.4.
INFERENZ
EINER
GRAPHGRAMMATIK
FUER
STEUERNETZE
.
33
4.1.5.
SYNTAXANALYSE
DER
GRAPHGRAMMATIKEN
FUER
STEUEMETZE
.
42
4.1.6.
ANWENDUNG
VON
GRAPHGRAMMATIKEN
BEI
DER
ENTWICKLUNG
EINER
ENTWURFSUMGEBUNG
FUER
SPS
.
44
4.2.
ANWENDUNG
VON
GRAPHGRAMMATIKEN
ZUR
ENTFALTUNG
VON
GEFAIBTEN
NETZEN
.
44
4.2.1.
ERLAEUTERUNG
DES
GRUNDPRINZIPS
.
44
4.2.2.
VERALLGEMEINERUNG
DURCH
STRUKTURELLE
ERWEITERUNG
.
49
4.3.
MOEGLICHKEITEN
DER
KOPPLUNG
ZWISCHEN
PLATZ-TRANSITIONS-NETZEN
UND
GEFAERBTEN
NETZEN
.
53
5.
STEUERUNGSTECHNISCHE
INTERPRETATION
VON
PN
UND
CPN-ANALYSEN
.
63
5.1.
ANALYSIERBARE
EIGENSCHAFTEN
VON
PLATZ-TRANSITIONS-NETZEN
.
63
5.1.1.
ERREICHBARKEIT
.
63
5.1.2.
LEBENDIGKEIT
.
64
5.1.3.
KONFLIKTFREIHEIT
.
66
5.1.4.
SICHERHEIT
.
67
5.1
,5.RUECKSETZBARKEIT
.
68
5.2.
ANALYSIERBARE
EIGENSCHAFTEN
VON
GEFAERBTEN
NETZEN
.
68
5.3.
INTERPRETATION
DER
WICHTIGSTEN
EIGENSCHAFTEN
.
70
5.4.
ALGORITHMEN
UND
METHODEN
DER
VERBINDUNG
VON
ENTWURFS
UND
ANALYSETOOL
.
73
6.
IMPLEMENTIERUNG
VON
STEUCRUNGSTCCHNISCH
INTERPRETIERTEN
PETRI
NETZ-ENTWUERFEN
.
76
6.1.
SPEICHERPROGRAMMIERBARE
STEUERUNGEN
.
77
6.2.
VERTEILTE
STEUERUNGEN
.
83
6.3.
TEST
VON
SYSTEMATISCH
GENERIERTEN
STEUERUNGSPROGRAMMEN
AUF
NETZNIVEAU
.
93
6.3.1.
STEUERSPRACHE
UND
PLATZ-TRANSITIONS-NETZE
.
93
6.3.2.
STEUERSPRACHE
UND
GEFAERBTE
NETZE
.
95
7.
ZUSAMMENFASSUNG
UND
AUSBLICK
.
99
LITERATURVERZEICHNIS
.
103
ANLAGE
AL
PRODUKTIONEN
FUER
DIE
ENTFALTUNG
VON
GEFAERBTEN
NETZEN
MIT
EINER
VOR
BZW.
NACH
BEDINGUNG
A2
VERALLGEMEINERUNG
DER
REGELN
FUER
GEFAERBTE
NETZE
MIT
MAXIMAL
ZWEI
VOR
BZW.
NACH
BEDINGUNGEN
UND
ZWEI
FESTEN
FARBEN
A3
PRODUKTIONEN
FUER
STEUERNETZE
MIT
LINEAREN
ABFOLGEN
SOWIE
SIMULTAN
UND
ALTEMATIV
VERZWEIGUNGEN |
| any_adam_object | 1 |
| author | Wendt, Almuth |
| author_facet | Wendt, Almuth |
| author_role | aut |
| author_sort | Wendt, Almuth |
| author_variant | a w aw |
| building | Verbundindex |
| bvnumber | BV010663198 |
| classification_tum | DAT 516d DAT 150d |
| ctrlnum | (OCoLC)614267963 (DE-599)BVBBV010663198 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV010663198</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19961001</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960227s1994 gw d||| m||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">946316686</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)614267963</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010663198</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-91</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 516d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 150d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Wendt, Almuth</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Entwicklungsumgebungen für verteilte Steueralgorithmen</subfield><subfield code="c">von Almuth Wendt</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">107 S.</subfield><subfield code="b">graph. Darst.</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="500" ind1=" " ind2=" "><subfield code="a">Ilmenau, Techn. Univ., Diss., 1995</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verteilter Algorithmus</subfield><subfield code="0">(DE-588)4200453-6</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">Speicherprogrammierte Steuerung</subfield><subfield code="0">(DE-588)4116559-7</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">Speicherprogrammierte Steuerung</subfield><subfield code="0">(DE-588)4116559-7</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="2"><subfield code="a">Verteilter Algorithmus</subfield><subfield code="0">(DE-588)4200453-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=007117677&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007117677</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV010663198 |
| illustrated | Illustrated |
| indexdate | 2024-08-16T00:41:29Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007117677 |
| oclc_num | 614267963 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 107 S. graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| record_format | marc |
| spelling | Wendt, Almuth Verfasser aut Entwicklungsumgebungen für verteilte Steueralgorithmen von Almuth Wendt 1994 107 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Ilmenau, Techn. Univ., Diss., 1995 Verteilter Algorithmus (DE-588)4200453-6 gnd rswk-swf Petri-Netz (DE-588)4045388-1 gnd rswk-swf Speicherprogrammierte Steuerung (DE-588)4116559-7 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Speicherprogrammierte Steuerung (DE-588)4116559-7 s Petri-Netz (DE-588)4045388-1 s Verteilter Algorithmus (DE-588)4200453-6 s DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007117677&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Wendt, Almuth Entwicklungsumgebungen für verteilte Steueralgorithmen Verteilter Algorithmus (DE-588)4200453-6 gnd Petri-Netz (DE-588)4045388-1 gnd Speicherprogrammierte Steuerung (DE-588)4116559-7 gnd |
| subject_GND | (DE-588)4200453-6 (DE-588)4045388-1 (DE-588)4116559-7 (DE-588)4113937-9 |
| title | Entwicklungsumgebungen für verteilte Steueralgorithmen |
| title_auth | Entwicklungsumgebungen für verteilte Steueralgorithmen |
| title_exact_search | Entwicklungsumgebungen für verteilte Steueralgorithmen |
| title_full | Entwicklungsumgebungen für verteilte Steueralgorithmen von Almuth Wendt |
| title_fullStr | Entwicklungsumgebungen für verteilte Steueralgorithmen von Almuth Wendt |
| title_full_unstemmed | Entwicklungsumgebungen für verteilte Steueralgorithmen von Almuth Wendt |
| title_short | Entwicklungsumgebungen für verteilte Steueralgorithmen |
| title_sort | entwicklungsumgebungen fur verteilte steueralgorithmen |
| topic | Verteilter Algorithmus (DE-588)4200453-6 gnd Petri-Netz (DE-588)4045388-1 gnd Speicherprogrammierte Steuerung (DE-588)4116559-7 gnd |
| topic_facet | Verteilter Algorithmus Petri-Netz Speicherprogrammierte Steuerung Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007117677&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT wendtalmuth entwicklungsumgebungenfurverteiltesteueralgorithmen |