S. Kerraoui, Y. Kissoum, M. Redjimi, and M. Saker, “MATT: Multi Agents Testing Tool Based Nets within Nets”, J. inf. organ. sci. (Online), vol. 40, no. 2, Dec. 2016.