%0 Journal Article
%T Minimization of Bounded Petri Net Simplification<br>有界Petri网的最小化化简
%A ZHANG Ji-Jun
%A WU Zhe-Hui
%A <br>张继军
%A 吴哲辉
%J 计算机科学
%D 2007
%I 
%X The concepts of language equivalence of Petri net and of minimization of bounded Petri net are presented. The equivalences of bounded Petri net, finite automaton and regular grammar is proofed, the algorithms of equivalence transition are given. The process of bounded Petri net simplification is discussed, the algorithm of simplification of bounded Petri net is given. A basic method to automated simplify the bounded Petri net is provided.
%K Petfi net
%K Language equivalence
%K Minimization
%K Simplification<br>Petri网
%K 语言等价
%K 最小化
%K 化简
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=494E7A2ACC2E018BE40FFDFBB6717CDE&yid=A732AF04DDA03BB3&vid=339D79302DF62549&iid=708DD6B15D2464E8&sid=96C778EE049EE47D&eid=D3E34374A0D77D7F&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=18