%0 Journal Article
%T The Analysis and Application of a TT Type Petri Net''''s Subnet Refinement<br>Petri网的TT型子网精细化操作性质分析及其应用
%A XIA Chuan-Liang
%A <br>夏传良
%J 计算机科学
%D 2006
%I 
%X A scheme is obtained using a kind of Petri net refinement, according to process of some enterprise using a plant or workshop to produce some product. A TF-type subnet is defined. A refinement Petri net is obtained through using the kind of suhnet to replace some transitions of the ordinary Petri net. Dynamicproperties have been investigated. The sufficient and necessary conditions of liveness preservation, boundedness preservation, reversibility preservation and fairness preservation are presented. These results are useful for studying the static and dynamic properties of Petri nets and analysing properties for large complex system. The refinement method is practical to use in reality.
%K Petri nets
%K Refinement
%K Liveness
%K Boundedness
%K Fairness<br>Petri网
%K 精细化操作
%K 活性
%K 有界性
%K 公平性
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=4EC6E064F11CD4B9&yid=37904DC365DD7266&vid=27746BCEEE58E9DC&iid=9CF7A0430CBB2DFD&sid=6A73B36E85DB0CE9&eid=5B5B75F4854B8331&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=13