%0 Journal Article
%T Invariant Conservation Condition for the Replacement Operation of Petri Nets<br>Petri网替换运算的不变量保持条件
%A YUE Hao
%A WU Zhe-hui
%A <br>岳昊
%A 吴哲辉
%J 计算机科学
%D 2009
%I 
%X The invariant conservation condition for the replacement operation of Petri nets was proposed.One can obtain the T-invariant(or S-invariant)of the refined model N ' using the T-invariant(or S-invariant)of the original model N and sub-system model N1.Thus the information about the T-invariant(or S-invariant)already known is fully used,and a great deal of computation cost is saved.
%K Petri net
%K Invariant
%K Conservation condition<br>Petri网
%K 不变量
%K 保持条件
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=07C92D89A0855F918DFD22F2BCFB5B4F&yid=DE12191FBD62783C&vid=933658645952ED9F&iid=0B39A22176CE99FB&sid=D6354F61445E9456&eid=FD7C952458BFB5D8&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=10