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

第40卷第6期 东南大学学报(自然科学版) V01．40NO．6 2010年11月 JOURNALOFSOUTHEAST ScienceEdition) NOV．2010 UNIVERSITY(Natural doi：10．3969／j．issn．1001—0505．2010．06．010 一类用于网变换的Petri网代数系统 李 俊 戴先中 孟正大 (东南大学自动化学院，南京210096) 摘要：针对现有的多数规则置换式与代数运算式网变换方法存在内容依赖、执行效率低与通用 性差的不足，以代数结构理论为基础提出一种用于更一般性网变换的新型接口依赖的网运算代 数系统，包括Petri网的基本节点与块的融合与衍生运算，扩展的库所与变迁接FI网的并加、串 加、减运算以及块接口网的合成与分解运算．并分析了网代数运算的封闭性、可结合性、可交换性 等代数性质，然后将网代数应用于解决包含置换与分解过程的复合网变换中，显示了网代数的有 效性．最后，分析总结了Petri网代数相对于现有的置换式与代数运算式网变换途径的优势． 关键词：Petri网；代数系统；网变换；离散事件系统 中图分类号：TP301文献标志码：A 文章编号：1001—0505(20LO)06—11804)5 AclassofPetrinet fornettransformation systems algebraic LiJunDai XianzhongMengZhengda of (SchoolAutomation，SoutheastUniversity。Nanjing210096，China) at suchas execution Abstract：Aimedthedeficiencies content—dependence，lowefficiency，andpoor ofmostofthe nettransformationmethodsinbothrule·-based andal·- universality existing replacement newclassof Petrinet formore gebraicoperation．a interface—dependentoperationalgebrasystems nettransformationis basedonthe structure general proposed algebraic theory．nealgebrasystems includefundamentalfusionandfission forbothPetrinetnodesandblocks．theextended operations of subtractionforboth andtransition—in· addition．and operationsparalleladdition。sequential place terfaced and forblock．interfac