Autonomy-subnet based structural synthesis and liveness guarantying policy of Petri net model of flexible manufacturing system

In this paper, an autonomous subnet based structural methodology forbottom-up synthesis of Petri Nets for Flexible Manufacturing Systems is proposed.Furthermore, the theoretical analysis of the model constructed by the method is carried byintensively using model's structural information, such as invariants, siphons, etc.. As aresult, the analysis leads us to draw the general conclusion that the model obtained isconservativeness and thus bound, and characterize its liveness in terms of zero-markingminimal siphons. It is based on model's structural information that distinguishes ourmethod from others. in line of this thought, a liveness guarantying policy for the obtainedmodel is proposed. Some control subnets are merged into the original model according tothe proposed synthesis rules in this paper to ensure that no minimal siphons are emptiedin any state, therefore the liveness is guaranteed. As a result, a live, conservative andrevertible Petri Nets is obtained. A practical example is also presented to     

Petri net based decision system modeling in real-time scheduling and control of flexible automotive manufacturing systems

This paper presents the design and the implementation of a Petri net (PN) model for the control of a flexible manufacturing system (FMS). A flexible automotive manufacturing system used in this environment enables quick cell configuration, and the efficient operation of cells. In this paper, we attempt to propose a flexible automotive manufacturing approach for modeling and analysis of shop floor scheduling problem of FMSs using high-level PNs. Since PNs have emerged as the principal performance modeling tools for FMS, this paper provides an object-oriented Petri nets (OOPNs) approach to performance modeling and to implement efficient production control. In this study, we modeled the system as a timed marked graph (TMG), a well-known subclass of PNs, and we showed that the problem of performance evaluation can be reduced to a simple linear programming (LP) problem with m − n + 1 variables and n constraints, where m and n represent the number of places and transitions in the marked graph, respectively. The presented PN based method is illustrated by modeling a real-time scheduling and control for flexible automotive manufacturing system (FAMS) in Valeo Turkey.     

Multiobjective scheduling algorithm for flexible manufacturing systems with Petri nets

In this work, we focus on general multi-objective scheduling problems that can be modeled using a Petri net framework. Due to their generality, Petri nets are a useful abstraction that captures multiple characteristics of real-life processes.To provide a general solution procedure for the abstraction, we propose three alternative approaches using an indirect scheme to represent the solution: (1) a genetic algorithm that combines two objectives through a weighted fitness function, (2) a non dominated sorting genetic algorithm (NSGA-II) that explicitly addresses the multi-objective nature of the problem and (3) a multi-objective local search approach that simultaneously explores multiple candidate solutions. These algorithms are tested in an extensive computational experiment showing the applicability of this general framework to obtain quality solutions.     

基于Petri网的柔性制造系统调度控制模型

给出了自顶向下构造柔性制造系统(FMS)Petri网模型的方法,提出了随机创建指定数目满足指定条件的测试模型的算法,并给出程序仿真运行的演算规则。在此基础上实现了基于Petri网FMS分析与调度仿真软件平台,该平台可配置性强,容易维护,降低了柔性制造系统方针研究的复杂性。最后给出了该模型实现的模块结构。     

Dynamic scheduling in flexible assembly system based on timed Petri nets model

This paper investigates a scheduling model for optimal production sequencing in a flexible assembly system. The system features a set of machines working together in the same workspace, with each machine performing a subset of operations. Three constraints are considered: (1) the precedence relation among the operations specified by the assembly tree; (2) working space that limits concurrent operations; and (3) the variation of process time. The objective is to find both a feasible assignment of operations to machines and schedule tasks in order to minimize the completion time for a single product or a batch of products. The assembly process is modeled using timed Petri nets and task scheduling is solved with a dynamic programming algorithm. The method calculates the time required precisely. A detailed case study is discussed to show the effectiveness of the model and algorithm.     

Process vs resource‐oriented Petri net modeling of automated manufacturing systems

Since the 1980s, Petri nets (PN) have been widely used to model automated manufacturing systems (AMS) for analysis, performance evaluation, simulation, and control. They are mostly based on process‐oriented modeling methods and thus termed as process‐oriented PN (POPN) in this paper. The recent study of deadlock avoidance problems in AMS led to another type of PN called resource‐oriented PN (ROPN). This paper, for the first time, compares these two modeling methods and resultant models in terms of modeling power, model complexity for analysis and control, and some critical properties. POPN models the part production processes straightforwardly, while ROPN is more compact and effective for deadlock resolution. The relations between these two models are investigated. Several examples are used to illustrate them. Copyright © 2010 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society     

基于变迁覆盖的制造系统死锁控制策略

基于系统Petri网模型,研究柔性制造系统的死锁控制问题.论文利用变迁覆盖为系统设计活性控制器.变迁覆盖是由一组极大完备资源变迁回路组成的集合,其变迁集覆盖了Petri网中所有极大完备资源变迁回路的变迁集.验证变迁覆盖的有效性,然后仅对有效变迁覆盖中的极大完备资源变迁回路添加控制位置,就得到系统的活性受控Petri网.这种受控Petri网包含的控制位置个数少,从而结构相对简单.最后通过一个例子说明了所提出的死锁控制策略的构成与特点.     

Robust design of flexible manufacturing systems using, colored Petri net and genetic algorithm

A method is presented for the robust design of flexible manufacturing systems (FMS) that undergo the forecasted product plan variations. The resource allocation and the operation schedule of a FMS are modeled as a colored Petri net and an associated transition firing sequence. The robust design of the colored Petri net model is formulated as a multi-objective optimization problem that simultaneously minimizes the production costs under multiple production plans (batch sizes for all jobs), and the reconfiguration cost due to production plan changes. A genetic algorithm, coupled with the shortest imminent operation time (SIO) dispatching rule, is used to simultaneously find the near-optimal resource allocation and the event-driven schedule of a colored Petri net. The resulting Petri net is then compared with the Petri nets optimized for a particular production plan in order to address the effectiveness of the robustness optimization. The simulation results suggest that the proposed robustness optimization scheme should be considered when the products are moderately different in their job specifications so that optimizing for a particular production plan creates inevitably bottlenecks in product flow and/or deadlock under other production plans.     

Monitoring of flexible production systems using high-level Petri net specifications

The degree of reliability in the operation of flexible production systems depends not only on the operation of the individual components, but also on the structure and evolution of the embedded supervisory control system. Monitoring of operations and of the behaviour of the components and of the system as a whole is an essential function of such a supervisory control system. This paper focuses on the development and implementation of feature- and model-based monitoring methods using high-level Petri net specifications of flexible production systems and of the embedded discrete-event controllers. The combination of machine–human interface concepts with the developed monitoring methods leads to a user-friendly representation of monitoring information. An application at industrial level is shown by means of a case study, i.e., a sample flexible assembly cell, situated at the Institute for Manufacturing Automation and Production Systems, Germany.     

基于Petri网的柔性制造系统无死锁遗传调度算法

对以最小化加工时间为目标的柔性制造系统无死锁调度问题, 提出了一种遗传调度算法. 算法考虑到同类工件具有预先确定的相同加工路径, 而各工序的处理时间与工件有关. 用Petri网对工序和资源分配进行逻辑建模,利用遗传算法, 采用工序自然编码方式, 基于系统的最佳避免死锁Petri网控制器, 检测染色体的可行性, 修复不可行染色体使其对应的调度满足资源约束和无死锁控制约束, 从而保证算法所利用的所有染色体都对应系统的可行调度. 仿真结果表明了算法的可行性和有效性.     

A rule-based robot scheduling system for flexible manufacturing cells

In this research we examine a class of flexible manufacturing cells (FMC) containing a robot. The role of the robot is to load parts onto machines, to unload parts from machines, and to transport parts between machines. Since the productivity of an FMC is directly proportional to the level of productive work performed by the robot, the manner in which robots move between machines affects productivity. The problem of finding efficient robot schedules/tours is therefore one of substantial economic significance in the operation of a FMC. Unfortunately, in many practical situations it is difficult to develop efficient robot schedules given the dynamic environments in which they exist. We devise a rule-based system to assist the cell supervisor in making good decisions by dynamically coordinating the available information during the production process. The rule-based system combines an algorithmic procedure to deal with a well-structured environment and a flexible heuristic approach employed to deal with less well-structured environments. Both the algorithmic and heuristic procedures are applied separately, then together, to control the robot's movement in a simulation experiment. We show that there is a predictable tradeoff between the quality of the resulting schedule and the information contents of heuristic used.     

资源配置混杂Petri网的混杂系统生产过程动态调度

为了增强混杂生产过程应对突发事件的能力,以一种新的混杂Petri网(资源配置混杂Petri网)为研究模型,给出了相应的使能和激发规则.并在资源配置混杂Petri网建立的仿真模型的基础上,融入事件逻辑网和逻辑规划,提出一种适用于混杂系统动态生产调度建模和优化的方法.以典型的混杂生产过程为例,研究混杂系统生产过程建模及优化.研究结果表明,资源配置混杂Petri网模型描述能力强,能够有效描述混杂系统生产过程,所提出的动态调度方案切实有效.     

Real-time feedback scheduling of flexible manufacturing systems

A genetic manufacturing environment is considered. The emphasis is on small-lot, discrete, and asynchronous type of manufacturing systems rather than high volume and continuous type. Two classes of scheduling policies are proposed to render the machine stable. The policies are of feedback type. The decision is made in real-time and on-line.     

Reactive control of overall power consumption in flexible manufacturing systems scheduling: A Potential Fields model

In recent years, designing “energy-aware manufacturing scheduling and control systems” has become more and more complex due to the increasing volatility and unpredictability of energy availability, supply and cost, and thus requires the integration of highly reactive behavior in control laws. The aim of this paper is to propose a Potential Fields-based flexible manufacturing control system that can dynamically allocate and route products to production resources to minimize the total production time. This control system simultaneously optimizes resource energy consumption by limiting energy wastage through the real-time control of resource states, and by dynamically controlling the overall power consumption taking the limited availability of energy into consideration. The Potential Fields-based control model was proposed in two stages. First, a mechanism was proposed to switch resources on/off reactively depending on the situation of the flexible manufacturing system (FMS) to reduce energy wastage. Second, while minimizing wastage, overall power consumption control was introduced in order to remain under a dynamically determined energy threshold. The effectiveness of the control model was studied in simulation with several scenarios for reducing energy wastage and controlling overall consumption. Experiments were then performed in a real FMS to prove the feasibility of the model. The superiority of the proposition is its high reactivity to manage production in real-time despite unexpected restrictions in the amount of energy available. After providing the limitations of the work, the conclusions and prospects are presented.     

Model and control holonic manufacturing systems based on fusion of contract nets and Petri nets

Holonic manufacturing systems (HMS) can be modeled as multi-agent systems to which contract net protocol can be effectively and robustly applied. However, the lack of analysis capability of contract nets makes it difficult to avoid undesirable states such as deadlocks in HMS. This paper presents a framework to model and control HMS based on fusion of Petri net and multi-agent system theory. The main results include: (1) a multi-agent model and a collaboration process to form commitment graphs in HMS based on contract net protocol, (2) a procedure to convert commitment graph to collaborative Petri net (CPN), and (3) feasible conditions and collaborative algorithms to award contracts in HMS based on CPNs.     

A two phase optimization method for Petri net models of manufacturing systems

Optimization is a key issue in the design of large manufacturing systems. An adequate modeling formalism to express the intricate interleaving of competition and cooperation relationships is needed first. Moreover, robust and efficient optimization techniques are necessary. This paper presents an integrated tool for the automated optimization of DEDS, with application to manufacturing systems. After a very quick overview of optimization problems in manufacturing systems, it presents the integration of two existing tools for the modeling and evaluation with Petri nets and a general-purpose optimization package based on simulated annealing. The consideration of a cache and a two phase technique for optimization allows to speed-up the optimization by a factor of about 35. During the first preoptimization phase, a rough approximation of the optimal parameter set is computed based on performance bounds. Two application examples show the benefits of the proposed technique.     

信标基底的可选择性在制造系统死锁控制中的应用

本文基于Petri网模型,讨论柔性制造系统的死锁控制问题.为了建立结构简单的Petri网控制器,本文在以前的工作中提出了信标基底的概念.信标基底是一组满足特定条件的严格极小信标集合.本文证明基于不同的信标基底,建立的受控系统其容许性能也不同.而容许性是评价死锁控制策略优劣的重要标准之一.故如何选择信标基底,提高受控系统的容许性能是值得研究的问题.本文讨论了使受控系统容许性能大大提高的信标基底的选择条件.基于该条件,为柔性制造系统建立有效的死锁控制策略.最后,通过两个例子解释该条件和策略.