%0 Journal Article
%T ANALYSIS OF LIVENESS FOR WEIGHTED T-GRAPHS<br>加权T图的活性分析
%A Xu Anguo
%A Wu Zhehui
%A <br>许安国
%A 吴哲辉
%J 软件学报
%D 1993
%I 
%X t A set of necessary and sufficient conditions for the liveness of weighted T -graphs is given in this paper. This set of conditions involves the condition given in1] for the liveness of marked graphs,i. e. the conclusion of1] for the liveness of marked graphs is a special case of the conclusion given this paper for the liveness of weighted T-graphs.
%K T图
%K 活性分析
%K 加权
%K Petri网
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=70EB2B9FB3461D07E08122AD24D3A3EC&yid=D418FDC97F7C2EBA&vid=E158A972A605785F&iid=B31275AF3241DB2D&sid=7801E6FC5AE9020C&eid=659D3B06EBF534A7&journal_id=1000-9825&journal_name=软件学报&referenced_num=5&reference_num=9