Application and Theory of Petri Nets and Concurrency
47th International Conference, PETRI NETS 2026, Hamburg, Germany, June 22–26, 2026, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
This book constitutes the proceedings of the 47th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2026, held in Hamburg, Germany, during June 2026.
The 14 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The topics of accepted papers includes Parallel computing models, Abstract machines, Formal languages and automata theory.
Autor*in
Jörg Desel
Themen in »Application and Theory of Petri Nets and Concurrency«
Parallel computing models Abstract machines Computability Formal languages and automata theory Design and analysis of algorithms Modal and temporal logics Logic and verification Verification by model checking Software notations and tools Discrete mathematics Mathematical software Parallel architectures Networks Information systems Stochastic processes