扩展Petri网结合遗传算法求解Job-Shop问题

针对Job-Shop问题的复杂性,本文定义了一类扩展的时间Petri网对问题进行建模,该模型解决了一般Petri网存在的“死锁”现象,使原始问题转变为状态转移问题,并结合遗传算法进行调度优化。仿真验证了该调度算法的有效性。     

基于着色Petri网实现A星算法的生产调度优化研究

基于着色Petri网对A星算法进行建模,研究生产调度优化问题.利用着色Petri网的理论优势,简化了大规模复杂工艺生产过程的调度模型过于复杂的问题.直接建立A星算法的着色Petri网模型,对于生产调度研究中的跨平台问题给出了一种解决方法.通过着色Petri网仿真模拟软件CPN Tools构建了基于着色Petri网的A星算法实例和生产调度实例.     

基于Petri网和UML的流水作业调度模型设计及实现

为了对流水作业调度的行为提供支持,需要对其进行有效的建模和模型分析。Petri网具有坚实的理论基础和易于使用的图形表示,是一种理想的建模和分析工具。UML是一种易于编程实现的面向对象建模工具。针对UML和Petri网建模的特点,本文采用Petri网与UML相结合的建模分析方法,融合了Petri网精确、严格的形式化描述和UML友善的用户界面的优点。并提出了将Petri网转化为一种可以表示对象间的同步、并发的扩展状态图的方法。利用Petri网描述系统的动态特性,经过分析、验证或仿真后,通过提供的转化规则将Petri网模型转化成相应的UML动态图、扩展的状态图,对流水作业调度问题建模。利用动态规划算法解决满足Johnson法则的最优作业调度问题,并用Java实现。     

基于Petri网和PSO算法的动态分类车间调度

以带有约束条件的Petri网为动态车间调度问题建模,同时提出一种针对动态车间调度问题的编码粒子群算法,对调度序列进行优化．对算法进行了仿真研究,研究结果表明该算法是可行、有效的．     

扩展Petri网在PPCES建模中的应用

利用生产计划与控制专家系统(PPCES)进行启发式搜索,根据Petri网建模原理及PPCES的推理需要,对生产系统建模,定义了一类扩展有色、时间Petri网,用来解决Job-shop型生产系统中NP难度的调度问题.实践证明,这种方法不仅可以在增强模型描述能力的同时有效地降低其复杂度,还可以应用专家系统领域的知识指导系统进行冲突消解,从而避免了常规分析方法所带来的组合爆炸问题.     

基于Petri网和基因表达式编程的作业车间调度研究

为了更好的解决车间调度问题,提出了一种基于时延Petri网(TdPN)和基因表达式编程相结合的调度算法。在该方法中,基因表达式编程根据时延Petri网模型中的部分变迁序列来确立染色体,每条染色体表示一种车间调度方案。作者选用了基因表达式的选择、交叉、变异三种类型进行遗传操作,利用延时Petri网对车间调度过程的仿真,根据变迁的赋时时间获得每条染色体的相应的时间。最后本文结合基因表达式编程具有较好的寻优能力和Petri网对动态的离散事件的过程能进行很好的描述的优点,在文章实验中验证了此方法的可行性。     

一种嵌入式系统扩展流关系Petri网及应用

为了将数据流和控制流在同一个模型中明确标识,将经典Petri网的4元组结构扩展为7元组,定义一种新的嵌入式系统扩展流关系Petri网表示方法,应用该表示法对火车控制系统进行建模,并将该模转换成等价的时间自动机模型,用UPPAAL进行形式化验证.验证结果表明火车控制系统具有可达性和安全性,说明建立的模型是合理有效的.     

基于工作流技术的PDM文档管理

首先分析了PDM动态文档的流转问题，给出了一种PDM动态文档的流转机制．并且提出了一套基于扩展Petri网的PDM动态文档流程建模方法，给出了扩展Petri网的形式化定义以及建模规则，在此基础上描述了PDM动态文档流程的实例化以及PDM动态文档管理的具体实现。     

Petri网及其空调系统建模应用

首先介绍了Petri网的定义、性质以及几种重要的扩展形式的Petri网,然后以空调管理系统中混合箱的模型为例来说明Petri网在系统建模中的应用,该模型经仿真验证结构合理,且对于进一步研究空调系统的Petri网模型具有重要的意义．     

Petri网在ERP实施中业务流程建模的应用

对企业在实施ERP中的业务流程优化问题,提出了一种基于Petri网的业务流程优化和配置方法.首先分析ERP实施中的业务流程建模,指出采用Petri网建模的适用性.其次运用Petri网对流程给出形式化定义,提出优化规则,探讨基于Petri网的流程模型在ERP软件中的实现.最后结合某企业实施用友ERP的过程进行实例分析.     

多卫星—地面站系统的Petri网模型研究

提出一种新的扩展Petri网模型——时间约束着色Petri网,并对其进行了研究。然后,在对多卫星——地面站系统中的服务类型、资源类型及性能、设备调度规则等进行分析的基础上,建立了多卫星——地面站设备调度的时间约束着色Petri网模型,为整个星地系统的动态性能分析、设备配置方案优化提供了方法途径。     

改进的花朵授粉算法在微网优化调度中的应用

研究了用于解决微网优化调度问题的群智能算法.针对微网优化调度问题的多目标、多约束条件等特点,对微网优化调度问题建模;提出了改进的花朵授粉算法,并将其应用到微网优化调度问题.在初始化时,采用对立点方法增加种群多样性和优化搜索空间;局部更新时,使用一种新的局部更新算子提高算法收敛速度;此外,为了减少计算量和避免陷入局部最优,定义了是否使用遗传操作的判断条件.仿真结果表明,该算法性能优于原始花朵授粉算法和遗传算法等其他算法.     

基于Petri网的工作流建模及时间性能分析

为求得与实例到达率相关的工作流模型平均完成时间,对Petri网模型进行了扩展,定义了扩展时延Petri网,分析了工作流串联、并联、选择、循环4种基本模型,给出了利用排队论和随机Petri网理论计算工作流模型时间性能指标的新方法。应用该方法对工作流4种基本模型的实例进行时间性能评价,并在Exspect环境进行了模拟测试。实验结果表明,在4种模型中最大相对误差在2%左右,从而证明基于扩展时延Petri网的方法是分析工作流系统时间性能的有效方法。     

一种基于混合Petri网的批过程动态调度算法

针对批处理过程动态调度问题的特点，以赋色时间限制混合Petri网为工具，建立了批过程动态调度的混合Petri网模型，将批过程的调度问题映射技术为求Petri网中变迁的最优激发序列问题。在此模型基础上，根据动态规划基本原理，以资源的终极利用即最短生产周期作为调度目标，提出了一种基于赋色时间限制混合网模型求取变迁的最优激发序列的方法，并针对实际情况中出现的复杂的中间产品存贮策略，讨论了在各存贮策略约束下该模型中时间限制区间的确定方法，最后以炼钢－连铸生产系统的过程调度为例，对该算法进行仿真。多次仿真结果表明，当任务和设备的初始时刻或者过程的动态过程发生改变时，调度结果各不相同，从而验证了该算法的有效性。     

混合蚁群遗传算法在车间作业调度的应用研究

提出了一种解决车间调度最短完成时间的有效的混合算法.将遗传算法与蚂蚁算法的融合,采用遗传算法生成信息素分布,利用蚂蚁算法求精确解,优势互补.应用该算法对Job-Shop车间作业调度问题的解进行编译,通过实例表明该算法是可行有效的.     

一种新型的混合Petri网:步混合Petri网

Petri网是一种图形的和数学的建模工具,适合于许多系统的建模．为了提高Petri网建模能力引入运行步概念,并在连续Petri网的基础上提出一种新型混合Petri网——步混合Petri网,分析该网特点及其运行规则,并用该网分别对数字型PID控制器和模拟型PID控制器进行建模．     

基于随机时间Petri网的第三方物流业务流程建模与分析

以流程为核心对供应链进行再造是优化供应链的重要措施．而对流程进行量化的分析评价是近年来流程再造研究的热点．Petri网以其兼备图形化的描述方式和严格的数学定义的特点而成为目前流行的业务流程建模工具．给出随机时间Petri网的定义及其性能评价方法之后,对第三方物流业务流程进行建模和分析。     

基于赋时着色Petri网的协同工作建模和性能研究

提出了利用赋时着色Petri网(Timed Colored Petri Net)对协同工作进行建模和性能分析的方法;从性能角度提出一种新的协调策略,即从任务动态分配的角度对协同性能进行分析,并比较了各种资源优化分配的不足之处;提出利用模糊策略的方式,按照协同成员(组)的不同能力,在满足完成时间的要求下进行任务分配,从而达到了整体协作性能提升的效果．同时,用Deisgn／CPN对该策略进行了仿真分析,其结果证明了该方法的有效性和可行性．所提的调度策略已在CooPDesigner系统中得以实现．     

基于面向对象Petri网的配送业务流程建模

要建立满足企业需求的快速、高效的流程,对流程进行建模、仿真、分析优化是一种比较科学且经济的方法。现有的研究工作,主要有IDEF系列、ECAA（事件-条件-动作规则）、Petri网等建模方法。其中,Petri网以其独特的优势而成为当今比较流行的建模方法,它既有严格的数学定义,又具有图形表示方法,可用于复杂系统建模。在介绍基本Petri网的概念后,又给出了面向对象Petri网的定义,分析了它的特点,并以面向对象Petri网作为工具,建立了配送业务流程模型,旨在以模型为基础进行流程性能分析．为流程优化提供分析手段。     

一种基于模糊Petri网的操瞄系统故障诊断方法

针对操瞄系统故障诊断建模中动态行为较难描述的问题,利用模糊Petri网的方法对系统中的故障传播进行建模.引入模糊产生式规则进行知识表示,研究了模糊Petri网的故障诊断建模方法及其推理算法.利用该方法对某牵引火炮的操瞄系统进行故障分析. 分析结果表明,基于模糊Petri网的故障诊断方法,结构简单、易懂,具有良好的故障表达形式以及有效的模糊推理能力,是一种行之有效的故障诊断方法.