Application and Theory of Petri Nets and Concurrency: 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings

Didier Buchs, Josep Carmona

Informasi Dasar

55 kali
22.21.2318
005.1
Buku - Elektronik (E-Book)
Tel-U Gedung Manterawu Lantai 5 : Rak 2
Tel-U Purwokerto : Rak 1

This book constitutes the proceedings of the 42nd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2021, which was held virtually in June 2021. The 22 full papers presented together with 2 keynote papers in this volume were carefully reviewed and selected from 39 submissions. The focus of the conference is on the following topics: application of concurrency to system design; games; verification; synthesis and mining; reachability and partial order; semantics; and tools.

Subjek

ARTIFICIAL INTELLIGENCE
COMPUTER LOGIC,

Katalog

Application and Theory of Petri Nets and Concurrency: 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings
978-3-030-76983-3
487p.: pdf file.; 19.7 MB
English

Sirkulasi

Rp. 0
Rp. 0
Tidak

Pengarang

Didier Buchs, Josep Carmona
Perorangan
 
 

Penerbit

Springer Cham
Switzerland
2021

Koleksi

Kompetensi

 

Download / Flippingbook

 

Ulasan

Belum ada ulasan yang diberikan
anda harus sign-in untuk memberikan ulasan ke katalog ini