Abstract: Liveness and boundedness are the two most important properties of the Petri nets, for the classic Petri nets, many scholars have done a lot of work and obtained satisfactory judging result, but for Petri Net with time factor, most literatures focus on con

Key words: Time Petri net, Liveness, Boundedness, Time interval, Sufficient and neccessory condition