一类用于网变换的Petri网代数系统-东南大学学报.PDFVIP

第４０卷第６期 东南大学学报（自然科 学版 ） Ｖｏｌ．４０ Ｎｏ．６ 　 ２０１０年１１月 ＪＯＵＲＮＡＬＯＦＳＯＵＴＨＥＡＳＴＵＮＩＶＥＲＳＩＴＹ（ＮａｔｕｒａｌＳｃｉｅｎｃｅＥｄｉｔｉｏｎ） 　 Ｎｏｖ．２０１０ ｄｏｉ：１０．３９６９／ｊ．ｉｓｓｎ．１００１－０５０５．２０１０．０６．０１０ 一类用于网变换的Ｐｅｔｒｉ网代数系统 李　俊　 戴先中　 孟正大 （东南大学自动化学院，南京２１００９６） 摘要：针对现有的多数规则置换式与代数运算式网变换方法存在内容依赖、执行效率低与通用 性差的不足，以代数结构理论为基础提出一种用于更一般性网变换的新型接口依赖的网运算代 数系统，包括Ｐｅｔｒｉ网的基本节点与块的融合与衍生运算，扩展的库所与变迁接口网的并加、串 加、减运算以及块接口网的合成与分解运算．并分析了网代数运算的封闭性、可结合性、可交换性 等代数性质，然后将网代数应用于解决包含置换与分解过程的复合网变换中，显示了网代数的有 效性．最后，分析总结了Ｐｅｔｒｉ网代数相对于现有的置换式与代数运算式网变换途径的优势． 关键词：Ｐｅｔｒｉ网；代数系统；网变换；离散事件系统 中图分类号：ＴＰ３０１　　文献标志码：Ａ　　文章编号：１００１－０５０５（２０１０）０６１１８００５ ＡｃｌａｓｓｏｆＰｅｔｒｉｎｅｔａｌｇｅｂｒａｉｃｓｙｓｔｅｍｓｆｏｒｎｅｔｔｒａｎｓｆｏｒｍａｔｉｏｎ ＬｉＪｕｎ　 ＤａｉＸｉａｎｚｈｏｎｇ　 ＭｅｎｇＺｈｅｎｇｄａ （ＳｃｈｏｏｌｏｆＡｕｔｏｍａｔｉｏｎ，ＳｏｕｔｈｅａｓｔＵｎｉｖｅｒｓｉｔｙ，Ｎａｎｊｉｎｇ２１００９６，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：Ａｉｍｅｄａｔｔｈｅｄｅｆｉｃｉｅｎｃｉｅｓｓｕｃｈａｓｃｏｎｔｅｎｔｄｅｐｅｎｄｅｎｃｅ，ｌｏｗｅｘｅｃｕｔｉｏｎｅｆｆｉｃｉｅｎｃｙ，ａｎｄｐｏｏｒ ｕｎｉｖｅｒｓａｌｉｔｙｏｆｍｏｓｔｏｆｔｈｅｅｘｉｓｔｉｎｇｎｅｔｔｒａｎｓｆｏｒｍａｔｉｏｎｍｅｔｈｏｄｓｉｎｂｏｔｈｒｕｌｅｂａｓｅｄｒｅｐｌａｃｅｍｅｎｔａｎｄａｌ ｇｅｂｒａｉｃｏｐｅｒａｔｉｏｎ，ａｎｅｗｃｌａｓｓｏｆｉｎｔｅｒｆａｃｅｄｅｐｅｎｄｅｎｔＰｅｔｒｉｎｅｔｏｐｅｒａｔｉｏｎａｌｇｅｂｒａｓｙｓｔｅｍｓｆｏｒｍｏｒｅ ｇｅｎｅｒａｌｎｅｔｔｒａｎｓｆｏｒｍａｔｉｏｎｉｓｐｒｏｐｏｓｅｄｂａｓｅｄｏｎｔｈｅａｌｇｅｂｒａｉｃｓｔｒｕｃｔｕｒｅｔｈｅｏｒｙ．Ｔｈｅａｌｇｅｂｒａｓｙｓｔｅｍｓ ｉｎｃｌｕｄｅｆｕｎｄａｍｅｎｔａｌｆｕｓｉｏｎａｎｄｆｉｓｓｉｏｎｏｐｅｒａｔｉｏｎｓｆｏｒｂｏｔｈＰｅｔｒｉｎｅｔｎｏｄｅｓａｎｄｂｌｏｃｋｓ，ｔｈｅｅｘｔｅｎｄｅｄ ｏｐｅｒａｔｉｏｎｓｏｆｐａｒａｌｌｅｌａｄｄｉｔｉｏｎ，ｓｅｑｕｅｎｔｉａｌａｄｄｉｔｉｏｎ，ａｎｄｓｕｂｔｒａｃｔｉｏｎｆｏｒｂｏｔｈｐｌａｃｅａｎｄｔｒａｎｓｉｔｉｏｎｉｎ ｔｅｒｆａｃｅｄｎｅｔｓ，ａｎｄｃｏｍｐｏｓｉｔｉｏｎａｎｄｄｅｃｏｍｐｏｓｉｔｉｏｎｆｏｒｂｌｏｃｋｉｎｔｅｒｆａｃｅｄｎｅｔｓ．Ｍｅａｎｗｈｉｌｅ，ａｌｇｅｂｒａｉｃ ｐｒｏｐｅｒｔｉｅｓｏｆｔｈｅｏｐｅｒａｔｉｏｎｓ，ｉ．ｅ．，ｃｌｏｓｕｒｅ，ａｓｓｏｃｉａｔｉｖｉｔｙ，ａｎｄｃｏｍｍｕｔａｔｉｖｉｔｙ，ａｒｅａｎａｌｙｚｅｄ．Ｔｈｅｎ， ｔｈｅａｌｇｅｂｒａｉｓａｐｐｌｉｅｄｔｏａｎｅｘａｍｐｌｅｏｆｃｏｍｂｉｎａｔｏｒｉａｌｎｅｔｔｒａｎｓｆｏｒｍａｔｉｏｎｃｏｎｓｉｓｔｉｎｇｏｆａｒｅｐｌａｃｅｍｅｎｔ ｐｒｏｃｅｓｓａｎｄａｄｅｃｏｍｐｏｓｉｔｉｏｎｐｒｏｃｅｓｓ，ａｎｄｔｈｅｒｅｓｕｌｔｓｉｎｄｉｃａｔｅｔｈｅｖａｌｉｄｉｔｙｏｆｔｈｅａｌｇｅｂｒａ．Ｆｉｎａｌｌｙ，ｂｙ ｃｏｍｐａｒｉｎｇｗｉｔｈｔｈｅｅｘｉｓｔｉｎｇｔｒａｎｓｆｏｒｍａｔｉｏｎｍｅｔｈｏｄｓｉｎｔｈｅｗａｙｏｆｒｕｌｅｂａｓｅｄｒｅｐｌａｃｅｍｅｎｔａｎｄａｌｇｅ ｂｒａｉｃｏｐｅｒａｔｉｏｎ，ｔｈｅｐｒｅｄｏｍｉｎａｎｃ