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

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

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

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

柔性制造系统的生产调度仿真

本文提出评价柔性制造系统(FMS)的性能指标和生产调度问题,引入生产调度问题的决策规则。基于FMS的Petri网模型,根据最小事件时间推进原理,引入解决冲突规则,论述多种生产调度规则在Petri网模型中的实现方法和Petri网模型的计算机动态仿真程序,并有仿真实例。     

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

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

面向虚拟企业生产计划与控制的HMS模型改进及分析

HMS(Holonic Manufacturing System)同时具有递阶系统的稳定性、可预测性、系统性等特点和非递阶系统的动态性、柔性、分布性等特点,是虚拟企业生产计划与控制的理想模型.文章的研究涉及基于HMS的虚拟企业生产计划与控制模型的改进、HMS模型转换为Petri网模型的方法,以及如何通过Petri网模型来分析系统性能.     

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

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

基于petri网的焊接柔性制造系统信息建模的研究

由于焊接柔性制造系统(FMS)的控制具有高度的复杂性，其信息资源的变化具有分布、并发和异步等特性，传统的控制方法很难进行有效的控制，利用petri网(PN)控制理论，能对系统的各种信息并发、同步等状态很好的利用而建立完整的模型。本文利用具有约束弧的焊接有色时间PN的方法对焊接柔性加工系统进行了建模(SWTCPN模型)，并在理论上给出了其分析，证明了模型的正确性，也拓展了petri网的应用范围。     

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

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

基于扩展Petri网模型的BPR过程的实现

BPR是对企业的业务流程进行根本性再思考和彻底性再设计,以取得业绩的显著提升的有效方法.文章在分析工作流程模型基本要素的基础上提出了一种适用于BPR的基于Petri网的模型--工作流网,该模型增强了对企业核心流程活动的性能的描述和分析能力.最后文章通过一个业务流程的实例实现了基于扩展Petri网的BPR过程,并讨论和分析了该业务流程重构过程的正确性.     

基于Petri网的液压平台控制系统设计

提出了一种液压式平台分布式控制系统的设计方法，基于Petri网理论，建立了平台调平分布式控制系统的Petri网模型，通过分析宿主控制计算机与从机的关系以及协调方法，给出了由网模型设计软件的策略。