有界Petri网的最小化化简

摘要：

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

关键词：Petri网、语言等价、最小化、化简

所属期刊栏目：34

分类号：TP3(计算技术、计算机技术)

在线出版日期：2008-01-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：26-28,61