Time consistency adjustment algorithm of time Petri Net. - Jun Tong; Jian-min Han; Teng-fang Guo (GrC, 2009)