计算机科学 ›› 2007, Vol. 34 ›› Issue (11): 26-28.
• 软件工程与数据库技术 • 上一篇 下一篇
出版日期:
发布日期:
Online:
Published:
摘要： 给出了Petri网的语言等价性概念和有界Petri网的最小化概念；证明了有限状态自动机、有界Petri网、正规文法的等价性，给出了它们之间等价转换的算法；分析了有界Petri网的化简过程，并给出了有界Petri网最小化化简的算法，为有界Petri网的自动化化简提供了方法。
关键词: Petri网 语言等价 最小化 化简
Abstract: 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 proce
Key words: Petri net,Language equivalence, Minimization, Simplification
. 有界Petri网的最小化化简[J]. 计算机科学, 2007, 34(11): 26-28. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2007/V34/I11/26
Cited
首页