|
软件学报 1993
ANALYSIS OF LIVENESS FOR WEIGHTED T-GRAPHS
|
Abstract:
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.