Del 14628
Application and Theory of Petri Nets and Concurrency
Lars Michael Kristensen, Jan Martijn van der Werf
Häftad, 2024
909 kr
Application and Theory of Petri Nets and Concurrency
45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26–28, 2024, Proceedings
AvJan Martijn van der Werf,Lars Michael Kristensen
E-bok
Engelska, 20241 785 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
Beskrivning
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.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Transactions on Petri Nets and Other Models of Concurrency XIII
Wojciech Penczek, Lars Michael Kristensen, Maciej Koutny
E-bok
2018687 kr
Web Services, Formal Methods, and Behavioral Types
Matthias Weidlich, Jan Martijn van der Werf, Antonio Ravara, Thomas Hildebrandt
E-bok
2016619 kr
Transactions on Petri Nets and Other Models of Concurrency XIV
Maciej Koutny, Lucia Pomello, Lars Michael Kristensen
Häftad, 2019
543 kr
Transactions on Petri Nets and Other Models of Concurrency XIII
Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek
Häftad, 2018
543 kr
Del 9421
Web Services, Formal Methods, and Behavioral Types
Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich
Häftad, 2016
471 kr
Transactions on Petri Nets and Other Models of Concurrency XIV
Lars Michael Kristensen, Lucia Pomello, Maciej Koutny
E-bok
2019687 kr
- -19%
- -23%
- 4 för 3