@article {64580,
	title = {Formal approach based on petri nets using agent paradigm for m-maintenance},
	journal = {International Journal of Critical Computer-Based SystemsInternational Journal of Critical Computer-Based Systems},
	volume = {7},
	year = {2017},
	month = {2017},
	pages = {91-117},
	isbn = {1757-8779},
	author = {Abid, Khadija and Leila Hayet Mouss and Okba KAZAR and KAHLOUL, Laid}
}
