Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Lars Michael Kristensen, Martin Steffen, Ingrid Chieh Yu. Translating active objects into colored Petri nets for communication analysis. Science of Computer Programming, 181:1-26, 2019. [doi]
Abstract is missing.