Transactions on Petri Nets and Other Models of Concurrency XVIII
暫譯: 第十八屆佇列網及其他並發模型期刊
Kordon, Fabrice, Petrucci, Laure, Desel, Jörg
- 出版商: Springer
- 出版日期: 2026-07-17
- 售價: $3,350
- 貴賓價: 9.5 折 $3,182
- 語言: 英文
- 頁數: 381
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3662733048
- ISBN-13: 9783662733042
-
相關分類:
Algorithms-data-structures
海外代購書籍(需單獨結帳)
商品描述
The 18th volume of ToPNoC contains revised and extended contributions based on the lectures delivered during the 6th Advanced Course on Petri Nets, ACPN 2023.
The 7 lectures and 4 practical papers address topics such as modelling distributed systems; Petri Net essentials; semantics of concurrent systems; a method for synthesising Petri net models from given transition systems; the Reachability Problem in Petri nets; model checking timed and strategic properties; analysis and synthesis of subclasses of Petri nets; design decisions in process discovery; extracting event logs; application of coloured Petri nets for modelling software architecture; and Petri net model checking.
商品描述(中文翻譯)
《ToPNoC》第18卷包含基於2023年第六屆高級彼得里網課程（ACPN 2023）所發表講座的修訂和擴展貢獻。
這7場講座和4篇實務論文探討的主題包括：分散系統建模；彼得里網的基本概念；並行系統的語義；從給定的轉換系統合成彼得里網模型的方法；彼得里網中的可達性問題；時間和策略性屬性的模型檢查；彼得里網子類的分析與合成；流程發現中的設計決策；提取事件日誌；彩色彼得里網在軟體架構建模中的應用；以及彼得里網模型檢查。
