Verfügbarkeit: Petri-Netze | Technische Universität München

Petri-Netze:

Gespeichert in:

Bibliographische Detailangaben
Vorheriger Titel:	Priese, Lutz Theoretische Informatik Petri-Netze
Beteiligte Personen:	Priese, Lutz 1947- (VerfasserIn), Wimmel, Harro 1967- (VerfasserIn)
Format:	Buch
Sprache:	Deutsch
Veröffentlicht:	Berlin [u.a.] Springer 2008
Ausgabe:	2. Aufl.
Schlagwörter:	Petri-Netz Formale Sprache Berechenbarkeit Interleaving Erreichbarkeit Nebenläufigkeit Entscheidbarkeit
Links:	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016381146&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Beschreibung:	Auch als Internetausgabe
Umfang:	IX, 374 S. Ill., graph. Darst.
ISBN:	3540769706 9783540769705

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV023194817
003	DE-604
005	20181121
007	t\|
008	080303s2008 gw ad\|\| \|\|\|\| 00\|\|\| ger d
016	7		\|a 987805193 \|2 DE-101
020			\|a 3540769706 \|9 3-540-76970-6
020			\|a 9783540769705 \|9 978-3-540-76970-5
035			\|a (OCoLC)229449979
035			\|a (DE-599)BVBBV023194817
040			\|a DE-604 \|b ger \|e rakwb
041	0		\|a ger
044			\|a gw \|c XA-DE-BE
049			\|a DE-29T \|a DE-1051 \|a DE-1050 \|a DE-20 \|a DE-898 \|a DE-824 \|a DE-521 \|a DE-91G \|a DE-523 \|a DE-860 \|a DE-634 \|a DE-83 \|a DE-11 \|a DE-19 \|a DE-2070s
082	0		\|a 004.0151135 \|2 22/ger
084			\|a ST 130 \|0 (DE-625)143588: \|2 rvk
084			\|a ST 132 \|0 (DE-625)143589: \|2 rvk
084			\|a DAT 516f \|2 stub
084			\|a 510 \|2 sdnb
084			\|a 004 \|2 sdnb
100	1		\|a Priese, Lutz \|d 1947- \|e Verfasser \|0 (DE-588)13599697X \|4 aut
245	1	0	\|a Petri-Netze \|c Lutz Priese ; Harro Wimmel
250			\|a 2. Aufl.
264		1	\|a Berlin [u.a.] \|b Springer \|c 2008
300			\|a IX, 374 S. \|b Ill., graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
500			\|a Auch als Internetausgabe
650	0	7	\|a Petri-Netz \|0 (DE-588)4045388-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Formale Sprache \|0 (DE-588)4017848-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Berechenbarkeit \|0 (DE-588)4138368-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Interleaving \|0 (DE-588)4603410-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Erreichbarkeit \|0 (DE-588)4334087-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Nebenläufigkeit \|0 (DE-588)4115352-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Entscheidbarkeit \|0 (DE-588)4152398-2 \|2 gnd \|9 rswk-swf
689	0	0	\|a Petri-Netz \|0 (DE-588)4045388-1 \|D s
689	0		\|5 DE-604
689	1	0	\|a Petri-Netz \|0 (DE-588)4045388-1 \|D s
689	1	1	\|a Nebenläufigkeit \|0 (DE-588)4115352-2 \|D s
689	1		\|5 DE-604
689	2	0	\|a Petri-Netz \|0 (DE-588)4045388-1 \|D s
689	2	1	\|a Formale Sprache \|0 (DE-588)4017848-1 \|D s
689	2		\|5 DE-604
689	3	0	\|a Petri-Netz \|0 (DE-588)4045388-1 \|D s
689	3	1	\|a Interleaving \|0 (DE-588)4603410-9 \|D s
689	3		\|5 DE-604
689	4	0	\|a Petri-Netz \|0 (DE-588)4045388-1 \|D s
689	4	1	\|a Berechenbarkeit \|0 (DE-588)4138368-0 \|D s
689	4	2	\|a Erreichbarkeit \|0 (DE-588)4334087-8 \|D s
689	4	3	\|a Entscheidbarkeit \|0 (DE-588)4152398-2 \|D s
689	4		\|5 DE-604
700	1		\|a Wimmel, Harro \|d 1967- \|e Verfasser \|0 (DE-588)17336621X \|4 aut
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-540-76971-2
780	0	0	\|i Früher u.d.T. \|a Priese, Lutz \|t Theoretische Informatik Petri-Netze
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=016381146&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-016381146

Datensatz im Suchindex

DE-BY-TUM_call_number	0104 DAT 516f 2001 A 27893(2) 0303 DAT 717f 2009 L 327(2)
DE-BY-TUM_katkey	1680415
DE-BY-TUM_location	01 03
DE-BY-TUM_media_number	040010148880 040071230878 040071230834 040071230845 040071230856 040071230867
_version_	1821933620512686081
adam_text	Inhaltsverzeichnis 1. Einleitung 1 1.1 Sequentielle Rechnungen 1 1.2 Parallele Rechnungen 12 1.3 Nebenläufige Rechnungen 19 2. Mathematische Grundlagen 27 2.1 Mengen und Relationen 27 2.2 Graphen und Bäume 29 2.3 Ringe und Körper 33 2.4 Erweiterte natürliche Zahlen 36 2.5 Sprachen und Sprachoperationen 38 2.6 Maschinen und Komplexität 41 Teil I. Interleaving Verhalten von Petri-Netzen 3. Grundlegende Eigenschaften 49 3.1 Petri-Netze 49 3.2 Der Feuerbegriff 51 3.2.1 Transitionssysteme 52 3.2.2 Hürde und Zustand.swechsel 55 3.2.3 Alternative Petri-Netz-Modelle 58 3.2.4 Erreichbare Markierungen 63 3.2.5 Erreichbarkeits- und Überdeckungsgraphen 64 3.2.6 Reverse Petri-Netze 77 3.3 Invarianten, Lebendigkeit, Sicherheit 79 3.3.1 Invarianten 79 3.3.2 Beschränkte Petri-Netze und Sicherheit 82 3.3.3 Lebendigkeit 85 3.3.4 Einige notwendige Kriterien zur Erreichbarkeit von Markierungen 90 VIII Inhaltsverzeichnis 4. Die Entscheidbarkeit der Erreichbarkeit 93 4.1 Zum Erreichbarkeitsproblem EP 93 4.2 Lineare Gleichungssysteme über Z 94 4.3 Gesteuerte Überdeckungsgraphen und Keime 96 4.4 Die Charakteristische Gleichung 105 4.5 Perfekte Keim-Transition-Folgen 108 4.6 Dekomposition in perfekte Keim-Transition-Folgen 112 5. Berechenbarkeit, Erreichbarkeit, Erzeugbarkeit 119 5.1 Varianten des Erreichbarkeitsproblems 119 5.1.1 Komplexität von Petri-Netzen 119 5.1.2 Varianten des Erreichbarkeitsproblems (EP) 120 5.1.3 Varianten des Lebendigkeitsproblems (LP) 123 5.1.4 Der Zusammenhang EP - LP 126 5.2 Schwache PN-Berechenbarkeit 131 5.2.1 Addition und Multiplikation 134 5.2.2 Die Ackermann-Funktion 137 5.2.3 Komplexität von Überdeckungsgraphen 142 5.2.4 Schwache Graphen 143 5.3 Das Petri-Netz-Gleichheitsproblem 144 5.4 Starke PN-Berechenbarkeit 155 5.4.1 Inhibitorische PN und PN mit Prioritäten 165 5.4.2 Beschränkte Simulation von Registermaschinen 168 6. Petri-Netz-Sprachen 189 6.1 Grundlagen 189 6.1.1 Gleichheit von Petri-Netz-Sprachen 191 6.1.2 Normalformen für Petri-Netze 196 6.2 Abschlußeigenschaften 203 6.2.1 Shuffle, Vereinigung, Konkatenation 206 6.2.2 Durchschnitt und Synchronisation 210 6.2.3 Homomorphismen 215 6.2.4 Inverse Homomorphismen 217 6.3 Algebraische Sprachcharakterisierung 220 6.3.1 Restriktion 220 6.3.2 Sprachen elementarer Netze 224 6.3.3 Freie Petri-Netz-Sprachen 230 6.4 Gegenbeispiele zu Petri-Netz-Sprachen 238 Inhaltsverzeichnis IX Teil II. True-Concurrency Verhalten von Petri-Netzen 7. Pomset- und Stepsprachen 243 7.1 Pomsets und Steps 243 7.1.1 Stepsprachen 246 7.1.2 Pomsetsprachen 252 7.1.3 Prozesse und Pomsetsprachen von Petri-Netzen 256 7.2 Abschlußeigenschaften 268 7.2.1 Normalform 269 7.2.2 Verallgemeinerbare Operationen 272 7.2.3 Vereinigung und Konkatenation 273 7.2.4 Synchronisation und abgeleitete Operationen 274 7.2.5 Homomorphismen 287 8. Algebraische Charakterisierungen 291 8.1 Kompositionale Semantiken und Algebren 291 8.1.1 Grundlagen kompositionaler Semantiken 291 8.1.2 Ein Basiskalkül für Petri-Netze 295 8.1.3 Petri-Netze mit Interface 302 8.1.4 Spezielle Kalküle für Petri-Netze 305 8.1.5 Ein universeller Kontext 309 8.2 Konkrete Semantiken 311 8.2.1 Zwei kompositionale Pomsetsemantiken 311 8.2.2 Abgeleitete kompositionale Semantiken 323 8.3 Algebraische Charakterisierungen 331 8.3.1 Terminale Sprachen 331 8.3.2 Nicht-terminale Sprachen 336 A. Lineare Gleichungssysteme über Z 341 B. Bibliographische Hinweise 357 Literaturverzeichnis 361 Sachverzeichnis 367
any_adam_object	1
author	Priese, Lutz 1947- Wimmel, Harro 1967-
author_GND	(DE-588)13599697X (DE-588)17336621X
author_facet	Priese, Lutz 1947- Wimmel, Harro 1967-
author_role	aut aut
author_sort	Priese, Lutz 1947-
author_variant	l p lp h w hw
building	Verbundindex
bvnumber	BV023194817
classification_rvk	ST 130 ST 132
classification_tum	DAT 516f
ctrlnum	(OCoLC)229449979 (DE-599)BVBBV023194817
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 Mathematik
edition	2. Aufl.
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02828nam a2200709 c 4500</leader><controlfield tag="001">BV023194817</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20181121 </controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">080303s2008 gw ad\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">987805193</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540769706</subfield><subfield code="9">3-540-76970-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540769705</subfield><subfield code="9">978-3-540-76970-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)229449979</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV023194817</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</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-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-2070s</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 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</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">DAT 516f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Priese, Lutz</subfield><subfield code="d">1947-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)13599697X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Petri-Netze</subfield><subfield code="c">Lutz Priese ; Harro Wimmel</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 374 S.</subfield><subfield code="b">Ill., 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">Auch als Internetausgabe</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">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Interleaving</subfield><subfield code="0">(DE-588)4603410-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Erreichbarkeit</subfield><subfield code="0">(DE-588)4334087-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Entscheidbarkeit</subfield><subfield code="0">(DE-588)4152398-2</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="689" ind1="1" 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="1" ind2="1"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2="1"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" 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="3" ind2="1"><subfield code="a">Interleaving</subfield><subfield code="0">(DE-588)4603410-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" 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="4" ind2="1"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2="2"><subfield code="a">Erreichbarkeit</subfield><subfield code="0">(DE-588)4334087-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2="3"><subfield code="a">Entscheidbarkeit</subfield><subfield code="0">(DE-588)4152398-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wimmel, Harro</subfield><subfield code="d">1967-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)17336621X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-540-76971-2</subfield></datafield><datafield tag="780" ind1="0" ind2="0"><subfield code="i">Früher u.d.T.</subfield><subfield code="a">Priese, Lutz</subfield><subfield code="t">Theoretische Informatik Petri-Netze</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=016381146&sequence=000002&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-016381146</subfield></datafield></record></collection>
id	DE-604.BV023194817
illustrated	Illustrated
indexdate	2024-12-20T13:10:21Z
institution	BVB
isbn	3540769706 9783540769705
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-016381146
oclc_num	229449979
open_access_boolean
owner	DE-29T DE-1051 DE-1050 DE-20 DE-898 DE-BY-UBR DE-824 DE-521 DE-91G DE-BY-TUM DE-523 DE-860 DE-634 DE-83 DE-11 DE-19 DE-BY-UBM DE-2070s
owner_facet	DE-29T DE-1051 DE-1050 DE-20 DE-898 DE-BY-UBR DE-824 DE-521 DE-91G DE-BY-TUM DE-523 DE-860 DE-634 DE-83 DE-11 DE-19 DE-BY-UBM DE-2070s
physical	IX, 374 S. Ill., graph. Darst.
publishDate	2008
publishDateSearch	2008
publishDateSort	2008
publisher	Springer
record_format	marc
spellingShingle	Priese, Lutz 1947- Wimmel, Harro 1967- Petri-Netze Petri-Netz (DE-588)4045388-1 gnd Formale Sprache (DE-588)4017848-1 gnd Berechenbarkeit (DE-588)4138368-0 gnd Interleaving (DE-588)4603410-9 gnd Erreichbarkeit (DE-588)4334087-8 gnd Nebenläufigkeit (DE-588)4115352-2 gnd Entscheidbarkeit (DE-588)4152398-2 gnd
subject_GND	(DE-588)4045388-1 (DE-588)4017848-1 (DE-588)4138368-0 (DE-588)4603410-9 (DE-588)4334087-8 (DE-588)4115352-2 (DE-588)4152398-2
title	Petri-Netze
title_auth	Petri-Netze
title_exact_search	Petri-Netze
title_full	Petri-Netze Lutz Priese ; Harro Wimmel
title_fullStr	Petri-Netze Lutz Priese ; Harro Wimmel
title_full_unstemmed	Petri-Netze Lutz Priese ; Harro Wimmel
title_old	Priese, Lutz Theoretische Informatik Petri-Netze
title_short	Petri-Netze
title_sort	petri netze
topic	Petri-Netz (DE-588)4045388-1 gnd Formale Sprache (DE-588)4017848-1 gnd Berechenbarkeit (DE-588)4138368-0 gnd Interleaving (DE-588)4603410-9 gnd Erreichbarkeit (DE-588)4334087-8 gnd Nebenläufigkeit (DE-588)4115352-2 gnd Entscheidbarkeit (DE-588)4152398-2 gnd
topic_facet	Petri-Netz Formale Sprache Berechenbarkeit Interleaving Erreichbarkeit Nebenläufigkeit Entscheidbarkeit
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016381146&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT prieselutz petrinetze AT wimmelharro petrinetze

Verfügbarkeit

Bestellen (Login erforderlich)

Inhaltsverzeichnis
Paper/Kapitel scannen lassen

Teilbibliothek Mathematik & Informatik

Bestandsangaben von Teilbibliothek Mathematik & Informatik
Signatur:	0104 DAT 516f 2001 A 27893(2) Lageplan
Exemplar 1	Nicht ausleihbar Am Standort

Teilbibliothek Chemie, Lehrbuchsammlung

Bestandsangaben von Teilbibliothek Chemie, Lehrbuchsammlung
Signatur:	0303 DAT 717f 2009 L 327(2) Lageplan
Exemplar 1	Ausleihbar Am Standort
Exemplar 2	Ausleihbar Am Standort
Exemplar 3	Ausleihbar Am Standort
Exemplar 4	Ausleihbar Am Standort
Exemplar 5	Ausleihbar Am Standort