Research ArticleOpen accessIn the keywordsA Petri Net Based Agent Behavioral TestingZina Houhamdi, Belkacem AthamenaIn Multi-Agent System (MAS), developers concentrate on creating design models and evolving them, from higher level models to lower level models, in several steps. Considerable part of MAS implementations is automatically produced from the design models. If a design model contains faults, they are passed to the generated implementations. Practical model validation techniques are required to discover and delete faults … …American Journal of Applied Sciences, Vol. 9, Issue 11 · 10 Sep 2012 · 6,682 accessesView PDFCite