Application and Theory of Petri Nets and Concurrency: 40th International Conference, Petri Nets 2019, Aachen, Germany, June 23-28, 2019, Proceedings
暫譯: 彼得里網與併發的應用與理論:第40屆國際會議,彼得里網2019,德國亞琛,2019年6月23日至28日,會議論文集
Donatelli, Susanna, Haar, Stefan
- 出版商: Springer
- 出版日期: 2019-05-31
- 售價: $2,420
- 貴賓價: 9.5 折 $2,299
- 語言: 英文
- 頁數: 471
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3030215709
- ISBN-13: 9783030215705
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the proceedings of the 40th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2019, held in Aachen, Germany, in June 2018. Petri Nets 2019 is co-located with the 19th International Conference on Application of Concurrency to System Design, ACSD 2019.
The 23 regular and 3 invited papers presented together in this volume were carefully reviewed and selected from 41 submissions. The focus of the conference is on following topics: Models, Tools, Synthesis, Semantics, Concurrent Processes, Algorithmic Aspects, Parametrics and Combinatorics, and Models with Extensions.
商品描述(中文翻譯)
本書為第40屆國際彼得里網與併發理論應用會議(PETRI NETS 2019)的會議紀錄,該會議於2018年6月在德國亞琛舉行。PETRI NETS 2019與第19屆併發應用於系統設計國際會議(ACSD 2019)同時舉辦。本卷中共收錄了23篇常規論文和3篇邀請論文,這些論文是從41篇投稿中經過仔細審查和選擇而來。會議的重點主題包括:模型、工具、合成、語義、併發過程、算法方面、參數化和組合學,以及擴展模型。