Application and Theory of Petri Nets and Concurrency: 45th International Conference, Petri Nets 2024, Geneva, Switzerland, June 26-28, 2024, Proceedin

Kristensen, Lars Michael, Van Der Werf, Jan Martijn

  • 出版商: Springer
  • 出版日期: 2024-06-13
  • 售價: $3,300
  • 貴賓價: 9.5$3,135
  • 語言: 英文
  • 頁數: 446
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3031614321
  • ISBN-13: 9783031614323
  • 海外代購書籍(需單獨結帳)

相關主題

商品描述

This book constitutes the proceedings of the 45th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2024, held in Geneva, Switzerland, during June 26-28, 2024.

The 19 full papers and 2 invited papers included in this book were carefully reviewed and selected from 42 submissions. They were organized in topical sections as follows: Business Process Modelling and Mining, Semantics and Complexity, Reachability, Verification and Model Checking, Applications and Tools.

商品描述(中文翻譯)

本書為第45屆國際彼得網與併發應用與理論會議(PETRI NETS 2024)的會議紀錄,會議於2024年6月26日至28日在瑞士日內瓦舉行。

本書收錄的19篇完整論文和2篇邀請論文,經過仔細審查和選擇,來自42篇投稿。這些論文依主題分為以下幾個部分:業務流程建模與挖掘、語義與複雜性、可達性、驗證與模型檢查、應用與工具。

類似商品