| 書目名稱 | Petrinetze | | 副標(biāo)題 | Eine Einführung | | 編輯 | Wolfgang Reisig | | 視頻video | http://file.papertrans.cn/746/745309/745309.mp4 | | 叢書名稱 | Studienreihe Informatik | | 圖書封面 |  | | 描述 | 1 d Petrinetze sind für den Entwurf und die Analyse nicht-sequentieller (paralleler) Prozesse und Systeme geeignet. Insbesondere im Hardware- und Software-Entwurf und in der Systemspezifikation werden sie erfolgreich angewendet. Das Buch führt in die grundlegenden Begriffe und Methoden des Gebietes ein. In drei Teilen werden Netze aus Bedingungen und Ereignissen, Stellen/Transitionen-Netze und schlie?lich Netze mit beliebigen (individuellen) Marken behandelt. Bei den Analysemethoden werden Fakten, Synchronieabst?nde und Invarianten ausführlich besprochen - also Methoden, die nicht auf sequentiellen Realisierungen paralleler Prozesse beruhen. Der dritte Teil behandelt den Fakten- und Invariantenkalkül für Pr?dikat/Ereignis-Netze. Das Buch gibt eine geschlossene, einheitliche Darstellung der Grundbegriffe und typischen Anwendungen der Netztheorie. Es bereitet den Leser darauf vor, Petrinetze angemessen anzuwenden und die Spezialliteratur zu lesen. | | 出版日期 | Textbook 1986Latest edition | | 關(guān)鍵詞 | Betriebssystem; E-Netz; Entwurf; Hardware; Klassen; Software; Systemanalyse | | 版次 | 2 | | doi | https://doi.org/10.1007/978-3-642-71275-3 | | isbn_softcover | 978-3-540-16622-1 | | isbn_ebook | 978-3-642-71275-3Series ISSN 1431-8792 | | issn_series | 1431-8792 | | copyright | Springer-Verlag Berlin Heidelberg 1986 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-20 05:12
發(fā)表于 2025-3-21 19:27:24
