TY - BOOK ID - 86043928 TI - Application and Theory of Petri Nets and Concurrency : 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings AU - Buchs, Didier AU - Carmona, Josep PY - 2021 SN - 3030769836 3030769828 PB - Cham : Springer International Publishing : Imprint: Springer, DB - UniCat KW - Petri nets KW - Computer science. KW - Algorithms. KW - Data structures (Computer science). KW - Information theory. KW - Computer science—Mathematics. KW - Discrete mathematics. KW - Software engineering. KW - Computer Science Logic and Foundations of Programming. KW - Design and Analysis of Algorithms. KW - Data Structures and Information Theory. KW - Discrete Mathematics in Computer Science. KW - Software Engineering. KW - Computer software engineering KW - Engineering KW - Discrete mathematical structures KW - Mathematical structures, Discrete KW - Structures, Discrete mathematical KW - Numerical analysis KW - Communication theory KW - Communication KW - Cybernetics KW - Information structures (Computer science) KW - Structures, Data (Computer science) KW - Structures, Information (Computer science) KW - Electronic data processing KW - File organization (Computer science) KW - Abstract data types (Computer science) KW - Algorism KW - Algebra KW - Arithmetic KW - Informatics KW - Science KW - Foundations KW - Xarxes de Petri KW - Arquitectura d'ordinadors UR - https://www.unicat.be/uniCat?func=search&query=sysid:86043928 AB - 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. ER -