| 書目名稱 | Petri-Netz-Methoden und -Werkzeuge | | 副標(biāo)題 | Hilfsmittel zur Entw | | 編輯 | M. Leszak,H. Eggert | | 視頻video | http://file.papertrans.cn/746/745302/745302.mp4 | | 叢書名稱 | Informatik-Fachberichte | | 圖書封面 |  | | 描述 | Petri-Netze und damit verwandte Systemmodelle sind zur Spezifikation, formalen Untersuchung und zur Simulation von Software in verschiedenen Phasen der Entwicklung komplexer Rechensysteme geeignet. In diesem Bericht werden 22 existierende Software-Werkzeuge (ohne Anspruch auf Vollst?ndigkeit) klassifiziert und bewertet, die jeweils eine Teilmenge der denkbaren Untersuchungsmethoden unterstützen, bzw. einen graphischen Editor zur Netzkonstruktion aufweisen. Klassifikation und Bewertung der Merkmale erfolgten mittels eines speziellen Beschreibungskatalogs. Dabei wird erstmals versucht, die wichtigsten Klassen von Petri-Netzen zu bestimmen. Der zweite Teil des Berichts beschreibt informell (an Hand eines Beispiels) und formal (Definition der verwendeten Netzklassen und aller darauf realisierten Analyseverfahren) das Petri-Netz-Werkzeug .PROVER. (.PR.edicate/Transition Net .O.riented .VER.ification System). Neben einer Bestandsaufnahme von Petri-Netz-Werkzeugen werden im Buch formale Spezifikationsverfahren mit h?heren Petri-Netzen in der Anwendung gezeigt, um einen formalen Zugang zu erm?glichen. | | 出版日期 | Book 1989 | | 關(guān)鍵詞 | Dokumentation; Entwurf; Klassen; Klassifikation; Simulation; System; Validierung; Verifikation | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-642-74363-4 | | isbn_softcover | 978-3-540-50642-3 | | isbn_ebook | 978-3-642-74363-4Series ISSN 0343-3005 | | issn_series | 0343-3005 | | copyright | Springer-Verlag Berlin Heidelberg 1989 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-21 00:13
發(fā)表于 2025-3-21 20:03:37
