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

Sofia Kouah Djamel-Eddine Saïdouni Jean-Michel Ilié

Published in: J. Softw. (2013)

Keyphrases

petri net
formal specification
petri net model
high level petri nets
multi agent systems
high level
process algebra
cooperative
process model
specification language
colored petri nets
case study
discrete event systems
machine learning
knowledge representation
fuzzy petri net