From a Functional Graph to a T-Timed Petri Nets Model for the diagnosis of Complex System