|
计算机科学 2008
Algorithm for Computing T-invariants in Transition Coupling Nets
|
Abstract:
First,the transition coupling net(TCN)and related concepts are defined.Second,the relationship between T-invariants of TCN and its branches nets is pointed out.Based on the facts that whether they have anything to do with the Coupling transition,the minimal T-invariants of a TCN are divided into two kinds called MTS1 and MTS2.The algorithm for finding T-invariants of TCN is given and two simple examples are used to illustrate the algorithm.Finally,the algorithm is implemented and the elementary experimental...