Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets

Ammar Boucherit, Abdallah Khababa, Laura M. Castro. Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets. Multiagent and Grid Systems, 14(4):403-418, 2018. [doi]

Abstract

Abstract is missing.