Time consistency adjustment algorithm of time Petri Net | IEEE Conference Publication | IEEE Xplore