| 書目名稱 | Petrinetze, lineare Algebra und lineare Programmierung | | 副標題 | Analyse, Verifikatio | | 編輯 | J?rg Desel | | 視頻video | http://file.papertrans.cn/746/745312/745312.mp4 | | 叢書名稱 | 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 | | 關(guān)鍵詞 | 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影響因子(影響力)學(xué)科排名
書目名稱Petrinetze, lineare Algebra und lineare Programmierung網(wǎng)絡(luò)公開度
書目名稱Petrinetze, lineare Algebra und lineare Programmierung網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Petrinetze, lineare Algebra und lineare Programmierung被引頻次
書目名稱Petrinetze, lineare Algebra und lineare Programmierung被引頻次學(xué)科排名
書目名稱Petrinetze, lineare Algebra und lineare Programmierung年度引用
書目名稱Petrinetze, lineare Algebra und lineare Programmierung年度引用學(xué)科排名
書目名稱Petrinetze, lineare Algebra und lineare Programmierung讀者反饋
書目名稱Petrinetze, lineare Algebra und lineare Programmierung讀者反饋學(xué)科排名
|
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-1-25 12:42
發(fā)表于 2025-3-21 17:50:08
