Formal approach based on petri nets using agent paradigm for m-maintenance. - Khadija Abid; Leila Hayet Mouss; Okba Kazar; Laid Kahloul (Int. J. Crit. Comput. Based Syst., 2017)