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

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

基于 Petri网的柔性制造系统动态优化模型

为解决柔性制造系统的动态优化调度问题,在基于扩展高级全局决策Petri网的柔性制造系统优化模型的基础上,提出了实时一优化切换控制Petri网模型。该模型在柔性制造系统发生加工设备故障、急件插入等异常情况时,自动切换并运行全局优化调度算法,并在系统允许的时间范围内,再切换返回到原有系统状态,按照新的优化结果运行。最后,以实时一优化切换控制Petri网模型与基于遗传的最小平衡算法结合为例,证实了该模型是有效的。     

基于扩展Perti网的叶片FMS建模研究

将计时Ｐｅｔｒｉ网扩展到计算机网络环境，提出一种新的网络计时Ｐｅｔｒｉ网，用于叶ＦＭＳ建模中，并给出仿真结果。     

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

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

柔性制造系统时延Petri网模型排产优化研究

为解决现有柔性制造系统排产效率低的问题,提出一种基于时延Petri网模型的柔性制造系统排产优化方法。首先,根据柔性制造系统生产模式的特点,为其建立包含生产路径约束信息的时延Petri网模型。其次,设计遗传算法与模拟退火算法的混合算法,快速搜寻时延Petri网模型最优或次优变迁发生序列,从而得到系统加工优化路径。最后,通过算例仿真与分析,表明该算法具有较高的准确率,且有较强的跳出陷阱能力,证明了其在基于时延Petri网模型的柔性制造系统排产优化方面的有效性。     

柔性装配制造系统中生产优化的Petri网方法

本文在基本Ｐｅｔｒｉ网的基础上,给出了一种进行周期性生产的柔性装配制造系统的模型;同时,针对该系统,给出了一个求稳定需求下最佳生产指量的启发式调度方法。     

基于扩展Petri网的叶片FMS建模研究

将计时Ｐｅｔｒｉ网扩展到计算机网络环境，提出一种新的网络计时Ｐｅｔｒｉ网，用于叶片ＦＭＳ的建模中，并给出了仿真结果。     

板材FMS的面向对象扩展Petri网建模与分析

基于柔性制造系统（ＦＭＳ）的运行特点,提出面向对象扩展着色赋时Ｐｅｔｒｉ网建模方法。建立了板材ＦＭＳ的Ｐｅｔｒｉ网模型,对模型中的潜在冲空进行分类和分析,为系统传真和调度研究创造了条件。     

基于面向对象智能Petri网的FMS单元控制模型

单元控制器是CIMS递阶控制模型中具有决策功能的最小自治单位,在实时性和可重用性方面有较高的要求。提出了一种基于面向对象智能Petri网的离散制造单元控制系统模型,该模型可以表示高级调度知识,可重用性强,便于开发高效、可靠的单元控制系统。讨论了面向象智能Petri网的定义、运行冲突分析和建模方法,并举例进行了说明。     

基于柔性制造系统的Petri网模型简化规则

为解决Petri网模型中的状态爆炸问题，提出了一种将简化规则应用到Petri网模型中的方法。该方法通过库所和变迁的合并与消除，来达到简化模型的目的。以柔性制造系统的加工站为例，建立加工站的Petri网模型，将简化规则应用到改进的加工站模型中。为了说明简化网保持了原网的外部功能，利用基于时序Petri网的时态逻辑规则进行了证明。结果显示，简化网在保持功能性的基础上，提高了验证和分析的效率。     

基于Petri网的FMS教学系统控制器设计

以文献［１］提出的实时控制Ｐｅｔｒｉ网（ＲＣＰＷ：Ｒｅａｌ－ｔｉｍｅｃｏｎｔｒｏｌＰｅｔｒｉＮｅｔ）为础，为柔性制造教学系统设计了一个实时协调控制器，并给出了控制器的硬件结构以及软件设计过程。为验证ＦＭＳＰｅｔｒｉ网控制器软件自动设计方法打下了基础     

An FMS scheduling and control decision support system based on generalised stochastic Petri nets

This paper presents an FMS scheduling and control DSS (decision support system) using generalised stochastic Petri nets (GSPNs) for model representation and analysis. The function of the DSS is to assist the FMS operator to search for suitable control strategies that will achieve efficient performance. It can also be called upon in the event of unforeseen changes in production requirements, component failures, or other related contingencies. The GSPN modelling approach is employed because GSPNs can characterise random processing times, machine breakdown and repair rates. The GSPN employed in the proposed DSS also incorporates dispatching control at conflicting immediate transitions and can be used to determine various performance measures pertaining to scheduling and control. An application example of the DSS for the processing of two part types in a three-machine FMS is also described.     

基于Petri网的智能制造系统建模

阐述了Petri网在智能制造系统建模中的突出优点,对其进行了扩展,并与面向对象技术相结合形成了面向对象Petri网（OOPN）,提出了利用OOPN建立智能制造系统结构模型,行为模型,控制决策模型和消息模型的方法,通过利用OOPN建立智能制造中加工结点模型的实例,充分说明了面向对象Petri网的有效性和强大的建模能力,为智能制造系统的设计,性能分析,运行状态监视提供了一条有效途径和强有力的工具,必将在制造领域得到广泛应用和进一步的发展。     

基于Petri网的FMS仿真系统的构建与实现

介绍了柔性制造系统(FMS)的基本原理,围绕如何增加和降低柔性提出了一种仿真系统.该仿真系统是基于Petri网原理进行构建与实现的,为FMS开发提供了一种最经济、最安全、最便捷的实验和决策手段.     

Deadlock prevention and avoidance in FMS: A Petri net based approach

The use of structure theory of Petri nets to develop efficient deadlock prevention and deadlock avoidance methods for flexible manufacturing systems (FMSs) modelled by S⁴R nets is demonstrated. Major synchronisation patterns, such as generalised parallel and sequential mutual exclusion, frequently observed in FMS contexts can be represented by this class. The liveness property of a given S⁴R net (deadlock-freeness in the context of FMSs) is characterised in terms of structural Petri net elements called siphons. An efficient method for controlling minimal siphons of a given S⁴R net is developed where local control places are added to the net. A sufficient condition for liveness of the augmented net is provided. This constitutes a deadlock prevention approach. When the net liveness condition is not satisfied, an on-line controller, using a dynamic resource allocation policy, is developed for the augmented net. The performance of the proposed approaches is illustrated using several examples.     

基于扩展Petri网的混合流程生产过程建模

提出了一种扩展的 Petri网建模语言 (Hy Net) ,该语言将面向对象技术、谓词逻辑和微分方程融入高级Petri网中 ,把托肯 (token)作为对象 ,利用弧变量将库所 (place)中托肯携带的信息传递到其后置变迁。这些信息可用来控制变迁的使能条件、规定变迁的活动和计算变迁的激发延续时间。因此 ,这种语言具有很强的模型描述能力 ,利用它所建的模型具有很好的柔性。作为案例 ,文中利用该语言建立了一个具体的混合流程企业的生产过程模型。     

基于Petri网理论的动态系统可靠性建模方法研究

利用Petri网对动态系统的描述能力，将Petri网应用于机械系统可靠性分析领域。研究了基于Petri网理论的故障事件及其逻辑关系的表达方法，探讨了将Petri网应用于复杂动态系统可靠性建模的方法，给出了应用示例。