Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri netsAmmar Boucherit, Abdallah Khababa, Laura M. CastroVolume 14، (4)، Pages 403-4182018Article 5