Application and Theory of Petri Nets and Concurrency: 46th International Conference, Petri Nets 2025, Paris, France, June 22-27, 2025, Proceedings
暫譯: 彼得里網與併發的應用與理論：第46屆國際會議，彼得里網2025，法國巴黎，2025年6月22日至27日，會議論文集

Name: Application and Theory of Petri Nets and Concurrency: 46th International Conference, Petri Nets 2025, Paris, France, June 22-27, 2025, Proceedings
Price: 3078 TWD
Availability: OnlineOnly
Author: Amparore, Elvio, Mikulski, Lukasz
ISBN: 3031946332

Amparore, Elvio, Mikulski, Lukasz

Application and Theory of Petri Nets and Concurrency: 46th International Conference, Petri Nets 2025, Paris, France, June 22-27, 2025, Proceedings

出版商: Springer
出版日期: 2025-06-08
售價: $3,240
貴賓價: 9.5 折 $3,078
語言: 英文
頁數: 502
裝訂: Quality Paper - also called trade paper
ISBN: 3031946332
ISBN-13: 9783031946332
相關分類: Algorithms-data-structures

海外代購書籍(需單獨結帳)

商品描述

This book constitutes the proceedings of the 46th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2025, held in Paris, France, during June 22-27, 2025. The 21 full papers and 1 short paper included in this book were carefully reviewed and selected from 48 submissions. They deal with topics such as composition and synthesis; workflow nets; process mining; model checking; communication & concurrency; timed and stochastic Petri nets; etc. The proceedings also include one invited talk in full paper length.

商品描述(中文翻譯)

本書為第46屆國際彼得里網與併發應用與理論會議（PETRI NETS 2025）的會議論文集，會議於2025年6月22日至27日在法國巴黎舉行。本書收錄的21篇完整論文和1篇短文均經過仔細審查和選擇，來自48篇投稿。這些論文涵蓋的主題包括組合與合成、工作流程網、流程挖掘、模型檢查、通信與併發、定時與隨機彼得里網等。會議論文集還包括一篇完整長度的邀請演講。