Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Martin Steffen, Ingrid Chieh Yu. Translating Active Objects into Colored Petri Nets for Communication Analysis. In Mehdi Dastani, Marjan Sirjani, editors, Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers. Volume 10522 of Lecture Notes in Computer Science, pages 84-99, Springer, 2017. [doi]
Abstract is missing.