一类用于网变换的Petri网代数系统

• 作者: 孟正大 戴先中 李俊
• 来源期刊: 东南大学学报（自然科学版）
• 学科: 工学
• 关键词: Petri网 代数系统 网变换 离散事件系统
• 年，卷（期）: 2010,（6）
• 页码范围: 1180-1184
• 分类号: TP301
• 字数: 4558字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0505.2010.06.010

摘要

针对现有的多数规则置换式与代数运算式网变换方法存在内容依赖、执行效率低与通用性差的不足,以代数结构理论为基础提出一种用于更一般性网变换的新型接口依赖的网运算代数系统,包括Petri网的基本节点与块的融合与衍生运算,扩展的库所与变迁接口网的并加、串加、减运算以及块接口网的合成与分解运算.并分析了网代数运算的封闭性、可结合性、可交换性等代数性质,然后将网代数应用于解决包含置换与分解过程的复合网变换中,显示了网代数的有效性.最后,分析总结了Petri网代数相对于现有的置换式与代数运算式网变换途径的优势.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	戴先中	东南大学自动化学院	185	3390	32.0	48.0
2	孟正大	东南大学自动化学院	76	781	17.0	24.0
3	李俊	东南大学自动化学院	32	314	8.0	17.0