Translating Active Objects into Colored Petri Nets for Communication Analysis. - Anastasia Gkolfi; Crystal Chang Din; Einar Broch Johnsen; Martin Steffen; Ingrid Chieh Yu (FSEN, 2017)

Using Coloured Petri Nets for Resource Analysis of Active Objects. - Anastasia Gkolfi; Einar Broch Johnsen; Lars Michael Kristensen; Ingrid Chieh Yu (FACS, 2018)

Translating active objects into colored Petri nets for communication analysis. - Anastasia Gkolfi; Crystal Chang Din; Einar Broch Johnsen; Lars Michael Kristensen; Martin Steffen; Ingrid Chieh Yu (Sci. Comput. Program., 2019)

Model Checking Starvation for Resource-aware Active Objects with Coloured Petri Nets. - Anastasia Gkolfi; Einar Broch Johnsen; Lars Michael Kristensen; Ingrid Chieh Yu (PNSE@Petri Nets, 2020)