并发控制器设计的Petri网方法.docVIP

第八章 并发控制器设计的Petri网方法 8.1 引言 随着科学技术的进步，信息需求与信息处理的数量已不是顺序过程所能满足得了的，人们迫切需要一些性能好，效率高，稳定可靠的并行操作环境。为此，大量涌现出网络并行环境，分布式系统，大规模并行处理机等等。这些实际系统的抽象就是并发系统模型，人们已大量地研究了并发系统的建模，分析性能评估。文[1]建立了并发系统的Petri网模型，文[2]提出描述并发的通信顺序进程(CSP)，文[3]引入了通信演算系统(CCS)。文[4,5]基于CSP和CCS研究了并发系统的建模与分析手段。文[6,7,8]研究了基于Petri网的并发系统设计，分析与评价。这些工作无疑对并发理论及应用起到很好的作用。然而，关于并发系统的异常现象的控制问题虽有研究,但还不充分，目前的研究大多在抽象的意义下进行而不够实际，取得的结果也不足以解决实际问题。这里，我们针对三类实际背景较为明确的异常现象，讨论控制器的综合方法，给出具体的可操作算法，设计出控制器的Petri网模型，从而为并发系统的异常处理提供一条有效途径。 8.2 控制器综合算法 系统异常现象需要控制，如何综合控制器将是十分必要和实际的工作。下面我们讨论：在已知原始系统的Petri网模型及控制规范的前提下，综合出控制器的Petri网模型的方法。具体步骤是： 第一步 从原始系统的Petri网模型(PN)，产生其可达状态图RMG(PN)； 第二步 从原始系统可达状态图RMG(PN)和控制规范(spec)，产生目标系统的可达状态图RMG(PNC)； 第三步 从目标系统可达状态图RMG(PNC)，产生控制器的可达状态图RMG(C)； 第四步 从控制器的可达状态图RMG(C)，产生控制器的Petri网模型(C)。 其中每一步的详细过程为： 算法8.1 输入：PN=(P,T,F,M0) 输出：RMG(PN)=(V,E;f) Step1 置初值V({M0}, E((，并对M0标以“新”； Step2 若V中无“新”的结点，构造过程结束，否则转Step3； Step3 选择一个“新”的M(V结点，做如下工作： Step3.1 对(t(T，若M[t，则做如下工作： Step3.1.1 求出M’，使得M[tM’ Step3.1.2 若M’(V，则置E(E({(M,M’)}, f((M,M’))(‘t’，转Step3.2，否则做Step3.1.1; Step3.1.3 若(M”(V，使得(p(P，都有M”(p)(M’(p)，则对满足M”(p)M’(p)的所有p， 置M’(p)((； Step3.1.4 置V(V({M’}, E(E({(M,M’)}, f((M,M’))(‘t’并对M’标以“新”，转Step3.1 Step3.2 把M的“新”划去，转Step2。 算法8.2 输入：RMG(PN), spec, 输出：RMG(PNC). Step1. 根据实际要求，确定受控变迁集Tc与非受控变迁集Tu，使得Tc (Tu=(，Tc (Tu((; Step2. 对(tc(Tc, 令pc为tc控制库所，由此得到控制库所集Pc; Step3. 在RMG(PN)中将任何结点M(V的标识向量长度由(P(增长到(P(+(Pc(; Step4. 根据spec的要求，在处理后的RMG(PN)中，填入对应(Pc(那部分子向量的值，以满足 spec的要求，由此得到RMG(PNC)。 算法8.3. 输入：RMG(PNC) ＝(V,E,f)， 输出：RMG(C) = (Vc,Ec,fc). Step1. 令Vc = {(P(Pc(M)(((M(V)(((P(Pc(M)为M在Pc上的投影子向量)}; Step2. (M’, M”(V, 若(M’,M”)(E, 且f((M’.M”))=‘t’, 则置Ec(Ec({((P(Pc(M’),(P(Pc(M”) )}, fc(((P(Pc(M’),(P(Pc(M”))(‘t’。 算法8.4 输入：RMG(C), 输出：C＝(Pc,Tc;Fc,Mc0), Step1. 置 Fc((, 标记Mc0, Mc0进栈stack； Step2. 若stack非空，则做Step3, 否则结束； Step3. 若存在一个邻接于top而未被标记的结点Mc, 则做Step4, 否则转Step5; Step4. 令 (Mc=Mc-stack(top), 记 f((stack(top),Mc))=‘t’,