一种Petri网结合遗传算法的优化方法及应用

根据实际优化问题，在时间Petri网和着色Petri网的基础上，提出了一种新的扩展Petri网（EPN）模型，并在EPN中定义了条件矩阵Q，给出了Petri网与遗传算法相结合的优化方法和具体算法，使用本优化方法，对一个车间作业（Job-shop）调度问题进行了求解，建立了该Job-shop调度的EPN模型，并采用单个体遗传算法对Petri网模型进行优化，结果证明了该建模和优化方法的有效性和正确性。     

Petri网的遗传算法在Job-Shop问题中的应用研究

提出了一种基于扩展时间Petri网(ETPN)的单亲遗传算法,并利用该算法对Job-Shop调度问题进行了求解.首先定义一种扩展时间Petri网,然后利用定义的扩展时间Petri网对Job-Shop调度问题进行建模,最后应用单亲遗传算法对模型进行优化调度.通过实例证明了该建模方法和优化算法的有效性和正确性.     

基于Petri网仿真的柔性生产调度——蚁群-遗传递阶进化优化方法

利用受控赋时Petri网对柔性生产线调度中的离散事件建模,此Petri网模型由过程流子网、资源子网和调度控制子网通过同步变迁连接而成.在由Petri网仿真运行获得调度性能评价的基础上,采用两级递阶进化优化方法求解柔性生产过程的优化调度问题.首先由蚁群优化方法优化加工路径,然后根据蚁群在信息素指引下所构造的加工路径,采用遗传算法优化在同一机器上加工的作业排序.应用蚁群优化原理提出了加工路径优化问题的信息素表达方式,解构造策略和信息素更新策略.一组测试问题的求解结果说明了算法的有效性和鲁棒性.     

基于Petri网和遗传算法的飞行训练计划优化编排

为解决航空兵部队飞行训练计划的优化编排问题,以组成训练计划的科目为研究对象,提出一种基于赋时库所Petri网(timed place petri net,TPPN)的科目-空域占用过程仿真与遗传算法相结合的优化编排方法.该方法首先建立科目-空域占用关系表,并基于TPPN建立科目对空域的占用过程模型.采用遗传算法对空域占用过程进行优化,使用的染色体是由TPPN模型中的部分选择库所名称排列而成,每个染色体代表了一种科目-空域占用方案.利用基于TPPN的科目-空域占用过程仿真,得到每个染色体所对应的优化目标值.仿真试验证明,该方法融合了Petri网和遗传算法各自的优点,能够有效地实现航空兵部队飞行训练计划优化编排.     

基于时间Petri网的铁通调度指挥系统建模与分析

在分析了铁通调度指挥系统(TDS)建模存在的问题后,本文提出了基于时间Petri网的铁通调度指挥系统工作流模型.在此模型中,用时间Petri网表示工作流模型,并分析了基本结构的时序关系.利用在线性时间复杂度内解决时间推理问题的线性推理规则,本文用时间Petri网建立了TDS停机停线的工作流模型.最后,对TDS停机停线的时间性能进行了分析.     

Petri网融合蚁群算法的柔性装配系统调度

为解决柔性装配系统的调度问题,采用分层时延Petri网模型与蚁群优化算法相结合,将柔性装配系统分解成诸多个装配体,每个装配体再分解成多个柔性装配单元,对装配单元分别建模并用蚁群算法对装配方案遍历优化,最后确定装配系统的时延Petri网模型.该方法融合了Petri网和蚁群算法各自的优点,较好地解决了柔性装配系统中的装配建模和装配任务的分配优化问题.实验证明该研究可行有效.     

自动化立体仓库若干优化调度问题及其研究进展

针对某自动化主体仓库的实际运行过程 ,提出了影响仓库运行效益的若干优化调度问题 ,分别采用 Petri网、时态逻辑、模拟退火、遗传算法、神经网络等方法并结合计算机仿真技术进行了研究 ,给出了新近研究进展 .     

自动化立体仓库若干优化调度问题及其研究进展

针对某自动化主体仓库的实际运行过程,提出了影响仓库运行效益的若干优化调度问题,分别采用Petri网、时态逻辑、模拟退火、遗传算法、神经网络等方法并结合计算机仿真技术进行了研究,给出了新近研究进展.     

可拓推理的Petri网表示

将可拓理论的知识表达与Petri网相结合得到可拓展Petri网EPN(Extension Petri Nets)．EPN不但可以进行传统的逻辑推理以及模糊推理表示,还可以进行可拓推理表示,增强了Petri网对系统可扩展性的描述能力,同时也为可拓推理提供了有效的图形化表示方式,并行推理和数学验证分析方法．     

作业车间调度规则的挖掘方法研究

针对作业车间调度问题(JSP),提出基于决策树的调度规则挖掘方法,用于从基于传统优化方法所获得的优化调度方案中提取新的调度规则,指导作业车间调度过程.将时间Petri网络用于描述作业车间的调度过程,给出基于Petri网建模的分支定界算法用于搜寻优化调度方案.结合数据挖掘中的决策树分类技术,提出一种新的调度规则挖掘方法.该方法用于提取隐藏在优化调度方案中的调度模式,并将其用作新的作业车间调度规则.针对最小化最大完工时间(makespan)性能指标,在一组测试案例和一组benchmark问题上的对比实验结果表明:相对于已有的同类调度规则和传统的优先调度规则,利用该方法所构建的决策树调度规则能够生成更小的makespan值,从而证明了该方法的可行性和有效性.     

港口自动导引小车的优化调度研究

主要研究港口AGV的路径布置及其优化、AGV的合理配置、AGV的调度和AGV的避碰问题．提出采用基于遗传算法的面向对象Petri网建立AGV的数学模型，对AGV实现优化调度．同时提出一个避免AGV碰撞的智能策略．     

基于Petri网的面向测试的工作流系统建模方法

提出了一种基于Petri网的I/O_WF_Net模型。该模型将工作流中的活动抽象为Petri网中的迁移,将每个活动的输入输出抽象为Petri网中的库所,便于以后应用其生成测试用例。介绍了对工作流中各种组成部分及不同结构的I/O_WF_Net模型建模方法,给出了将带有输入输出约束的工作流网转化为I/O_WF_Net模型的算法及转化后模型的化简方法。     

基于扩展TTPN的多任务加工系统建模及资源优化

引入分类信息拓展赋时变迁Petri网(TTPN),给出扩展赋时变迁Petri网(ETTPN)模型定义,以分类集成方法,建立多任务加工系统ETTPN模型.与传统TTPN建模相比,该模型建模复杂度显著下降.结合多任务加工系统ETtPN模型,提出资源优化配置算法,通过实例验证该算法的有效性.     

柔性制造系统活性监督控制器的简化设计

基于Petri网,研究了一类柔性制造系统中由可被清空的信标引发死锁的一种预防策略．将Petri网中可被清空的信标分为基本信标和从属信标,给每个基本信标添加一个控制库所．通过调节信标的控制深度变量,可控制所有的从属信标,并提出从属信标受控时所应满足的条件．通过对控制器的结构分析和优化设计,提出一种判断控制库所是否冗余的方法．通过剔除冗余的控制库所,得到了结构更为简单,许可行为更多的活性Petri网控制器．     

模糊Petri网的合成运算

模糊Petri网是Petri网的一个重要方向,该文将Petri网的合成运算拓展到模糊Petri网系统,定义了模糊Petri网的共享合成和同步合成,并利用子网的关联矩阵构造出合成Petri网的关联矩阵,简捷方便地刻画了模糊Petri网的合成运算特点。     

基于STPN求解随机网络最短路的仿真方法

提出了基于时延Petri网求解网络最短路的仿真方法,该方法保持了Dijkstra算法的特性,充分利用了Petri网的并发特性,可迅速而自动地求出最短路,所需计算量仅正比于最短路的长度,与路径图的复杂程度及路径图中的通路总数无关.并将该算法推广到随机网络情形,提出基于随机时延Petri网(STPN)的随机网络最短路仿真算法,可迅速而准确地找到起点与终点之间的随机网络最短路的分布函数.     

基于RCEPN的资源配置优化模型与方法

由于系统资源变化会限制传统随机Petri网的应用,在对传统随机Petri网研究的基础上,提出一种带有资源约束的扩展Petri网（RCEPN）方法,使RCEPN中的每个变迁都有一类资源关联,并且变迁的实施速率与资源数量密切相关.RCEPN不仅使状态空间缩小,降低复杂性,也可使系统中任务和资源间的逻辑关系更加清晰,便于流程描述.利用排队论和数学规划给出了流程优化的数学模型,形成了解决资源优化配置问题的0-1规划,使RCEPN系统的响应时间最短.通过采购业务流程实例,验证了模型建立和优化方法的有效性.     

子网行为等价的特殊网系统的同步距离

同步距离是刻画事件之间同步关系的一个重要的定量分析手段,已经有相关文献表明它对系统的设计和分析提供了很大的帮助,尤其在工作流和工业生产控制系统的协调结构设计方面有着显著的优势。然而目前只有一些特殊的子网中变迁之间的同步距离计算有较简洁的算法,为了使得更多的网系统其同步距离计算也能够有简洁的算法,证明了若一个网系统的行为等价与某个特殊的子网,那么此网系统中变迁之间的同步距离的求解就可以转化为其行为等价的特殊子网的同步距离的求解问题,并且给出了寻找其行为等价的特殊子网的算法,最后进行了相应的实验验证。