| 有界Petri网的最小化化简 |
| |
| 引用本文： | 张继军,吴哲辉. 有界Petri网的最小化化简[J]. 计算机科学, 2007, 34(11): 26-28 |
| |
| 作者姓名： | 张继军 吴哲辉 |
| |
| 作者单位： | 山东农业大学信息学院,泰安271018;山东科技大学信息学院,青岛266510;山东科技大学信息学院,青岛,266510 |
| |
| 摘 要： | 给出了Petri网的语言等价性概念和有界Petri网的最小化概念；证明了有限状态自动机、有界Petri网、正规文法的等价性，给出了它们之间等价转换的算法；分析了有界Petri网的化简过程，并给出了有界Petri网最小化化简的算法，为有界Petri网的自动化化简提供了方法。
|
| 关 键 词： | Petri网 语言等价 最小化 化简 |
Minimization of Bounded Petri Net Simplification |
| |
| ZHANG Ji-Jun,WU Zhe-Hui. Minimization of Bounded Petri Net Simplification[J]. Computer Science, 2007, 34(11): 26-28 |
| |
| Authors: | ZHANG Ji-Jun WU Zhe-Hui |
| |
| 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 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. |
| |
| Keywords: | Petfi net Language equivalence Minimization Simplification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
