Verfügbarkeit: Petrinetze :: THWS Bibkatalog

Petrinetze: Modellierungstechnik, Analysemethoden, Fallstudien

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Reisig, Wolfgang 1950- (VerfasserIn)
Format:	Buch
Sprache:	German
Veröffentlicht:	Wiesbaden Vieweg + Teubner 2010
Ausgabe:	1. Aufl.
Schriftenreihe:	Leitfäden der Informatik
Schlagworte:	Petri-Netz
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	XVI, 246 S. graph. Darst.
ISBN:	9783834812902

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV036575227
003	DE-604
005	20100820
007	t
008	100720s2010 gw d\|\|\| \|\|\|\| 00\|\|\| ger d
015			\|a 10,N24 \|2 dnb
016	7		\|a 1003336353 \|2 DE-101
020			\|a 9783834812902 \|c GB. : EUR 29.95 \|9 978-3-8348-1290-2
024	3		\|a 9783834812902
035			\|a (OCoLC)660151425
035			\|a (DE-599)DNB1003336353
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger
044			\|a gw \|c XA-DE-HE
049			\|a DE-1050 \|a DE-523 \|a DE-11 \|a DE-91 \|a DE-92 \|a DE-858 \|a DE-83 \|a DE-634 \|a DE-384 \|a DE-29T \|a DE-473 \|a DE-522 \|a DE-898
082	0		\|a 004.0151135 \|2 22/ger
084			\|a ST 132 \|0 (DE-625)143589: \|2 rvk
084			\|a 004 \|2 sdnb
084			\|a DAT 516f \|2 stub
100	1		\|a Reisig, Wolfgang \|d 1950- \|e Verfasser \|0 (DE-588)120078422 \|4 aut
245	1	0	\|a Petrinetze \|b Modellierungstechnik, Analysemethoden, Fallstudien \|c Wolfgang Reisig
250			\|a 1. Aufl.
264		1	\|a Wiesbaden \|b Vieweg + Teubner \|c 2010
300			\|a XVI, 246 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Leitfäden der Informatik
650	0	7	\|a Petri-Netz \|0 (DE-588)4045388-1 \|2 gnd \|9 rswk-swf
689	0	0	\|a Petri-Netz \|0 (DE-588)4045388-1 \|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=020496250&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-020496250

Datensatz im Suchindex

_version_	1804143159412785152
adam_text	INHALTSVERZEICHNIS ZU DIESEM BUCH VII EINLEITUNG 1 MODELLIERUNGSTECHNIK 7 EIN BEISPIEL 9 1.1 EIN KEKSAUTOMAT 9 1.2 EIN BLICK INS INNERE 10 1.3 DIE SCHNITTSTELLE 11 1.4 HEISSE UND KALTE TRANSITIONEN 12 1.5 ABLAEUFE 13 1.6 ALTERNATIVEN 14 1.7 FEINSCHLIFF 15 1.8 VERSCHIEDENARTIGE KOMPONENTEN 17 DIE GRUNDLEGENDEN KONZEPTE 21 2.1 EINE VARIANTE DES KEKSAUTOMATEN 21 2.2 KOMPONENTEN EINES NETZES 22 2.3 DIE DATENSTRUKTUR FUER PETRINETZE: MULTIMENGEN 25 2.4 MARKIERUNGEN ALS MULTIMENGEN 26 2.5 SCHRITTE BEI KONSTANTER KANTENBESCHRIFTUNG 26 2.6 SCHRITTE BEI VARIABLER KANTENBESCHRIFTUNG 27 2.7 SYSTEMNETZE 30 2.8 MARKIERUNGSGRAPH 31 2.9 ENDMARKIERUNGEN 32 HAEUFIGER SPEZIALFALL: ELEMENTARE SYSTEMNETZE 35 3.1 ELEMENTARE SYSTEMNETZE 35 3.2 EIN ABSTRAKTES MODELL DES KEKSAUTOMATEN 36 3.3 WECHSELSEITIGER AUSSCHLUSS 37 3.4 DER CROSSTALK-ALGORITHMUS 39 3.5 1-BESCHRAENKTE ELEMENTARE SYSTEMNETZE 42 BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1003336353 DIGITALISIERT DURCH 4 SEQUENTIELLE UND VERTEILTE ABLAEUFE 47 4.1 SEQUENTIELLE ABLAEUFE 47 4.2 MARKEN ALS BESCHRIFTETE PLAETZE 49 4.3 AKTIONEN 50 4.4 VERTEILTE ABLAEUFE 51 4.5 BEISPIEL: EINE GLOCKEN-UHR 54 4.6 DAS KINDERGARTENSPIEL 56 4.7 KAUSALE ORDNUNG 58 4.8 DIE KOMPOSITION VERTEILTER ABLAEUFE 60 5 SZENARIENBASIERTE SYSTEMNETZE 65 5.1 DER BEGRIFF DES SZENARIOS 66 5.2 DIE SZENARIEN DES CROSSTALK-ALGORITHMUS 67 5.3 DIE SZENARIEN DES KEKSAUTOMATEN 68 6 ZUSAETZLICHE AUSDRUCKSMITTEL FUER ELEMENTARE SYSTEMNETZE 73 6.1 PLATZKAPAZITAETEN 73 6.2 KANTENGEWICHTE 74 6.3 ECHTE ERWEITERUNGEN 78 7 DAS SYNTHESEPROBLEM 81 7.1 BEISPIEL: DAS LICHT/LUEFTER-SYSTEM 81 7.2 DIE ALLGEMEINE FRAGESTELLUNG DES SYNTHESEPROBLEMS 83 7.3 REGIONEN VON ZUSTANDSAUTOMATEN 84 7.4 DAS SYSTEMNETZ EINES ZUSTANDSAUTOMATEN 86 7.5 DIE LOESUNG DES SYNTHESEPROBLEMS 87 7.6 DAS SYNTHESEPROBLEM DES LICHT/LUEFTER-ZUSTANDSAUTOMATEN 87 8 KOMPOSITION VON NETZEN 91 8.1 NETZE MIT INTERFACE 91 8.2 KOMMUNIZIERENDE NETZE 94 8.3 EINDEUTIGE DEKOMPOSITION IN OFFENE NETZE 95 13.3 DAS PRODUKT VON SUMMENAUSDRUECKEN 140 XILL // ANALYSEMETHODEN 99 9 ZUSTANDSEIGENSCHAFTEN 101 9.1 GLEICHUNGEN UND UNGLEICHUNGEN DES KEKSAUTOMATEN 101 9.2 GUELTIGE GLEICHUNGEN 104 9.3 BEISPIEL: FUENF PHILOSOPHEN 105 9.4 GUELTIGE UNGLEICHUNGEN 106 9.5 GLEICHUNGEN UND UNGLEICHUNGEN ELEMENTARER SYSTEMNETZE 107 9.6 MODULO-GLEICHUNGEN 109 9.7 AUSSAGENLOGISCH FORMULIERTE ZUSTANDSEIGENSCHAFTEN 110 10 FALLEN UND CO-FALLEN ELEMENTARER SYSTEMNETZE 117 10.1 FALLEN ELEMENTARER SYSTEMNETZE 117 10.2 CO-FALLEN 118 10.3 DIE FALLE/CO-FALLE-EIGENSCHAFT 119 11 PLATZINVARIANTEN ELEMENTARER SYSTEMNETZE 123 11.1 VEKTORDARSTELLUNG FUER ELEMENTARE SYSTEMNETZE 123 11.2 DIE MATRIX N 124 11.3 PLATZINVARIANTEN 125 11.4 POSITIVE PLATZINVARIANTEN 127 12 DIE KOMBINATION VON FALLEN UND PLATZINVARIANTEN ELEMENTARER SYSTEMNETZE 131 12.1 RECHNEN MIT GLEICHUNGEN UND UNGLEICHUNGEN 131 12.2 ZUSTANDSEIGENSCHAFTEN DES WECHSELSEITIGEN AUSSCHLUSSES 133 12.3 ZUSTANDSEIGENSCHAFTEN DES CROSSTALK-ALGORITHMUS 133 12.4 INSTABILE EIGENSCHAFTEN 135 13 FALLEN UND PLATZINVARIANTEN ALLGEMEINER SYSTEMNETZE 139 13.1 FALLEN EINES SYSTEMNETZES 139 13.2 SUMMENAUSDRUECKE 140 XIV 13.4 DIE ANWENDUNG EINES SUMMENAUSDRUCKS AUF EINE MULTIMENGE 141 13.5 DIE MATRIX N EINES SYSTEMNETZES N 142 13.6 DIE PLATZINVARIANTEN EINES SYSTEMNETZES 142 13.7 DIE KONSTANTE EINER PLATZINVARIANTEN 144 13.8 DIE GLEICHUNG EINER PLATZINVARIANTEN 144 13.9 EIGENSCHAFTEN DES PHILOSOPHENSYSTEMS 145 13.10 EIGENSCHAFTEN DES KINDERGARTENSPIELS 156 14 MARKIERUNGS- UND UEBERDECKUNGSGRAPHEN 151 14.1 AUS DEM ZUSTANDSGRAPHEN ABLEITBARE EIGENSCHAFTEN 151 14.2 DER UEBERDECKUNGSGRAPH: DIE IDEE 153 14.3 W-MARKIERUNGEN 154 14.4 DER UEBERDECKUNGSGRAPH: DIE KONSTRUKTION 155 14.5 DIE ENDLICHKEIT DES UEBERDECKUNGSGRAPHEN 156 14.6 DIE UEBERDECKUNG SEQUENTIELLER ABLAEUFE 157 14.7 SIMULTAN UNBESCHRAENKTE PLAETZE 158 14.8 TOTE TRANSITIONEN 159 14.9 UEBERDECKUNGSGRAPHEN ALLGEMEINER SYSTEMNETZE 159 15 ERREICHBARKEIT IN ELEMENTAREN SYSTEMNETZEN 161 15.1 FOLGERUNGEN AUS PLATZINVARIANTEN 162 15.2 DIE MARKIERUNGSGLEICHUNG 162 15.3 TRANSITIONSINVARIANTEN 164 16 ABLAUFEIGENSCHAFTEN 167 16.1 INTUITIVE FRAGESTELLUNG 167 16.2 DER BEGRIFF DER ABLAUFEIGENSCHAFT 168 16.3 DIE ABLESEREGEL 170 16.4 BEWEISGRAPHEN 174 17 ANALYSE DER FREE-CHOICE-NETZE 179 17.1 FREE-CHOICE-NETZE 179 17.2 DAS FALLE/CO-FALLE-THEOREM FUER FREE-CHOICE-NETZE 180 17.3 CLUSTER 181 17. 18 ANALYSE DER MARKIERTEN GRAPHEN 185 18.1 MARKIERTE GRAPHEN 185 18.2 LEBENDIGKEIT MARKIERTER GRAPHEN 186 18.3 1-BESCHRAENKTE MARKIERTE GRAPHEN 187 18.4 LEBENDIGKEIT 1-BESCHRAENKTER MARKIERTER GRAPHEN 187 19 WOHLGEFORMTE SYSTEMNETZE 191 19.1 BEISPIEL: MODELLE VON GESCHAEFTSPROZESSEN 191 19.2 WOHLGEFORMTE ELEMENTARE SYSTEMNETZE 192 19.3 ENTSCHEIDUNG DER WOHLGEFORMTHEIT 192 /// FALLSTUDIEN 195 20 WECHSELSEITIGER AUSSCHLUSS 197 20.1 DAS PROBLEM 197 20.2 REALISIERBARKEIT 198 20.3 FAIRNESS-ANNAHMEN 200 20.4 MUTEX MIT AUTONOMER FAIRNESS 201 20.5 DIE SZENARIEN DES ALGORITHMUS 202 20.6 KORREKTHEIT DES ALGORITHMUS 204 21 ASYNCHRONE HARDWARE 209 21.1 DER COUNTER FLOW PIPELINE-PROZESSOR (CFPP): DAS PROBLEM 209 21.2 DIE LOESUNGSIDEE 210 21.3 DAS SYNTHESEPROBLEM DES CFPP 212 21.4 STRUKTURELLE VEREINFACHUNG EINES MODULS 212 21.5 DAS MODELL DES CFPP 213 21.6 ANALYSE DES MODELLS 215 22 NETZWERK-ALGORITHMEN 217 22.1 EINIGE KONVENTIONEN ZUR DARSTELLUNG VON NETZWERK-ALGORITHMEN 218 22.2 DER ECHO-ALGORITHMUS 218 22.3 SYNCHRONISATION AUF AZYKLISCHEN NETZWERKEN 222 22.4 KONSENS IM NETZWERK 226 XVI IV ANHANG 231 23 SCHLUSSBETRACHTUNGEN 233 23.1 HISTORISCHES 233 23.2 EIGENSCHAFTEN DER ELEMENTAREN AUSDRUCKSMITTEL VON PETRINETZEN 233 23.3 SPEKULATIVE FRAGEN 235 23.4 PETRINETZE IM SOFTWARE-ENTWURF 236 23.5 BEZUG ZU ANDEREN SYSTEMMODELLEN UND ANALYSETECHNIKEN 237 23.6 ANDERE EINFUEHRENDE TEXTE 237 LITERATURVERZEICHNIS 239 BEISPIELE UND FALLSTUDIEN 243 MATHEMATISCHE SAETZE 244 INDEX 245
any_adam_object	1
author	Reisig, Wolfgang 1950-
author_GND	(DE-588)120078422
author_facet	Reisig, Wolfgang 1950-
author_role	aut
author_sort	Reisig, Wolfgang 1950-
author_variant	w r wr
building	Verbundindex
bvnumber	BV036575227
classification_rvk	ST 132
classification_tum	DAT 516f
ctrlnum	(OCoLC)660151425 (DE-599)DNB1003336353
dewey-full	004.0151135
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004.0151135
dewey-search	004.0151135
dewey-sort	14.0151135
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
edition	1. Aufl.
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01587nam a2200421 c 4500</leader><controlfield tag="001">BV036575227</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100820 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">100720s2010 gw d\|\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N24</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1003336353</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783834812902</subfield><subfield code="c">GB. : EUR 29.95</subfield><subfield code="9">978-3-8348-1290-2</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783834812902</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)660151425</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1003336353</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">XA-DE-HE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1050</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-898</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151135</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 132</subfield><subfield code="0">(DE-625)143589:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 516f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Reisig, Wolfgang</subfield><subfield code="d">1950-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)120078422</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Petrinetze</subfield><subfield code="b">Modellierungstechnik, Analysemethoden, Fallstudien</subfield><subfield code="c">Wolfgang Reisig</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Vieweg + Teubner</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 246 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="490" ind1="0" ind2=" "><subfield code="a">Leitfäden der 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="689" ind1="0" ind2="0"><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="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=020496250&sequence=000001&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-020496250</subfield></datafield></record></collection>
id	DE-604.BV036575227
illustrated	Illustrated
indexdate	2024-07-09T22:43:14Z
institution	BVB
isbn	9783834812902
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-020496250
oclc_num	660151425
open_access_boolean
owner	DE-1050 DE-523 DE-11 DE-91 DE-BY-TUM DE-92 DE-858 DE-83 DE-634 DE-384 DE-29T DE-473 DE-BY-UBG DE-522 DE-898 DE-BY-UBR
owner_facet	DE-1050 DE-523 DE-11 DE-91 DE-BY-TUM DE-92 DE-858 DE-83 DE-634 DE-384 DE-29T DE-473 DE-BY-UBG DE-522 DE-898 DE-BY-UBR
physical	XVI, 246 S. graph. Darst.
publishDate	2010
publishDateSearch	2010
publishDateSort	2010
publisher	Vieweg + Teubner
record_format	marc
series2	Leitfäden der Informatik
spelling	Reisig, Wolfgang 1950- Verfasser (DE-588)120078422 aut Petrinetze Modellierungstechnik, Analysemethoden, Fallstudien Wolfgang Reisig 1. Aufl. Wiesbaden Vieweg + Teubner 2010 XVI, 246 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Leitfäden der Informatik Petri-Netz (DE-588)4045388-1 gnd rswk-swf Petri-Netz (DE-588)4045388-1 s DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020496250&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Reisig, Wolfgang 1950- Petrinetze Modellierungstechnik, Analysemethoden, Fallstudien Petri-Netz (DE-588)4045388-1 gnd
subject_GND	(DE-588)4045388-1
title	Petrinetze Modellierungstechnik, Analysemethoden, Fallstudien
title_auth	Petrinetze Modellierungstechnik, Analysemethoden, Fallstudien
title_exact_search	Petrinetze Modellierungstechnik, Analysemethoden, Fallstudien
title_full	Petrinetze Modellierungstechnik, Analysemethoden, Fallstudien Wolfgang Reisig
title_fullStr	Petrinetze Modellierungstechnik, Analysemethoden, Fallstudien Wolfgang Reisig
title_full_unstemmed	Petrinetze Modellierungstechnik, Analysemethoden, Fallstudien Wolfgang Reisig
title_short	Petrinetze
title_sort	petrinetze modellierungstechnik analysemethoden fallstudien
title_sub	Modellierungstechnik, Analysemethoden, Fallstudien
topic	Petri-Netz (DE-588)4045388-1 gnd
topic_facet	Petri-Netz
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020496250&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT reisigwolfgang petrinetzemodellierungstechnikanalysemethodenfallstudien

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge