Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems | Publicación