Application and Theory of Petri Nets and Concurrency : 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings / / edited by Luca Bernardinello, Laure Petrucci

• Pubblicazione: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022
• Edizione: 1st ed. 2022.
• Descrizione fisica: 1 online resource (398 pages)
• Disciplina: 511.3; 511.35
• Soggetto topico: Embedded computer systems; Computer science - Mathematics; Computer networks; Software engineering; Embedded Systems; Mathematics of Computing; Computer Communication Networks; Software Engineering
• Persona (resp. second.): BernardinelloLuca; PetrucciLaure
• Note generali: Description based upon print version of record.
• Nota di bibliografia: Includes bibliographical references and index.
• Sommario/riassunto: This book constitutes the proceedings of the 43rd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2022, which was held virtually in June 2021. The 19 full papers presented in this volume were carefully reviewed and selected from 35 submissions. The papers are categorized into the following topical sub-headings: application of concurrency to system design; timed models; tools; applications; synthesis; petri nets architecture; and process mining.
• Titolo autorizzato: Application and Theory of Petri Nets and Concurrency
• ISBN: 3-031-06653-7
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910574859703321
• Lo trovi qui: Univ. Federico II
• Serie: Lecture Notes in Computer Science, . 1611-3349 ; ; 13288