%0 Journal Article
%T Algorithm for Computing T-invariants in Transition Coupling Nets<br>变迁耦合网的T-不变量求解算法
%A YUE Hao
%A WU Zhe-hui
%A SHI Jian-juan
%A YU Li-ping
%A <br>岳昊
%A 吴哲辉
%A 施建娟
%A 于立萍
%J 计算机科学
%D 2008
%I 
%X 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...
%K Petri net
%K Transition coupling nets (TCN)
%K Invariants<br>Petri网
%K 变迁耦合网
%K 不变量
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=72B53C308ACAA703E39645C16E9450D5&yid=67289AFF6305E306&vid=6209D9E8050195F5&iid=9CF7A0430CBB2DFD&sid=4609832E4B5C797B&eid=B1F98368A47B8888&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=16