Towards a diagnosability technique of P-time Petri nets systems | IEEE Conference Publication | IEEE Xplore