Benjamin Bogø, Andrea Burattin, Alceste Scalas. Encoding Petri Nets into CCS. In Ilaria Castellani, Francesco Tiezzi 0001, editors, Coordination Models and Languages - 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings. Volume 14676 of Lecture Notes in Computer Science, pages 38-55, Springer, 2024. [doi]
Abstract is missing.