一种用于柔性制造系统仿真的图形Petri网软件工具

本文致力于图形Ｐｅｔｒｉ网软件工具—ＧＰＮＳＴ软件包的设计与实现。首先介绍了ＧＰＮＳＴ的结构和功能，分析了它在Ｐｅｔｒｉ网图形编辑和网结构分析方面的能力；其次正式定义了Ｐｅｔｒｉ网的扩展—赋时着色Ｐｅｔｒｉ网（ＴＣＰＮ），并且使用ＴＣＰＮ建立了柔性制造系统（ＦＭＳ）的简化仿真模型。利用这个模型，能基本实现ＦＭＳ的动态仿真，同时显示整个仿真的过程；最后将调度算法、启发式规则、ＴＣＰＮ模型和仿真结合起来，构成一个基于专家系统的调度器，产生出虽非最优，但是具有比较好结果的可行调度，有效地解决了动态仿真中的ＦＭＳ调度问题。     

Trends and perspectives in flexible and reconfigurable manufacturing systems

To better understand future needs in manufacturing and their enabling technologies, a survey of experts in manufacturing has been conducted. The survey instrument (i.e., questionnaire) tries to assess the experience to date with the use of flexible manufacturing systems (FMS) and to examine the potential roles and enabling technologies for reconfigurable manufacturing systems (RMS). The results show that two-thirds of respondents stated that FMSs are not living up to their full potential, and well over half reported purchasing FMS with excess capacity (which was eventually used) and excess features (which in many cases were not eventually used). They identified a variety of problems associated with FMS, including training, reconfigurability, reliability and maintenance, software and communications, and initial cost. However, despite these issues, nearly 75% of respondent expressed their desire to purchase additional, or expand existing FMSs. The experts agreed that RMS (which can provide exactly the capacity and functionality needed, exactly when needed) is a desirable next step in the evolution of production systems. The key enabling technologies for RMS were identified as modular machines, open-architecture controls, high-speed machining, and methods, training and education for the operation of manufacturing systems.     

Modeling and online scheduling of flexible manufacturing systemsusing stochastic Petri nets

The authors discuss the modeling of flexible manufacturing systems (FMSs) under uncertainty and evaluate a rule base for online scheduling. To represent uncertain events in an FMS, such as failure of machine tools, repair time, and processing time, they develop continuous-time and discrete-time stochastic Petri nets with hierarchical structures for constructing the FMS model. For obtaining an efficient schedule for the FMS with an online real-time basis, they construct a rule base and evaluate its performance using the FMS simulation system proposed     

Petri net modeling and deadlock analysis of parallel manufacturing processes with shared-resources

Multiple resource-sharing is a common situation in parallel and complex manufacturing processes and may lead to deadlock states. To alleviate this issue, this paper presents the method of modeling parallel processing flows, sharing limited number of resources, in flexible manufacturing systems (FMSs). A new class of Petri net called parallel process net with resources (PPNRs) is introduced for modeling such FMSs. PPNRs have the capacity to model the more complex resource-sharing among parallel manufacturing processes. Furthermore, this paper presents the simple diagnostic and remedial procedures for deadlocks in PPNRs. The proposed technique for deadlock detection and recovery is based on transition vectors which have the power of determining the structural aspects as well as the process flow condition in PPNRs. Moreover, the proposed technique for dealing with deadlocks is not a siphon-based thus the large-scale PPNRs for real-life FMSs can be tackled. Finally, the proposed method of modeling and deadlock analysis in the FMS having parallel processing is demonstrated by a practical example.     

Design and planning problems in flexible manufacturing systems: a critical review

This review paper describes the state-of-the-art research on flexible manufacturing systems (FMS) design and planning issues. The emphasis is on presenting research results coming out of the current FMS literature that help the FMS manager in setting up a highly efficient manufacturing system. In addition to that, it discusses relevant research contributions after 1986, that were not part of any of the previous survey papers on operations research models for FMSs. Also, applications of combinatorial optimization approaches to FMS planning problems are adequately exposed in the paper.     

基于Petri网的FMS物流系统建模与仿真

在建立FMS物流系统Petri网模型的基础上,采用“映射”思想,将Petri网模型转化为物流系统的仿真程序,提出了库所映射为程序数据、变迁映射为程序函数、系统子网映射为FMS系统基本类的映射方法,通过实例仿真验证了软件程序与模型的一致性。     

柔性制造系统中的信息采集系统研究

为了有效地控制和管理柔性制造系统（ＦＭＳ）,制造过程信息采集对系统来说显得至关重要。本文从信息采集的角度,讨论了ＦＭＳ底层设备运行的功能模型,提出了以工业控制实时局域网为基础的ＦＭＳ信息采集系统的结构。并对工业控制实时局域网的硬件和软件构成进行了详细的描述。最后以西门子３Ｍ数控系统为实例,介绍了底层设备ＦＭＳ网络通信接口的设计与开发。该数据采集系统在一个实际的ＦＭＳ中使用取得了令人满意的效果。     

Modelling and performance maximization of an integrated automated guided vehicle system using coloured Petri net and response surface methods

The objective of this study is to model and maximize performance of an integrated Automated Guided Vehicle System (AGVS), which is embedded in a pull type multi-product, multi-stage and multi-line flexible manufacturing system (FMS). This study examines the impact of guide-path flexibility on system performance through the development of three different guide-path configurations which range from dedicated to flexible relationships between automated guided vehicles (AGVs) and machine/assembly station resources. The system is modelled using coloured Petri net method (CPN) and the simulation results lead to identify the resource redundancy which can be rectified to achieve lower overall cost of the system through the development of flexible guide-path configurations. The study is extended to seek global near-optimal conditions for each guide-path configuration using response surface method, which yields improvements in system throughput and cycle time along with a decrease in the numbers of AGVs.     

The state of the art in intelligent real-time FMS control: a comprehensive survey

Flexible manufacturing systems (FMS) have been developed with the hope that they would provide a means to tackle a threefold challenge — better quality, lower cost and shorter lead times — by integrating machine tools, robots, material handling and storage systems, and computers. Control of the integrated system presented a new set of problems as well as challenges, which have been receiving considerable attention from the academic community as well as from industrial system users. Intelligent control, which involves using computers to assist in decision making at various stages of the control process, has been advocated by many researchers as a possible avenue to reach a solution to these problems. This paper provides a review of the state of the art in intelligent control of FMS, in an attempt to supplement earlier general reviews via a more focused perspective. The principles of several techniques, namely simulation, knowledge based, example based, petri nets, and hybrid approaches are briefly introduced, and publications are reviewed, followed by discussions ontheir potential. Suggestions for further research and development are also enumerated.     

STRUCTURED REPRESENTATION OF FMS INTEGRATING SI-NETS AND HIGH LEVEL PETRI NETS

In this paper a structured knowledge-based approach to the representation and scheduling of flexible manufactoring systems (FMSs) is described. Our approach is based on a structured conceptual representation (a KL-ONE-like Si-net representation formalism), extended with an instant-based temporal reasoning formalism. Furthermore, the approach integrates a particular extension to high-level Petri nets (PNs), structured timed colored Petri nets (STCPNs), for the modeling and simulation of the FMS. Such a representation scheme allows us to use SI-nets' good properties related to inference (classification and inheritance), which are lacking in PNs, and at the same time provides an extension toward an explicit representation for time. The integration of Si-nets with PNs is necessary because simulation and low-level coordination of FMSs require a procedural approach that is not within the aims of Si-nets. Therefore, procedural and symbolic levels, corresponding to the different hierarchical levels of the representation and control system of the FMS, coexist in the system. Using a qualitative terminology, we may also call them analog and symbolic knowledge. We assume that such a hybrid representation system may be useful, since a procedural representation, integrated within a logic formalism, can increase the expressive power without complicating the notation or the representation itself. The paper describes both the representational aspects and the modeling of the control system of the FMS, focusing on the interaction mechanisms among the different levels of representation. In particular, we show how an STCPN-based model can be automatically derived starting from the symbolic component of the system. A particular FMS case study, regarding a class of problems of resource-constrained multiproject scheduling (where projects are sets of tasks temporally related), is discussed.     

Modeling of reconfigurable manufacturing systems based on colored timed object-oriented Petri nets

To cope with the rapid change in manufacturing market requirements, reconfigurable manufacturing systems (RMSs) with the feature of reconfigurability, have to be developed. A model that describes the reconfiguring process of a manufacturing system is developed by applying colored timed object-oriented Petri nets. Based on the main difference between configurations of RMSs and flexible manufacturing systems (FMSs), a modular hierarchical structure of RMS is developed. By the object-oriented method, all the object classes in the RMS model are identified. A macro-place is used to model the aggregation of many processes and a macro-transition is used to link all the related macro-places. Macro-places and macro-transitions are connected with arcs to form a Petri net named a macro-level Petri net so that the control logic of RMS is represented. The macro-level Petri net is refined by hierarchical steps, each step describing these macro-places by more detailed sub macro-places until all the macro-places cannot be divided. Then the characteristics of material flow and time constraints in RMS are modeled by applying colored tokens and associated time-delay attributes. This model integrates object-oriented methods, stepwise refinement ideas and Petri nets together. The RMS activities can be encapsulated and modularized by the proposed method, so that RMS can be easily constructed and investigated by the system developers.     

Deadlock-free scheduling for flexible manufacturing systems using Petri nets and heuristic search

Deadlock-free control and scheduling are two different problems for flexible manufacturing systems (FMSs). They are significant for improving the behaviors of the systems. Based on the Petri net models of FMSs, this paper embeds deadlock control policies into heuristic search algorithm, and proposes a deadlock-free scheduling algorithm to minimize makespan for FMSs. Scheduling is performed as heuristic search in the reachability graph of the Petri net. The searching process is guided by a heuristic function based on firing count vectors of state equation for the Petri net. By using the one-step look-ahead method in the optimal deadlock control policy, the safety of a state is checked. Experimental results are provided to show effectiveness of the proposed heuristic search approach in deadlock-free scheduling for FMSs.     

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.     

Improved methods for scheduling flexible manufacturing systems based on Petri nets and heuristic search

This paper proposes and evaluates two improved Petri net （PN）-based hybrid search strategies and their applications to flexible manufacturing system （FMS） scheduling. The algorithms proposed in some previous papers, which combine PN simulation capabilities with A＊ heuristic search within the PN reachability graph,may not find an optimum solution even with an admissible heuristic function. To remedy the defects an improved heuristic search strategy is proposed, which adopts a different method for selecting the promising markings and reserves the admissibility of the algorithm. To speed up the search process, another algorithm is also proposed which invokes faster termination conditions and still guarantees that the solution found is optimum. The scheduling results are compared through a simple FMS between our algorithms and the previous methods. They are also applied and evaluated in a set of randomly-generated FMSs with such characteristics as multiple resources and alternative routes.     

Improved methods f or scheduling flexible manufacturing systems based on Pet ri nets and heuristic search

This paper proposes and evaluates two improved Petri net (PN) - based hybrid search strategies and their applications to flexible manufacturing system (FMS) scheduling. The algorithms proposed in some previous papers ,which combine PN simulation capabilities with A 3 heuristic search within the PN reachability graph ,may not find an optimum solution even with an admissible heuristic function. To remedy the defects an improved heuristic search strategy is proposed ,which adopts a different method for selecting the promising markings and reserves the admissibility of the algorithm. To speed up the search process ,another algorithm is also proposed which invokes faster termination conditions and still guarantees that the solution found is optimum. The scheduling results are compared through a simple FMS between our algorithms and the previous methods. They are also applied and evaluated in a set of randomly- generated FMSs with such characteristics as multiple resources and alternative routes.     

A Petri net-based particle swarm optimization approach for scheduling deadlock-prone flexible manufacturing systems

This paper proposes an effective hybrid particle swarm optimization (HPSO) algorithm to solve the deadlock-free scheduling problem of flexible manufacturing systems (FMSs) that are characterized with lot sizes, resource capacities, and routing flexibility. Based on the timed Petri net model of FMS, a random-key based solution representation is designed to encode the routing and sequencing information of a schedule into one particle. For the existence of deadlocks, most of the particles cannot be directly decoded to a feasible schedule. Therefore, a deadlock controller is applied in the decoding scheme to amend deadlock-prone schedules into feasible ones. Moreover, two improvement strategies, the particle normalization and the simulated annealing based local search, are designed and incorporated into particle swarm optimization algorithm to enhance the searching ability. The proposed HPSO is tested on a set of FMS examples, showing its superiority over existing algorithms in terms of both solution quality and robustness.