板材FMS基于规则的面向对象Petri网建模

基于柔性制造系统（FMS）的运行特点，提出了基于规则的面向对象扩展着色赋时Petri网建模方法，该方法集中了面向对象技术和Petri网的优点，并融系统决策规则于模型中，利用该方法建立了板材FMS的模型，为系统仿真和调度研究创造了条件。     

FMS调度与控制的统一建模与集成设计

分析了FMS调度与控制统一建模与集成设计的必要性，从FMS运行过程的IDEF0功能建模入手，建立了基于模块化彩色赋时Petri网（CTPN）的FMS调度与控制的统一模型。该模型不仅可描述FMS的调度问题，而且能表达FMS的运行控制逻辑与仿真，从而为FMS控制系统的集成设计奠定了基础。为简化FMS控制系统的设计，提出了虚拟工作站的概念与方法，将FMS控制器的部分控制功能下放到低层的工作站控制层。基于上述CTPN统一模型，开发了FMS调度与控制的集成设计原理和方法。     

柔性制造系统动态调度优化建模研究

针对柔性制造系统的调度优化问题,讨论了一种使用赋时变迁Petri网理论,建立基于优先级的FMS系统的动态生产调度系统优化模型的方法.通过构建加工单元模块,并结合多个调度规则,对系统模型进行优化,使系统能够对各种变化做出实时响应,并以实例验证该模型的动态响应能力和有效性.     

基于Petri网模型的FMS控制决策方法研究

应用Petri网理论 ,通过对现有FMS(柔性制造系统 )进行分析和研究 ,确定了该FMS中的各状态和事件及其因果关系 ,建立了实际FMS的Petri网模型。通过该模型的描述和对FMS实际运行情况进行分析 ,建立了优化调度控制规则。依据模型和调度控制规则 ,构造了该FMS管理与控制软件 ,实现了用于一实际FMS的调度与控制决策系统和动态运行的有效控制     

运用Petri网和GA的资源可协作柔性生产调度研究

提出一类资源可协作的柔性生产调度问题,利用包含过程流子网和资源子网的赋时Petri网对该问题建模。采用两级遗传递阶优化方法来求解资源可协作的柔性生产调度问题,在自适应遗传算法优化加工路径的基础上,再用单亲遗传算法优化作业排序,并通过运行Petri网仿真来获得调度性能评价。最后的实例仿真结果说明了算法的有效性。     

基于面向Agent的赋时着色Petri网的可重构装配线建模

针对可重构装配线建模问题,提出了面向Agent的赋时着色Petri网的可重构装配线建模方法.在对装配资源进行分类的基础上,将装配资源Agent内部行为进行封装,建立了装配资源Agent的面向Agent的赋时着色Petri网模型,并通过过渡变迁合成可重构装配单元面向Agent的赋时着色Petri网模型.根据每个可重构装配单元之间的逻辑关系,确定整个系统的消息传递关系.在此基础上,实现了装配线快速重构.通过引入相应的多Agent交互协议模型来解决模型中存在的死锁和冲突.最后通过实例分析说明了该建模方法的有效性.     

面向代理的半导体生产线建模技术研究

为了有效分析和评价基于多代理的半导体生产线调度与控制性能,提出了面向代理的有色赋时Petri网的半导体生产线建模方法。将设备代理内部行为进行封装,建立了设备代理的有色赋时Petri网模型。同时,将半导体生产线多代理模型按层次划分为设备代理层、设备组层和系统层,有效地降低了模型的复杂性,提高了模型的可重用性。建立了分布式半导体生产线仿真平台,以实现基于面向代理的着色赋时Petri网的半导体生产线仿真定量分析与评价。以上海某半导体制造企业6英寸晶圆生产线为例,其仿真结果验证了建模与仿真的有效性。     

时间约束工作流模型的简化分析与可调度性验证

为解决复杂工作流的时间建模与可调度性验证问题,提出了将简化规则应用到Petri网工作流模型中的方法.首先,给出了时问约束Petri网的相关定义和基于此的工作流建模方法,实现了工作流模型及其时间信息建模.然后,为了对工作流网的可调度性进行验证和分析,给出了时间约束Petri网时间可调度的概念,并根据时间约束等价变换原则,提出了基于时间约束Petri网的四种基本工作流组件模型的简化规则和压缩推理方法.该方法可以对复杂的工作流模型进行简化,计算模型节点的时间参数,从而完成含有时间信息工作流结构或流程的时间建模和可调度性分析.最后,以保险索赔为例验证了所提方法的可行性.     

基于扩展高级全局决策Petri网的FMS优化模型

柔性制造系统是一个复杂的离散事件动态系统。在扩展高级决策：Petri网的基础上，提出了一种具有全局结构的扩展高级全局决策：Petri网，对柔性制造系统进行建模的方法。以扩展高级全局决策Petri网与基于遗传的最小平衡算法结合为例，证实了扩展高级全局决策：Petri网与智能优化方法相结合，既提高了FMS优化调度的整体性能，又使调度具有较强的可观性。     

基于有色Petri网的FMS生产系统的研究

运用有色Petri网对FMS柔性生产系统进行建模,在深入研究Petri网和扩展Petri网相关理论的基础上,从整个生产系统的控制功能方面验证了利用Petri网所建立系统模型的正确性。再在CPNTools环境下对生产系统模型进行了仿真,通过对生产系统仿真模型运行状态的跟踪,发现了具体导致生产系统运行出现死锁状态的原因,并提出相应的改进方法,该方法成功地应用于FMS生产系统的整个加工过程中。