| 一类用于网变换的Petri网代数系统 |
| |
| 引用本文： | 李俊,戴先中,孟正大.一类用于网变换的Petri网代数系统[J].东南大学学报(自然科学版),2010,40(6). |
| |
| 作者姓名： | 李俊 戴先中 孟正大 |
| |
| 基金项目： | 国家自然科学基金资助项目 |
| |
| 摘 要： | 针对现有的多数规则置换式与代数运算式网变换方法存在内容依赖、执行效率低与通用性差的不足,以代数结构理论为基础提出一种用于更一般性网变换的新型接口依赖的网运算代数系统,包括Petri网的基本节点与块的融合与衍生运算,扩展的库所与变迁接口网的并加、串加、减运算以及块接口网的合成与分解运算.并分析了网代数运算的封闭性、可结合性、可交换性等代数性质,然后将网代数应用于解决包含置换与分解过程的复合网变换中,显示了网代数的有效性.最后,分析总结了Petri网代数相对于现有的置换式与代数运算式网变换途径的优势.
|
| 关 键 词： | Petri网 代数系统 网变换 离散事件系统 |
A class of Petri net algebraic systems for net transformation |
| |
| Li Jun,Dai Xianzhong,Meng Zhengda.A class of Petri net algebraic systems for net transformation[J].Journal of Southeast University(Natural Science Edition),2010,40(6). |
| |
| Authors: | Li Jun Dai Xianzhong Meng Zhengda |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
