Anastasia Gkolfi, Crystal Din, Einar Johnsen, Martin Steffen, Ingrid Yu. Translating Active Objects into Colored Petri Nets for Communication Analysis. Mehdi Dastani; Marjan Sirjani. 7th International Conference on Fundamentals of Software Engineering (FS
HAL Archives-Ouvertes,
Anastasia Gkolfi, Crystal Din, Einar Johnsen, Martin Steffen, Ingrid Yu. Translating Active Objects into Colored Petri Nets for…