| 書目名稱 | Entscheidbarkeit bei Petri Netzen | | 副標(biāo)題 | überblick und Kompen | | 編輯 | Harro Wimmel | | 視頻video | http://file.papertrans.cn/312/311886/311886.mp4 | | 概述 | Umfassendes Kompendium über Entscheidbarkeitsfragen bei Petrinetzen.Beweise sind durchweg auf gute Lesbarkeit ausgerichtet.Bietet einen exzellenten Einstieg und überblick über die Forschung auf dem Ge | | 叢書名稱 | eXamen.press | | 圖書封面 |  | | 描述 | .Petri Netze sind das meist beachtete und am besten untersuchte Modell für parallele Rechnungen und Stellen/Transitionennetze, die bekannteste und wichtigste Klasse von Petri Netzen. In diesem Buch werden erstmals systematisch alle wichtigen Fragen zur Entscheidbarkeit für klassische Stellen/Transitionennetze zusammengestellt und behandelt. Dazu geh?ren neben dem Erreichbarkeitsproblem weitere Fragen, die sich mit Markierungen und Sprachen von Petri Netzen befassen, wie z.B. Fragen nach der Erreichbarkeit von Mengen von Markierungen, der Reproduktion von Markierungen und verschiedenen Lebendigkeitsbegriffen, oder die Frage, ob die Sprache eines Petri Netzes z.B. leer, endlich, total, regul?r, gleich einer anderen Sprache ist. Dabei werden verschiedene klassische Sprach- und Akzeptanzmodelle von Petri Netzen in Betracht gezogen...über die üblichen Stellen/Transitionennetze hinaus werden einige Erweiterungen von Netzen in Bezug auf die Entscheidbarkeit von Erreichbarkeit, Beschr?nktheit und überdeckbarkeit beleuchtet. . | | 出版日期 | Textbook 2008 | | 關(guān)鍵詞 | Entscheidbar; Entscheidbarkeit; Erreichbarkeitsproblem; Informatik; Klasse; Mengen; Petri Netze; Petri-Netz | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-540-85471-5 | | isbn_ebook | 978-3-540-85471-5Series ISSN 1614-5216 | | issn_series | 1614-5216 | | copyright | Springer-Verlag Berlin Heidelberg 2008 |
The information of publication is updating
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-19 15:24
發(fā)表于 2025-3-21 16:11:49
