| 基于语言等价的Petri网化简 |
| |
| 引用本文： | 张继军,董卫.基于语言等价的Petri网化简[J].系统仿真学报,2007(Z1). |
| |
| 作者姓名： | 张继军 董卫 |
| |
| 作者单位： | 山东农业大学信息学院 山东泰安271018 |
| |
| 基金项目： | 国家自然科学基金(60673053) |
| |
| 摘 要： | 定义了α闭包表达式和同步交错正规表达式,证明了同步交错正规表达式与Petri网语言的等价性,给出了Petri网语言的结构特征:任意一个Petri网语言都是一个正规语言表达式与α闭包表达式的同步,借助于这一特性,给出了Petri网的化简过程及其算法。
|
| 关 键 词： | α闭包表达式 同步交错正规表达式 Petri网 化简 |
Petri Net Simplification Based on Language Equivalence |
| |
| ZHANG Ji-jun,DONG Wei.Petri Net Simplification Based on Language Equivalence[J].Journal of System Simulation,2007(Z1). |
| |
| Authors: | ZHANG Ji-jun DONG Wei |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
|
