Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu. Using Coloured Petri Nets for Resource Analysis of Active Objects. In Kyungmin Bae, Peter Csaba Ölveczky, editors, Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings. Volume 11222 of Lecture Notes in Computer Science, pages 156-174, Springer, 2018. [doi]
Abstract is missing.