Synchronized Petri Net: A Formal Specification Model for Multi Agent Systems

Sofia Kouah, Djamel-Eddine Saïdouni, Jean-Michel Ilié. Synchronized Petri Net: A Formal Specification Model for Multi Agent Systems. JSW, 8(3):587-602, 2013. [doi]

Abstract

Abstract is missing.