摘要
本文给出加权T—图为活网的一组充分必要条件,这组条件包含了文献[1]对标识图(即T—图)活性分析的结果,即当每条弧的权都等于1时,本文的结果就化为文[1]给出的条件。
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 in[1] for the liveness of marked graphs,i. e. the conclusion of[1] for the liveness of marked graphs is a special case of the conclusion given this paper for the liveness of weighted T-graphs.
出处
《软件学报》
EI
CSCD
北大核心
1993年第6期16-21,61,共7页
Journal of Software
基金
国家自然科学基金资助课题
