Use of Petri Nets to Model the Maintenance of Multi Site Compagny