%0 Journal Article
%T 有界petri网的最小化化简
%J 计算机科学
%D 2007
%X 给出了petri网的语言等价性概念和有界petri网的最小化概念；证明了有限状态自动机、有界petri网、正规文法的等价性，给出了它们之间等价转换的算法；分析了有界petri网的化简过程，并给出了有界petri网最小化化简的算法，为有界petri网的自动化化简提供了方法。
%K petri网语言等价最小化化简
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=26159239&flag=1