Hướng dẫn sử dụng

Application and theory of petri nets and concurrency : 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings

Loại tài liệu: Tài liệu số - Book

Thông tin trách nhiệm: Kristensen, Lars M. (Lars Michael); Werf, Jan Martijn van de

Nhà Xuất Bản: Springer

Năm Xuất Bản: 2024

Chia sẻ

Tải ứng dụng tại các liên kết sau để xem đầy đủ tài liệu.

Tóm tắt

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.

Ngôn ngữ:en
Thông tin trách nhiệm:Kristensen, Lars M. (Lars Michael); Werf, Jan Martijn van de
Thông tin nhan đề:Application and theory of petri nets and concurrency : 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings
Nhà Xuất Bản:Springer
Loại hình:Book
Bản quyền:© The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2024
Mô tả vật lý:449 p.
Năm Xuất Bản:2024

(Sử dụng ứng dụng VNU- LIC quét QRCode này để mượn tài liệu)

(Lưu ý: Sử dụng ứng dụng Bookworm để xem đầy đủ tài liệu. Bạn đọc có thể tải Bookworm từ App Store hoặc Google play với từ khóa "VNU LIC”)

  • Chủ đề
TÀI NGUYÊN KHÁC