Two Sufficient and Neccessory Conditions of Time Petri Net Preserving Liveness and Boundedness
时间Petri网保持活性、有界性的两个充要条件

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 concrete application.Firstly,the basic concepts of Time Petri Net (TPN for short) are introduced in this paper.Then we show that TPN's liveness and boundedness behavior has no relation with its corresponding clas- sic Petri Net through some examples.Finally we give two sufficient and neccessory conditions in time interval of TPN preserving liveness and boundedness.It is easy to judge a TPN's liveness and boundedness according to our result.