基于DTPN的时间Petri网的组件级化简规则

时间Petri网(TPNs)是实时系统时间特性常用的描述和验证的Petri网模型。组件级化简方法是TPN模型常用的分析方法,在保持外部可观察时间特性的前提下,将组件TPN模型化简成一个很简单的TPN模型。然而它却失去了组件内部的性质,如冲突和并发等性质。文中引入延迟时间Petri网(DTPN),通过组件TPN模型向DTPN模型转化,使化简后模型既保持外部可观察时间特性,又保持组件内部的冲突和并发等性质。为了分析化简后的DTPN模型,文中还提出了一种新的DT- PN调度分析方法。最后通过对一个C2系统的组件TPN模型的分析实例,验证该方法的有效性。

RECONFIGURABLE PRODUCTION LINE MODELING AND SCHEDULING USING PETRI NETS AND GENETIC ALGORITHM

In response to the production capacity and functionality variations, a genetic algorithm （GA） embedded with deterministic timed Petri nets（DTPN） for reconfigurable production line（RPL） is proposed to solve its scheduling problem. The basic DTPN modules are presented to model the corresponding variable structures in RPL, and then the scheduling model of the whole RPL is constructed. And in the scheduling algorithm, firing sequences of the Petri nets model are used as chromosomes, thus the selection, crossover, and mutation operator do not deal with the elements in the problem space, but the elements of Petri nets model. Accordingly, all the algorithms for GA operations embedded with Petri nets model are proposed. Moreover, the new weighted single-objective optimization based on reconfiguration cost and E/T is used. The results of a DC motor RPL scheduling suggest that the presented DTPN-GA scheduling algorithm has a significant impact on RPL scheduling, and provide obvious improvements over the conventional scheduling method in practice that meets duedate, minimizes reconfiguration cost, and enhances cost effectivity.

敏捷需求过程建模

将敏捷方法融入软件需求工程过程的每一个活动之中,充分发挥敏捷方法和计划驱动方法的优势,体现了规范的力量和安慰以及敏捷的宽松和创造性,并用双变迁Petri网DTPN为敏捷需求工程过程活动建立反馈、迭代模型.

延迟时间Petri网的验证分析

延迟时间Petri网(Delay Time Petri Nets,DTPN)是一类重要的时间扩展Petri网系统,解决了其他时间扩展Petri网(如时间Petri网)在保存时间约束时所面临的困难。可调度验证的目的是验证工作流模型时间约束的合理性,对流程实例的时间可达性进行仿真。提出一种基于DTPN的时间约束工作流验证分析方法。给出了DTPN的相关定义,并结合工作流控制结构描述了变迁可触发的时间条件;提出了DTPN触发点的概念以及基于此的验证分析算法;简要分析了DTPN的特性。DTPN的研究丰富完善了现有时间Petri网体系,具有积极的意义。

基于延迟时间Petri网的工作流相似性度量方法

为了解决实时系统中流程相似性的判定问题,提出一种基于流程中活动的拓扑结构和触发点的流程相似性度量方法。采用延迟时间Petri网(Delay Time Petri Nets,DTPN)模型来表示流程,用于找出流程的触发调度;定义活动时间约束路由关系,给出它们之间的距离和相似度计算公式,进而计算出流程之间的相似度;在此基础上设计相关算法,并且分析时间复杂度。通过实例验证了该算法在时间约束工作流相似性度量方面的有效性。

涉众为中心的敏捷需求建模

提出一种将涉众为中心和敏捷方法有机结合的敏捷需求建模方法。所有软件系统需求获取以涉众为中心,基于涉众扩展特征建立涉众Power/Interest分布图来确定涉众优先级,并用优先级处理不同涉众之间的需求冲突,根据涉众为中心的敏捷需求方法,提出敏捷需求实践方法,融合敏捷方法的短周期、演化、增量、迭代、重构、反馈机制,使软件系统需求建模过程更加完备、精确、高效、快捷,用双变迁Petri网DTPN为该方法建立形式化敏捷需求模型,为软件系统需求建模提出了一种新的方法。