%0 Journal Article
%T Two Sufficient and Neccessory Conditions of Time Petri Net Preserving Liveness and Boundedness<br>时间Petri网保持活性、有界性的两个充要条件
%A ZHAI Zheng-Li
%A WU Zhe-Hui
%A YANG Yang
%A <br>翟正利
%A 吴哲辉
%A 杨扬
%J 计算机科学
%D 2006
%I 
%X 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.
%K Time Petri net
%K Liveness
%K Boundedness
%K Time interval
%K Sufficient and neccessory condition<br>时间Petri网
%K 活性
%K 有界性
%K 时间区间
%K 充要条件
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=316BA4B601BA6AB7&yid=37904DC365DD7266&vid=27746BCEEE58E9DC&iid=9CF7A0430CBB2DFD&sid=E1D946F217E3B046&eid=D9AE183D3F5C3C75&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=13