有界petri网的最小化化简

给出了petri网的语言等价性概念和有界petri网的最小化概念；证明了有限状态自动机、有界petri网、正规文法的等价性，给出了它们之间等价转换的算法；分析了有界petri网的化简过程，并给出了有界petri网最小化化简的算法，为有界petri网的自动化化简提供了方法。