Application and Theory of Petri Nets and Concurrency: 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings (Lecture Notes in Computer Science)
暫譯: 彼得里網與併發的應用與理論：第39屆國際會議，PETRI NETS 2018，斯洛伐克布拉迪斯拉發，2018年6月24-29日，會議論文集（計算機科學講義）
- 出版商: Springer
- 出版日期: 2018-05-08
- 售價: $2,420
- 貴賓價: 9.5 折 $2,299
- 語言: 英文
- 頁數: 440
- 裝訂: Paperback
- ISBN: 3319912674
- ISBN-13: 9783319912677
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the proceedings of the 39th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2018, held in Bratislava, Slovakia, in June 2018. Petri Nets 2017 is co-located with the 19th International Conference on Application of Concurrency to System Design, ACSD 2018.
The 15 regular and 8 tool papers, with 1 invited talk presented together in this volume were carefully reviewed and selected from 33 submissions. The focus of the conference is on following topics: Petri Nets Synthesis; Analysis and Model Checking; Languages; Semantics and Expressiveness; and Tools.
商品描述(中文翻譯)
本書為第39屆國際彼得里網路與併發應用與理論會議（PETRI NETS 2018）的會議紀錄，該會議於2018年6月在斯洛伐克的布拉提斯拉瓦舉行。PETRI NETS 2018與第19屆國際併發應用於系統設計會議（ACSD 2018）同時舉辦。
本卷收錄了15篇常規論文和8篇工具論文，以及1篇邀請演講，這些論文均經過仔細審查和選擇，來自33篇投稿。會議的重點主題包括：彼得里網路合成；分析與模型檢查；語言；語義與表達能力；以及工具。
