Citation:
Abid K, Mouss LH, KAZAR O, KAHLOUL L. Formal approach based on petri nets using agent paradigm for m-maintenance. International Journal of Critical Computer-Based SystemsInternational Journal of Critical Computer-Based Systems. 2017;7 :91-117.