| 书目名称 | Petrinetze, lineare Algebra und lineare Programmierung | | 副标题 | Analyse, Verifikatio | | 编辑 | Jörg Desel | | 视频video | | | 丛书名称 | Teubner Texte zur Informatik | | 图书封面 |  | | 描述 | 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. | | 出版日期 | Textbook 1998 | | 关键词 | Algebra; Algorithmen; Arbeit; Einheit; Fakten; Farkas Lemma; Komplexität; Markierungen; Matrix; Programmierun | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-322-95382-7 | | isbn_softcover | 978-3-8154-2312-7 | | isbn_ebook | 978-3-322-95382-7Series ISSN 1615-4584 | | issn_series | 1615-4584 | | copyright | Springer Fachmedien Wiesbaden 1998 |
The information of publication is updating
书目名称Petrinetze, lineare Algebra und lineare Programmierung影响因子(影响力)
书目名称Petrinetze, lineare Algebra und lineare Programmierung影响因子(影响力)学科排名
书目名称Petrinetze, lineare Algebra und lineare Programmierung网络公开度
书目名称Petrinetze, lineare Algebra und lineare Programmierung网络公开度学科排名
书目名称Petrinetze, lineare Algebra und lineare Programmierung被引频次
书目名称Petrinetze, lineare Algebra und lineare Programmierung被引频次学科排名
书目名称Petrinetze, lineare Algebra und lineare Programmierung年度引用
书目名称Petrinetze, lineare Algebra und lineare Programmierung年度引用学科排名
书目名称Petrinetze, lineare Algebra und lineare Programmierung读者反馈
书目名称Petrinetze, lineare Algebra und lineare Programmierung读者反馈学科排名
|
|
|
发表于 2025-3-21 17:50:08
