Translating Active Objects Into Colored Petri Nets for Communication Analysis

Science of Computer Programming - Netherlands
doi 10.1016/j.scico.2019.04.002

Related search