A new approach to analyze the reachability of petri net and its use in maintenance | IEEE Conference Publication | IEEE Xplore