Formal approach based on petri nets using agent paradigm for m-maintenance