基于Petri网模型的柔性制造系统优化调度

柔性制造系统（flexible manufacturing system, FMS）调度问题属于NP难题, 针对该问题利用赋时库所Petri网（timed place Petri net, TPPN）对FMS进行建模, 在此基础上, 提出了利用改进的嵌套分区（nested partitions, NP）算法对建立的TPPN模型进行优化调度. 采用来自半导体制造的末端测试系统 数据做数值试验, 结果表明, 基于TPPN模型的改进嵌套分区优化调度算法较其它常用算法具有更 好的平衡指数, 可有效降低最大完工时间.     

基于混杂Petri网的柔性制造系统免疫调度算法

针对具有混杂特征的柔性制造系统调度问题在柔性制造系统的一阶混杂Petri网模型的基础上提出了用于求解柔性制造系统调度最优解的免疫算法。给出了不变行为状态的编码、亲和力计算、抗体的浓度及抗体选择、记忆细胞更新、抗体生成算子等的具体实现方法。实例仿真结果表明,结合混杂Petri网模型和免疫算法能够有效地实现柔性制造系统调度最优解的求解。     

基于赋时Petri网和GA的柔性制造系统调度

Petri网理论已成为柔性制造系统中建模与分析的主流技术之一,基于Petri网的调度优化问题已被广泛研究。本文为解决柔性制造系统的调度问题,提出了一种基于Petri网和遗传算法相结合的调度方法。首先用赋时Petri网对柔性制造系统进行建模,然后应用遗传算法对该模型进行调度并获取近似最优解。在该算法中,采用新的编码/解码机制,用Petri网模型的变迁激发序列作为染色体编码,且对群体中每个染色体对应的变迁序列不再要求其满足Petri网的可达性条件,而是通过解码部分将其转换为一个满足可达性条件的序列,从而大大简化初始化种群,以及交叉和变异操作。该方法融合了Petri网和遗传算法各自的优点,既可以处理典型的Job-Shop问题,也可以较好地解决柔性制造系统的调度问题。文中通过仿真实验证明了该方法的有效性。     

基于面向对象赋时Petri网的出入库系统建模

采用面向对象的赋时Petri网(ObjectOrientedTimedPetriNet,OOTPN)来讨论自动化立体仓库出入库(AS/RS)调度的建模问题。首先,对立体仓库的出入库调度元素进行分类和抽象聚合,得到系统的类关系;然后,在此基础上建立了由六个子模块组成的立体仓库出入库调度的OOTPN模型;最后,分析了该模型的死锁问题。     

复线列车运行调度的层次Petri模型及仿真

在对列车运行调度问题进行分析的基础上,通过综合受控Petri网、颜色Petri网和赋时Petri网的优势,提出一种混合Petri网模型并给出形式化描述和运行规则;采用混合Petri网建立包含设备故障和设备维修两种异常情况的列车运行调度的层次Petri网模型。通过对模型的分析,给出模型具有的两个性质,指出列车运行调度的本质是通过控制可控事件的发生时间来恢复列车的正常运行秩序。最后,以一个具有6个车站和5个区间的调度区段为例,采用CPN TOOLS仿真工具对模型进行了仿真。仿真结果表明了模型的有效性以及设备故障发生概率和列车运行可调整之间的关系。     

半导体制造系统改进Petri网模型的建立及优化调度

为了更有效优化半导体制造系统生产资源调度,提出了基于分层着色时间Petri网模型的分时段优化调度方案.通过增强基本Petri网的描述能力和引入分层Petri网的思想,根据半导体制造系统的结构建立其改进Petri网模型-分层着色时间Petri网模型,并在模型中引入调度库所将调度算法嵌入到模型中,该模型能有效地克服基本Petri网模型规模膨胀的缺陷;同时将每一生产周期分成若干时间段,利用遗传算法来寻找各时间段内调度规则组合来优化半导体制造系统的动态性能,实现分时段优化调度,编码时, 根据机器组的利用率来选择部分机器组为瓶颈机器组,重点调度瓶颈机器组, 提高算法的搜索效率;仿真实验结果验证了该调度方案的优越性.     

基于赋时有色Petri网的测试系统资源优化方法

提出采用赋时有色Petri网(TCP-net)对测试流程进行建模,用来优化自动测试系统的资源配置.给出了测试流程TCP-net模型的构建步骤;基于模型,给出了寻求测试流程最短测试用时的方法,并设计了求解最短测试用时下最小资源集的算法:基于空闲区匹配的最小资源集算法;通过给出一个应用实例,证明了上述方法的有效性和实用性.     

基于HTCP-net的multi-agent调度系统建模与仿真

从企业收集、监测互联网信息的实际需求出发,提出了基于multi-agent的分布式环境扫描系统的结构模型;同时,为满足系统重复采集更新信息的特殊需要,借鉴经典的Min-min启发式调度算法,设计了循环任务最早完成时间调度算法。依据赋时层次有色Petri网(HTCP-net)的理论,应用建模、仿真工具CPN tools建立了调度系统模型。对模型进行仿真,得到任务平均等待时间和各agent等待队列平均长度,与轮转调度和最短等待队列调度模型仿真结果的比较表明,所建立的调度模型既提高了企业用户满意度,又有效满足了系统周期性重复访问网站的任务需求。     

基于有色赋时Petri网的半导体生产线建模技术研究

在深入了解半导体制造过程的基础上,为了有效分析半导体生产线调度与控制性能,提出了有色赋时Petri网的半导体生产线建模方法。该模型,根据生产线所存在主要调度子问题及其之间的相互关系,将半导体生产线划分为投料控制模块、路径调度模块和工件调度模块,这样可以有效降低模型的复杂性和提高模型的可重用性。建立以一个拥有3个工作中心、6台设备的半导体生产线Petri网模型,并对模型进行分析。最后指出了下一步的工作目标。     

利用Petri网方法求解二次同余式:ax2+bx+c≡0(modp, p≥3,素数)

首先给出判定a是奇素数模p的平方剩余的增广Petri网模型,然后给出求解二次同余式x2≡a(modp,p≥3,素数,(a,p)=1)的增广Petri网模型.同时给出这种类型增广Petri网的矩阵分析和状态方程,从而导出由EXN网的输入求其输出的算法.