Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri netsAmmar Boucherit، Abdallah Khababa، Laura M. Castroالمجلّد 14، (4)، الصفحات 403-4182018مقال 5
