带抑制弧Petri网极小活标识的配置.pdfVIP

第 32卷 第 5期 华 侨 大 学 学 报 (自然 科 学 版 ) Vo1．32 No．5 2011年 9月 JournalofHuaqiaoUniversity(NaturalScience) Sep．2011 文章编号： 1000—5013(2011)05-0525—04 带抑制弧 Petri网极小活标识的配置 叶剑虹 ，叶双 (华侨大学 计算机科学与技术学院，福建 泉州 362021) 摘要： 讨论无冲突带抑制弧 Petri网结构活性的判定条件，即证明一个结构活的网，扩充为带抑制弧的网后 仍然活当且仅当生成的抑制弧网具有持续性．给出一个已知结构活的带抑制弧网的极小活标识的配置算法， 将网的极小活标识配置最终转化为环路中极小活标识的求解．与传统方法相比，新算法不仅易于程序实现，且 时间复杂度是多项式的． 关键词： 抑制弧；Petri网；结构活；极小活标识 ；配置算法 中图分类号 ： TP301．6 文献标志码： A 从网的结构人手研究活的Petri网应满足的条件，然后讨论如何配置初始标识才能使得到的标识 网为活的，这为Petri网的活性判定开辟了一条新的途径．文献[1—2]提出了网的结构活性定义，文献[3— 6]分别给出了S-图、自由选择网、扩充的自由选择网和空标识网结构活的充分必要条件．对于带抑制弧 的网，其结构活性的判定比一般原型网要复杂 ．抑制弧的引入会对原型网下具备发生条件的变迁是否 仍允许发生起控制作用，对网性质的分析增加了难度，但提高了系统的模拟能力 ．已有研究啪证明，带 抑制弧的Petri网的模拟能力等价于图灵机．目前，国内外对带抑制弧Petri网结构活性的研究鲜有文 献涉及．本文给出带抑制弧网结构活的判定定理，以及带抑制弧结构活网的极小活标识配置算法． 1 基本概念 有关Petri网的基本概念参见文献E8—10]，在此不再赘述，只引用与本文有关的概念．由于冲突往往 意味着需要外部条件的控制干预，讨论将基于无冲突Petri网． 定义 1 带抑制弧的Petri网是一个五元组 =：=(S，T；F，J，M)．其中：(S，丁；F)是一个网，M 是网 的一个标识，ICS~T称为抑制弧集，nF一0，有 (1)对 ￡∈T，如果VsffS：(s，￡)EF，有M (s)≥1；而如果VsES：(s，￡)EJ，有M (s)一0，则变迁 t 在标识M 有发生权； (2)若MEt，则变迁t在标识M 发生产生新的标识M ，即 fM (5)一1， (s，￡)E F ^ (，s) F， (s)一 M (5)+ 1， (s，)E F ^ (，￡) F， lM ()， 其他． 定义 2 设N一(S，T；F，J)是一个带抑止弧的网，S一{S1，2，…，S)，T一{t1，t2，…，t)，则N 的结 构可以用一个 行m列矩阵A一[口 ]×(iE{1，2，…，)，J∈{1，2，…，m))来表示 ．其中：当(，Sj)E F，口 =-1；当(，)EF，n 一--1；当(，ti)∈I，a 一O。；其他情况下，a，===O；A为网N 的关联矩阵 ． 定义3 N一(S，丁；F，J)是一个带抑止弧的Petri网，有 S一{SJ(s，t)∈I)，S：=={SI(s，)EF)．其 中：∈S，tff丁；s=SUS且 SnS未必为空；下标 c，e分别表示控制和允许． 定义4 设 N0一(S，丁；F)是一个原型网．在 的基础上添加抑止弧，由此形成网N一(S，T；F， 收稿 日期 ： 2010—11—23 通信作者： 叶剑虹(1976一)，男，讲师，主要从事大规模分布式并行计算及 Petri网的研究．E-mail：leafever@163 ． com ． 基金项 目：福建省厦门市科技计划创新项 目(35O2Z2OLO3O27)；华侨大学高层次人才科研启动项目(09BS514)