Petrinetze, lineare Algebra und lineare Programmierung: Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Elektronisch E-Book |
Sprache: | German |
Veröffentlicht: |
Wiesbaden
Vieweg+Teubner Verlag
1998
|
Schriftenreihe: | TEUBNER-TEXTE zur Informatik
26 |
Schlagworte: | |
Online-Zugang: | Volltext |
Beschreibung: | Sehr viele Analyseverfahren für Petrinetze verwenden die Inzidenzmatrix eines Netzes, die eine Verhaltensbeschreibung durch linear-algebraische Verfahren erlaubt. Das Buch gibt eine Einführung in derartige Verfahren und beschreibt vollständig und übersichtlich den State-of-the-art in diesem Bereich. Neben einer neuen systematischen Darstellung bekannter Konzepte runden etliche neue Ergebnisse das Thema ab. Es wird deutlich, daß dynamische Eigenschaften eines netzmodellierten Systems eng zusammenhängen mit der Lösbarkeit bzw. mit Lösungen von Gleichungs- und Ungleichungssystemen.Dabei werden sowohl ganzzahlige als auch rationale Lösungen betrachtet. Eine Differenzierung von Analyse, Verifikation und Beweis führt zu entsprechenden Verfahren, die sich sowohl im Algorithmentyp als auch in ihrer Komplexität unterscheiden. - Zum Verständnis des Buches sind außer Kenntnissen der üblichen mathematischen Terminologie keine Voraussetzungen notwendig. Ein Grundverständnis der Petrinetze ist jedoch hilfreich. Alle im Buch verwendeten Konzepte werden sorgfältig motiviert und mit Hilfe von Beispielen illustriert |
Beschreibung: | 1 Online-Ressource (133S.) |
ISBN: | 9783322953827 9783815423127 |
ISSN: | 1615-4584 |
DOI: | 10.1007/978-3-322-95382-7 |
Internformat
MARC
LEADER | 00000nmm a2200000zcb4500 | ||
---|---|---|---|
001 | BV042431078 | ||
003 | DE-604 | ||
005 | 00000000000000.0 | ||
007 | cr|uuu---uuuuu | ||
008 | 150320s1998 |||| o||u| ||||||ger d | ||
020 | |a 9783322953827 |c Online |9 978-3-322-95382-7 | ||
020 | |a 9783815423127 |c Print |9 978-3-8154-2312-7 | ||
024 | 7 | |a 10.1007/978-3-322-95382-7 |2 doi | |
035 | |a (OCoLC)863940968 | ||
035 | |a (DE-599)BVBBV042431078 | ||
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 620 |2 23 | |
084 | |a TEC 000 |2 stub | ||
084 | |a DAT 000 |2 stub | ||
100 | 1 | |a Desel, Jörg |e Verfasser |4 aut | |
245 | 1 | 0 | |a Petrinetze, lineare Algebra und lineare Programmierung |b Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen |c von Jörg Desel |
264 | 1 | |a Wiesbaden |b Vieweg+Teubner Verlag |c 1998 | |
300 | |a 1 Online-Ressource (133S.) | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
490 | 0 | |a TEUBNER-TEXTE zur Informatik |v 26 |x 1615-4584 | |
500 | |a Sehr viele Analyseverfahren für Petrinetze verwenden die Inzidenzmatrix eines Netzes, die eine Verhaltensbeschreibung durch linear-algebraische Verfahren erlaubt. Das Buch gibt eine Einführung in derartige Verfahren und beschreibt vollständig und übersichtlich den State-of-the-art in diesem Bereich. Neben einer neuen systematischen Darstellung bekannter Konzepte runden etliche neue Ergebnisse das Thema ab. Es wird deutlich, daß dynamische Eigenschaften eines netzmodellierten Systems eng zusammenhängen mit der Lösbarkeit bzw. mit Lösungen von Gleichungs- und Ungleichungssystemen.Dabei werden sowohl ganzzahlige als auch rationale Lösungen betrachtet. Eine Differenzierung von Analyse, Verifikation und Beweis führt zu entsprechenden Verfahren, die sich sowohl im Algorithmentyp als auch in ihrer Komplexität unterscheiden. - Zum Verständnis des Buches sind außer Kenntnissen der üblichen mathematischen Terminologie keine Voraussetzungen notwendig. Ein Grundverständnis der Petrinetze ist jedoch hilfreich. Alle im Buch verwendeten Konzepte werden sorgfältig motiviert und mit Hilfe von Beispielen illustriert | ||
650 | 4 | |a Engineering | |
650 | 4 | |a Engineering, general | |
650 | 4 | |a Ingenieurwissenschaften | |
650 | 0 | 7 | |a Petri-Netz |0 (DE-588)4045388-1 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Lineare Algebra |0 (DE-588)4035811-2 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Analyse |0 (DE-588)4122795-5 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Lineare Optimierung |0 (DE-588)4035816-1 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Transitionssystem |0 (DE-588)4329099-1 |2 gnd |9 rswk-swf |
655 | 7 | |8 1\p |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
689 | 0 | 0 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
689 | 0 | 1 | |a Lineare Algebra |0 (DE-588)4035811-2 |D s |
689 | 0 | 2 | |a Lineare Optimierung |0 (DE-588)4035816-1 |D s |
689 | 0 | 3 | |a Transitionssystem |0 (DE-588)4329099-1 |D s |
689 | 0 | |8 2\p |5 DE-604 | |
689 | 1 | 0 | |a Lineare Optimierung |0 (DE-588)4035816-1 |D s |
689 | 1 | 1 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
689 | 1 | 2 | |a Analyse |0 (DE-588)4122795-5 |D s |
689 | 1 | |8 3\p |5 DE-604 | |
856 | 4 | 0 | |u https://doi.org/10.1007/978-3-322-95382-7 |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-027866409 | ||
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 | |
883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk |
Datensatz im Suchindex
_version_ | 1804153113746079744 |
---|---|
any_adam_object | |
author | Desel, Jörg |
author_facet | Desel, Jörg |
author_role | aut |
author_sort | Desel, Jörg |
author_variant | j d jd |
building | Verbundindex |
bvnumber | BV042431078 |
classification_tum | TEC 000 DAT 000 |
collection | ZDB-2-STI ZDB-2-BAD |
ctrlnum | (OCoLC)863940968 (DE-599)BVBBV042431078 |
dewey-full | 620 |
dewey-hundreds | 600 - Technology (Applied sciences) |
dewey-ones | 620 - Engineering and allied operations |
dewey-raw | 620 |
dewey-search | 620 |
dewey-sort | 3620 |
dewey-tens | 620 - Engineering and allied operations |
discipline | Technik Technik Informatik |
doi_str_mv | 10.1007/978-3-322-95382-7 |
format | Electronic eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03641nmm a2200637zcb4500</leader><controlfield tag="001">BV042431078</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1998 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783322953827</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-322-95382-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783815423127</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-8154-2312-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-322-95382-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863940968</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042431078</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">620</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">Desel, Jörg</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Petrinetze, lineare Algebra und lineare Programmierung</subfield><subfield code="b">Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen</subfield><subfield code="c">von Jörg Desel</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Vieweg+Teubner Verlag</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (133S.)</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="490" ind1="0" ind2=" "><subfield code="a">TEUBNER-TEXTE zur Informatik</subfield><subfield code="v">26</subfield><subfield code="x">1615-4584</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Sehr viele Analyseverfahren für Petrinetze verwenden die Inzidenzmatrix eines Netzes, die eine Verhaltensbeschreibung durch linear-algebraische Verfahren erlaubt. Das Buch gibt eine Einführung in derartige Verfahren und beschreibt vollständig und übersichtlich den State-of-the-art in diesem Bereich. Neben einer neuen systematischen Darstellung bekannter Konzepte runden etliche neue Ergebnisse das Thema ab. Es wird deutlich, daß dynamische Eigenschaften eines netzmodellierten Systems eng zusammenhängen mit der Lösbarkeit bzw. mit Lösungen von Gleichungs- und Ungleichungssystemen.Dabei werden sowohl ganzzahlige als auch rationale Lösungen betrachtet. Eine Differenzierung von Analyse, Verifikation und Beweis führt zu entsprechenden Verfahren, die sich sowohl im Algorithmentyp als auch in ihrer Komplexität unterscheiden. - Zum Verständnis des Buches sind außer Kenntnissen der üblichen mathematischen Terminologie keine Voraussetzungen notwendig. Ein Grundverständnis der Petrinetze ist jedoch hilfreich. Alle im Buch verwendeten Konzepte werden sorgfältig motiviert und mit Hilfe von Beispielen illustriert</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ingenieurwissenschaften</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">Lineare Algebra</subfield><subfield code="0">(DE-588)4035811-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Analyse</subfield><subfield code="0">(DE-588)4122795-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Lineare Optimierung</subfield><subfield code="0">(DE-588)4035816-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Transitionssystem</subfield><subfield code="0">(DE-588)4329099-1</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">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Lineare Algebra</subfield><subfield code="0">(DE-588)4035811-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Lineare Optimierung</subfield><subfield code="0">(DE-588)4035816-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Transitionssystem</subfield><subfield code="0">(DE-588)4329099-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="689" ind1="1" ind2="0"><subfield code="a">Lineare Optimierung</subfield><subfield code="0">(DE-588)4035816-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2="2"><subfield code="a">Analyse</subfield><subfield code="0">(DE-588)4122795-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">3\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-322-95382-7</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-027866409</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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\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.BV042431078 |
illustrated | Not Illustrated |
indexdate | 2024-07-10T01:21:27Z |
institution | BVB |
isbn | 9783322953827 9783815423127 |
issn | 1615-4584 |
language | German |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027866409 |
oclc_num | 863940968 |
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 (133S.) |
psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive ZDB-2-STI_1990/1999 |
publishDate | 1998 |
publishDateSearch | 1998 |
publishDateSort | 1998 |
publisher | Vieweg+Teubner Verlag |
record_format | marc |
series2 | TEUBNER-TEXTE zur Informatik |
spelling | Desel, Jörg Verfasser aut Petrinetze, lineare Algebra und lineare Programmierung Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen von Jörg Desel Wiesbaden Vieweg+Teubner Verlag 1998 1 Online-Ressource (133S.) txt rdacontent c rdamedia cr rdacarrier TEUBNER-TEXTE zur Informatik 26 1615-4584 Sehr viele Analyseverfahren für Petrinetze verwenden die Inzidenzmatrix eines Netzes, die eine Verhaltensbeschreibung durch linear-algebraische Verfahren erlaubt. Das Buch gibt eine Einführung in derartige Verfahren und beschreibt vollständig und übersichtlich den State-of-the-art in diesem Bereich. Neben einer neuen systematischen Darstellung bekannter Konzepte runden etliche neue Ergebnisse das Thema ab. Es wird deutlich, daß dynamische Eigenschaften eines netzmodellierten Systems eng zusammenhängen mit der Lösbarkeit bzw. mit Lösungen von Gleichungs- und Ungleichungssystemen.Dabei werden sowohl ganzzahlige als auch rationale Lösungen betrachtet. Eine Differenzierung von Analyse, Verifikation und Beweis führt zu entsprechenden Verfahren, die sich sowohl im Algorithmentyp als auch in ihrer Komplexität unterscheiden. - Zum Verständnis des Buches sind außer Kenntnissen der üblichen mathematischen Terminologie keine Voraussetzungen notwendig. Ein Grundverständnis der Petrinetze ist jedoch hilfreich. Alle im Buch verwendeten Konzepte werden sorgfältig motiviert und mit Hilfe von Beispielen illustriert Engineering Engineering, general Ingenieurwissenschaften Petri-Netz (DE-588)4045388-1 gnd rswk-swf Lineare Algebra (DE-588)4035811-2 gnd rswk-swf Analyse (DE-588)4122795-5 gnd rswk-swf Lineare Optimierung (DE-588)4035816-1 gnd rswk-swf Transitionssystem (DE-588)4329099-1 gnd rswk-swf 1\p (DE-588)4113937-9 Hochschulschrift gnd-content Petri-Netz (DE-588)4045388-1 s Lineare Algebra (DE-588)4035811-2 s Lineare Optimierung (DE-588)4035816-1 s Transitionssystem (DE-588)4329099-1 s 2\p DE-604 Analyse (DE-588)4122795-5 s 3\p DE-604 https://doi.org/10.1007/978-3-322-95382-7 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 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
spellingShingle | Desel, Jörg Petrinetze, lineare Algebra und lineare Programmierung Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen Engineering Engineering, general Ingenieurwissenschaften Petri-Netz (DE-588)4045388-1 gnd Lineare Algebra (DE-588)4035811-2 gnd Analyse (DE-588)4122795-5 gnd Lineare Optimierung (DE-588)4035816-1 gnd Transitionssystem (DE-588)4329099-1 gnd |
subject_GND | (DE-588)4045388-1 (DE-588)4035811-2 (DE-588)4122795-5 (DE-588)4035816-1 (DE-588)4329099-1 (DE-588)4113937-9 |
title | Petrinetze, lineare Algebra und lineare Programmierung Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen |
title_auth | Petrinetze, lineare Algebra und lineare Programmierung Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen |
title_exact_search | Petrinetze, lineare Algebra und lineare Programmierung Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen |
title_full | Petrinetze, lineare Algebra und lineare Programmierung Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen von Jörg Desel |
title_fullStr | Petrinetze, lineare Algebra und lineare Programmierung Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen von Jörg Desel |
title_full_unstemmed | Petrinetze, lineare Algebra und lineare Programmierung Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen von Jörg Desel |
title_short | Petrinetze, lineare Algebra und lineare Programmierung |
title_sort | petrinetze lineare algebra und lineare programmierung analyse verifikation und korrektheitsbeweise von systemmodellen |
title_sub | Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen |
topic | Engineering Engineering, general Ingenieurwissenschaften Petri-Netz (DE-588)4045388-1 gnd Lineare Algebra (DE-588)4035811-2 gnd Analyse (DE-588)4122795-5 gnd Lineare Optimierung (DE-588)4035816-1 gnd Transitionssystem (DE-588)4329099-1 gnd |
topic_facet | Engineering Engineering, general Ingenieurwissenschaften Petri-Netz Lineare Algebra Analyse Lineare Optimierung Transitionssystem Hochschulschrift |
url | https://doi.org/10.1007/978-3-322-95382-7 |
work_keys_str_mv | AT deseljorg petrinetzelinearealgebraundlineareprogrammierunganalyseverifikationundkorrektheitsbeweisevonsystemmodellen |