My El Hassan Charaf, Salma Azzouzi: A colored Petri-net model for control execution of distributed systems. CoDIT 2017: 277-282