%0 Journal Article
%T The Petri Net Reduction and its Application in System Verification<br>Petri网化简操作及其在系统验证中的应用
%A XIA Chuan-Liang
%A XU Jin
%A ZHANG Guang-Wei
%A <br>夏传良
%A 徐进
%A 张光卫
%J 计算机科学
%D 2006
%I 
%X A scheme is obtained using some kinds of Petri net reduction, according to the verification of flexible manufacturing system. Two kinds of reductions are proposed and their dynamic property preservations have been investigated. A group of sufficient conditions or sufficient and necessary conditions of liveness preservation, boundedness preservation and reversibility preservation are presented. A flexible manufacturing system has been verified. These results are useful for studying the static and dynamic properties of Petri nets, analyzing properties for large complex system. The reduction method is especially fit for system verification and practical to use in reality.
%K Petri nets
%K Reduction
%K Liveness
%K Boundedness
%K System verification
%K Flexible manufacturing system<br>Petri网
%K 化简操作
%K 活性
%K 有界性
%K 系统验证
%K 柔性制造系统
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=B31138EDB3F191FB&yid=37904DC365DD7266&vid=27746BCEEE58E9DC&iid=9CF7A0430CBB2DFD&sid=6CCE24D86D03D083&eid=C812B90E96151014&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=15