Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systemsAmmar Boucherit, Laura M. Castro, Abdallah Khababa, Osman HasanMultiagent and Grid SystemsVolume 16، (1)، Pages 47-662020Article Accès fermé 8