含有不可控变迁的线性约束转换的研究.pdf

一组广义互斥约束的“逻辑或形式的线性约束问题，我们给出了 允许标识集的新定义，得到了获取最大允许约束的转换方法。 2．研究了不可控影响子网为a．网的一类Petri网，针对此类网， 提出了最优线性约束转换方法，该方法首先根据定义获得不可控影 响子网，然后提出了求解转换后禁止库所集集合的算法，最后根据 禁止库所集集合构造了“逻辑或”形式的最大允许线性约束。该算 法基于约束转换的思想，含有不可控变迁的Petri网的监控问题可以 简化为相当于变迁全部可控的Petri网的监控问题，不可控变迁导致 的复杂性由此降低，系统中的监控问题得到了更好的控制。 3．针对不可控影响子网为更复杂的Petri网，基于最大增量函 数，提出了线性约束转换方法。该方法通过分析求解最大增量函数 的角度来进行线性约束不等式的转换并提出一定的算法。 最后，在总结全文的基础上，展望了含有不可控变迁的Petri网 的线性约束转换问题的未来工作。 关键字：离散事件系统，Petri网，禁止状态，不可控变迁，约束转换 万方数据 IIIIII I IIIII II I IIIIIIl Y2751147 RESEARCHoNLINEARCoNSTRAINT TRANSFoRMATIoNWITH UNCoNTRoLLEDTRANSITIoNS ABSTRACT Adiscreteevent a that in system(DES)isdynamicsystemevolves accordancewiththe occurrenceofeventswhichareatunknown abrupt intervals．In isaman-made irregular essence，DES system．Thetypical DEScontainstheflexible scale manufacturingsystem，largecomputer integratedmanufacturingsystem，trafficmanagementsystem，database network discrete managementsystem，communication system，etc。In event is toavoidforbiddenstatesand systems，itvitallyimportant satisfy the theDES’Sbehavion performancerequirementsbysupervising is tosolvesuch However，it quitetough problem． withmathematical netshavesuch Compared