Boudiaf, N. , Djebbar, A.. "Towards an Automatic Translation of Colored Petri Nets to Maude Language". World Academy of Science, Engineering and Technology, Open Science Index 27, International Journal of Computer and Information Engineering, (2009), 3(3), 766 - 771.