Maxim Storetvedt, Latchezar Betev, Nikola Hardi, Håvard Helstrup, Kristin Fanebust Hetland, Bjarte Kileng. Modelling the Next Generation ALICE Grid Middleware Using Coloured Petri Nets. In Luca Bernardinello, Laure Petrucci, editors, Application and Theory of Petri Nets and Concurrency - 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, Proceedings. Volume 13288 of Lecture Notes in Computer Science, pages 195-210, Springer, 2022. [doi]
Abstract is missing.