基于Petri网控制系统模型的构建与实现

提出了一种面向对象的Petri网(OPN)的建模方法并分析柔性制造系统(FMS)的状态动态变化.基于Petri网中单个结点对象的分析,以及对整个Petri网的网关及对应输入输出消息处所的构建,我们建立了一个FMS模型.在这个模型中,探讨了避免自动移动小车(AGV)和机器人的冲突和死锁的算法.通过对该模型各个对象有效的动态变迁的逻辑分析,在遵从一些特定的控制规则前提下成功开发了模拟调度控制软件,使控制模型更具智能性.     

基于赋时Petri网的批处理系统建模

批处理系统建模是其性能评价、仿真、调度以及控制研究的基础。批处理生产系统是动态离散事件系统，串行与并行生产过程并存。为了建立批处理系统的动态模型，引入了赋时Petri网的建模概念和特征，进行了批处理系统中资源模块的建模描述。在此基础上，提出了批处理系统的通用赋时Petri网的建模方法。采用提出的批处理系统建模方法，针对具体的批处理实例系统进行了建模。同时，在实例模型基础上，进行了批处理系统的调度研究。     

FMS实时调度专家系统

计算机技术的飞速发展加速了柔性制造系统的实现。本文对FMS调度问题进行了叙述,说明了解决FMS生产调度问题的传统方法,将专家系统引入FMS调度问题的求解中,并讨论了FMS专家调度系统的概念、原理及组成。     

FMS实时控制系统动态建模方法(一)

在建立FMS物理对象的功能模型，状态转移图（STD），面向对象的Petri网（OPN）模型的基础上，本文将着色Petri网与面向对象技术相结合，提出了一种实时控制系统的建模方法－面向对象的着色Petri网（OCPN）建模方法，此建模方法在无锡职业学院的FMS的实时控制系统中得到验证。     

FMS实时控制系统OCPN模型的死锁分析(二)

为了使FMS实时控制系统OCPN（面向对象的着色Petri网）模型具有可靠性，本文在D‘Souza的死锁分析算法基础上，提出了检测通用OPN（面向对象的Petri网）模型和OCPN模型的死锁检测算法，同时利用提出的算法，对AGV物理对象OPN模型及无锡职业学院FMS中构造的OCPN模型进行了死锁分析，通过实例验证本文提出的死锁检测算法是简单性和通用性等特点。     

基于赋时Petri网的机器人小臂装配线建模

针对机器人小臂装配过程复杂、装配线平衡分析困难的问题,提出一种以自上而下/自下而上为指导思想的赋时Petri网建模方法。根据机器人小臂实际装配的特点,研究了该装配线模型的定义规则和构建方法。在引入模型假设之后,先用自上而下的思想建立基于流程的赋时Petri网模型;再用自下而上的思想建立基于任一工序的赋时Petri网模型;然后将前两步所建模型相结合并细化,从而建立整个装配线的赋时Petri网模型。最后,通过建立和分析对应模型的可达树验证了该建模方法的可行性。研究对指导机器人小臂装配线的构建具有较大的应用价值。     

基于规则的人工神经网络FMS动态调度

本文在确定FMS动态调度的优化目标和策略的前提下，提出了基于规则的反向传播学习算法（BP）的神经网络FMS动态调度的方法，FMS的生产状态参数作为神经网络的输入，动态调度策略作为网络的输出，通过实例验证本文提出FMS动态调度的方法简单性，灵活性和实时性等特点。     

制造系统敏捷性仿真建模软件开发

为了提高制造系统的建模速度和模型的可靠性,提出一种基于Petri网和eM-Plant的敏捷性仿真建模技术.应用面向对象思想和编程工具Visual Basic开发图形化的Petri网建模工具,实现Petri网的建模与分析;分析软件开发的关键技术,通过eM -Plant的COM接口调用eM-Plant的内部函数,配置eM-Plant对象,生成布局模型,并根据一定的转化规则把Petri网的控制逻辑转化为SimTalk语言;通过熔模铸造悬挂生产线的仿真验证表明:该建模方法提高了模型的可维护性和可重用性,保证了模型的可靠性,从而实现制造系统的快速建模.     

柔性制造系统(FMS)调度中的进化算法研究

在对调度方法进行深入分析研究的基础上，开发了基于进化算法的FMS调度方法。该方法充分考虑了与FMS调度相关的各种因素，对一种常见的编码形式作出了新的解释，设计了一套新的编码方法以保证编码的合理性，并进行了仿真实验分析。结果证明了基于进化算法的FMS调度仿真模型可以有效地解决FMS调度这样具有多约束条件的优化问题。与其它方法相比较，这一算法收敛得较快，稳定性好，使用范围较广，具有很高的实用价值。     

柔性制造系统工件自动搬运小车动态实时调度模型及算法

FMS的自动搬运小车实时调度问题是FMS生产调度管理中的重要问题之一。本文将FMS生产过程中工件流动的动态性和相对稳定性结合起来考虑,建立了自动搬运小车的实时调度动态数学模型。在此基础上给出小车的实时调度算法。这种算法具有调度优化程度高,计算复杂性低等优点,可以较好地解决FMS中自动搬运小车的最优实时调度问题。图2幅,表2个。     

基于Petri网和GA的多目标动态优化调度问题研究

以最小化生产周期、机床负载和机床与工人的费用为调度目标,基于受控Petri网和遗传算法提出了一种多目标作业车间调度方法,用于解决作业车间的加工受到机床、操作工人双资源制约条件下的动态优化调度.首先,给出了基于Parikh矢量的Petri网控制器简化设计方法,并应用该方法构建了基于紧急订单的受控Petri网模型;然后设计了基于Pareto的遗传算法,能够获得Pareto最优解集;尤其重要的是能够针对车间的动态扰动给出相应的调度方案.最后,通过实例验证了该方法的可行性和有效性.     

FMS调度管理算法性能评价方法

本文通过Flow-shop方式的生产节拍计算推导了Job-shop方式的生产节拍估算法;介绍了FMS调度管理算法性能评价综合目标;不用计算机仿真就能对FMS系统设计和调度策略的选定提供理论依据。     

基于Petri网T_不变量考虑约束条件的可选加工方法链决策

计算机辅助工艺规划系统中的加工方法决策和加工顺序决策是迄今为止一直没有得到很好解决的关键问题.由于Petri网是对离散事件动态系统进行描述、建模和分析的强有力的工具,而机械制造系统又是典型的离散事件系统,所以文中采用Petri网来求解工艺规划问题.首先根据Petri网原理和产生式规则建立了基于规则的Petri网加工方法链模型;然后在考虑约束条件的基础上,提出了一种新的可选加工方法链T_不变量生成方法;最后对具体的实例进行了分析和验证.     

有色,计时Petri网在柔性制造系统作业调度仿真中的应用

本文以上海第四机床厂箱体零件柔性制造系统为背景,介绍了用有色、计时Petri网对系统的建模、作业调度仿真和性能评价。     

基于Petri网的多轴机床故障诊断研究

本文分析了多轴机床安装和生产中所面临的故障问题，结合故障诊断问题的特点，在基于Petri网基本原理的前提下，建立了故障诊断的Petri网模型，并分析了故障的传播机理。     

FMS中机器人控制系统的建模与实现

文章将机器人控制系统作为FMS控制系统中的一个通用组件来研究其建模、软件设计以及实现的方法。为了使机器人控制组件具有控制逻辑评价功能，采用面向对象方法来建立机器人控制系统的Petri网模型；为了使机器人控制组件能在FMS环境中实现即插即入的功能，进行了机器人组件与FMS中其它组件的基于CORBA的通讯接口的定义。为了使软件控制系统具有良好的维护性、重用性和可重配置性，建立了面向对象类的统一建模语言（UML）模型，同时开发了机器人控制组件，并在无锡职业学院FMS的机器人控制系统中得到验证。     

基于层次时间Petri网的飞机部件装配过程建模方法

为提高飞机部件装配作业的效率,需要建立装配过程模型辅助生产管理,模型是装配过程设计、分析和优化的基础。本文提出一种基于层次时间Petri网的飞机部件装配过程建模方法,首先在分析飞机部件装配特点的基础上建立了装配过程的三级作业单元模型;然后通过对装配作业单元的模型表达,给出了基于层次时间Petri网的装配过程模型构建步骤和模型运行要遵守的规则;采用线性代数的不变量分析方法,实现了模型特性的分析。最后,以某型飞机外翼架内装配为例,建立了仿真模型,说明了该方法的有效性。     

FMS物流系统的数字和动画仿真系统HFMS的开发

本文介绍了作者开发的FMS物流系统的数字和动画仿真系统ΠFMS,该系统可有效地用于一般FMS物流系统的规划设计和生产作业调度方案的寻优。图8幅。     

基于性能驱动的设计过程Petri网建模

讨论了一种基于性能驱动的设计过程Petri网模型。根据性能驱动设计两种数据模型定义了性能库所和结构库所；通过引入痕迹托肯及基点火规则描述了设计活动中各种数据信息流动；以电磁轴承转子系统设计为例进行了建模和分析。     

基于并行工程的制造业信息系统开发Petri网模型

文章把把并行工程的概念引入到制造业信息系统开发中来。分析了一种基于并行工程的制造业信息系统开发的Petri网模型及其工作原理。利用Petri网的特性与优点，结合制造业自身的特点，阐述了在并行工程下，利用Petri网进行制造业信息系统开发的过程。