Assembly/disassembly task planning and simulation using expert Petri nets

Automatic assembly/disassembly planning is recognized as an important tool for reducing the manufacturing costs in concurrent product and process development. This paper developed a knowledge-based expert Petri net model by incorporating expert system techniques in artificial intelligence into ordinary Petri nets for an analytical framework of understanding, representing and reasoning the assembly/disassembly tasks. Substantial extensions have been made to ordinary Petri nets by adding control places, time constraints, and place and transition knowledge annotations. The proposed expert Petri net model can be considered as the hybrid of expert systems and ordinary Petri nets. Through these extensions, the capacities of modelling and representation of ordinary Petri net models are largely enhanced, and thus the expert Petri net models are more powerful than ordinary Petri nets. Such intelligent Petri net models can combine the abilities of modelling, planning, and performance evaluation for assembly/disassembly tasks in an integrated and intuitive way, and can therefore be applied to either linear/non-linear, static/dynamic, or on-line/off-line assembly/disassembly tasks at both high and low levels. The developed assembly/disassembly planning system can generate the best strategies and plans for assembly/disassembly. The research findings are exemplified with a real assembly to show the effectiveness of the method.     

Disassembly sequence generation: A Petri net based heuristic approach

The generation of a set of optimal or near-optimal disassembly sequences is an important task associated with the study of disassembly planning. This task encapsulates actions at the required disassembly depth to reach maximum net revenue while satisfying economic constraints. The Petri net modelling, combined with heuristic search procedures developed in this study, offers an efficient procedure for disassembly sequence generation. The heuristic generates and searches a partial reachability graph to arrive at an optimal or near-optimal disassembly sequence based on the firing sequence of transitions of the Petri net model. The proposed methodology reduces the search space in two areas: (1) pruning the disassembly tree (DT) and, (2) selective tracking of the reachability graph. The efficacy of the proposed methodology is demonstrated by using two examples from the literature.     

Expert Enhanced Coloured Stochastic Petri Net and its application in assembly/disassembly

This article comprises of an Expert Enhanced Coloured Stochastic Petri Net (rule base system, or RBS) for modelling and analysing assembly/disassembly systems. RBSs are an Enhanced High-level Petri net extended with Close-World-Assumption (CWA). Traditional Petri nets can be used to model RBSs containing explicitly described knowledge. The main focus was is to facilitate and analyse the process planning activities of assembly/disassembly. The advantages of the new modelling approach were: (1) consideration of the non-desirable events, (2) occurrence of assembly/disassembly tasks with regard to colour of the tokens and utilization of probability concept to determine feasible steps, (3) establishing a relationship among components by means of arc labels, and (4) deeper insight into the assembly/disassembly process using high- and low-level petri nets.     

Decomposition in automatic generation of Petri nets for manufacturing system control and scheduling

Despite the efforts in developing Petri net models for manufacturing control and scheduling, the generation of Petri net models cannot be automated for agile manufacturing control and scheduling without difficulties. The problems lie in the complexity of Petri net models. First of all, it is difficult to visualize the basic manufacturing process flow in a complex Petri net model even for a Petri net modelling expert. The second problem is related to the complexity of using Petri net models for manufacturing system scheduling. In this paper, a decomposition methodology in automatic generation of Petri nets for manufacturing system control and scheduling is developed. The decomposition methodology includes representing a manufacturing process with the Integrated Definition 3 (IDEF3) methodology, decomposing the manufacturing process based on the similarity of resources, transforming the IDEF3 model into a Petri net control model, and aggregating sub Petri net models. Specifically, a sequential cluster identification algorithm is developed to decompose a manufacturing system represented as an IDEF3 model. The methodology is illustrated with a flexible disassembly cell example. The computational experience shows that the methodology developed in this paper reduces the computational time complexity of the scheduling problem without significantly affecting the solution quality obtained by a simulated annealing scheduling algorithm. The advantages of the methodology developed in this paper include the combined benefits of simplicity of the IDEF3 representation of manufacturing processes and analytical and control properties of Petri net models. The IDEF3 representation of a manufacturing process enhances the manmachine interface.     

An improved time line search algorithm for manufacturing decision-making

The coloured Petri net formalism has been recently used to analyse and optimise manufacturing systems making use of the state space (SS) analysis. This approach has great potential for scheduling and production planning purposes when it is properly implemented. In this article, an improved version of the algorithm known as the time line search for optimising the makespan of manufacturing models is presented. The algorithm has been developed for the use in a compact SS of coloured Petri net models in order to analyse the highest possible number of manufacturing configurations for the improvement of the makespan of a production system. The proposed algorithm can be used for the developing of decision support tools in manufacturing or operational decision-making.     

Coloured timed Petri net model for real-time control of automated guided vehicle systems

Automated guided vehicle systems (AGVS) are material-handling devices representing an efficient and flexible option for products management in automated manufacturing systems. In AGVS, vehicles follow a guide-path while controlled by a computer that assigns the route, tasks, velocity, etc. Moreover, the design of AGVS has to take into account some management problems such as collisions and deadlocks. The paper presents a novel control strategy to avoid deadlock and collisions in zone-controlled AGVS. In particular, the control scheme manages the assignments of new paths to vehicles and their acquisition of the next zone. Moreover, the use of coloured Petri nets is proposed to model the dynamics of AGVS and implement the control strategy stemming from the knowledge of the system state. Additionally, extending the coloured Petri net model with a time concept allows investigation of system performance. Several simulations of an AGVS with varying fleet size while measuring appropriate performance indices show the effectiveness of the proposed control strategy compared with an alternative policy previously presented.     

A Petri Net based approach to determine the disassembly strategy of a product

In order to protect the environment and regain value added to products, a process known as disassembly has come into the limelight. This process is to be applied to reuse abandoned goods and materials. Manufacturers are being forced to establish disassembly plants and to develop their products' designs so as to maintain the government's dictate to dispose off their products in an environmentally responsible manner. This research presents a cost-based heuristic analysis for a circuit board assembly. Various components of the product and their assembly relationships are represented by a Petri Net diagram. Firing the transitions of the disassembly Petri Net is integrated with cost-based indices to develop an effective disassembly strategy. The methodology discussed here simplifies the decisionmaking process involved in disassembly planning. A comprehensive disassembly process planning system is proposed here and is exemplified by a case study of circuit board assembly.     

Supply chain modelling and managing,using timed coloured Petri nets: a case study

This paper aims at developing a new methodology for designing and managing a supply chain (SC) and, at the same time, for evaluating the performance of every stakeholder involved in a production chain. The methodology proposed has been applied to a footwear supply chain and is based on coloured Petri nets (CPNs). The supply chain analysed in this paper is a complex production system consisting of a network of manufacturers and service suppliers related to logistics systems that provide transportation and storage. The model developed uses coloured, timed Petri nets to represent a supply chain and it is such that resources are the Petri Net (PN) places, the tokens are jobs, orders and/or products, while the colours represent job attributes. These colours are used to encode different data types and values that are attached to tokens. A “coloured token” represents a specific production order or a certain amount of a particular material supplied. Thus, it can be processed in different ways and it can be easily localised within the CPN model. The use of coloured Petri nets allows companies to create a compact representation of states, actions and events of the modelled system. The particular structure of this network allows the designers the easy realisation of a simulator using an “object-oriented”, dedicated programming, which is a useful tool for developing what-if analyses.     

基于模糊推理的不确定环境下拆卸工艺规划

回收产品因磨损等原因其结构和质量会发生改变,拆卸序列规划存在不确定性,拆卸前很难确定产品最优拆卸序列。首先建立一个模糊拆卸Petri网模型表示产品可行拆卸序列和拆卸过程存在的不确定信息,为降低产品质量和拆卸能力的不确定性对拆卸序列优化的影响,建立一个自适应的模糊推理系统,利用模糊推理和反馈学习的方法对产品各拆卸步骤的成本进行预测,然后通过计算不同拆卸序列下拆卸的收益来得到产品最优拆卸序列,最后通过算例证明了方法的有效性。     

Deadlock modeling and control of semiconductor track systems using resource-oriented Petri nets

This paper addresses the deadlock avoidance problem in track systems in semiconductor fabrication. For the system without buffer space in it, the existing deadlock avoidance policies tend to be too conservative. Routing flexibility provides a chance to develop better ones, but makes their computation more complex. This paper models a track system using coloured resource-oriented Petri net (CROPN). Based on the model, a sufficient condition for deadlock-free operation and the corresponding control law are presented. This proposed policy is shown computationally efficient and less conservative than existing methods. An example is presented to demonstrate its application.     

Petri net based scheduling

Timed Petri nets can be used to model and analyse scheduling problems. To support the modelling of scheduling problems, we provide a method to map tasks, resources and constraints onto a timed Petri net. By mapping scheduling problems onto Petri nets, we are able to use standard Petri net theory. In this paper we will show that we can use Petri net based tools and techniques to find conflicting and redundant precedences, upper- and lower-bounds for the makespan, etc. This is illustrated by a Petri net based analysis of the notorious 10×10 problem due to Fisher & Thompson (1963)     

Petri‐net based integer programs for synthesizing optimal material‐transfer procedures in pipeline networks

Abstract

Transferring materials through the pipeline network is a basic operation in almost every batch chemical plant. Traditionally, the tasks for conjecturing the needed operation steps are carried out manually on an ad hoc basis. This approach is often time‐consuming for industrial processes and, furthermore, the resulting recipe may be error‐prone. The aim of this paper is thus to develop a systematic strategy to generate the optimal operating procedures with Petri‐net based integer programs. Specifically, the shortest material‐transfer routes are selected on the basis of Petri‐net representation of the path structure in pipeline network. The equipment models are then incorporated into this path model to create a complete system model. An integer program can therefore be constructed accordingly to identify the detailed operation steps. Finally, a realistic example is presented at the end of this paper to demonstrate the effectiveness and correctness of the proposed approach.     

A Petri net based design engine for manufacturing systems

Support for the efficient design and operation of complex manufacturing systems requires an integrated modelling, analysis, and control methodology as well as its implementation in a software tool. In this paper the Petri net based design engine TimeNET is presented for this task. Petri nets are able to capture the characteristic features of manufacturing systems in a concise form. A subclass of coloured Petri nets is used, which has been developed especially for the application area of manufacturing. Structure and work plans are modelled separately. Stochastic as well as deterministic and more general distributions are adopted for the firing times of transitions. Fundamental questions about system properties can be answered using qualitative analysis. For an efficient performance and dependability prediction, different evaluation techniques are proposed: direct numerical analysis, approximate analysis, and simulation. Finally, the model can be used to evaluate different control strategies and to control the manufacturing system directly. There is no need to change the modelling methodology, thus avoiding additional effort, for example for model conversion. In the paper this necessary steps are described using an application example.     

A human task-oriented simulation study in autonomous production cells

Simulation on human tasks has become increasingly important in manufacturing systems’ design, assessment and improvement. In order to evaluate working processes and human factors in autonomous production cells (APCs), a collective analyzis of human-centred simulation approaches in advanced manufacturing systems is carried out, and a human task-oriented simulation methodology is proposed in this paper. Based on the methodology, a comparative simulation study is carried out in a 3D laser welding production cell from the aspects of human task spectrum, human error and occupational requirements. Human task network models of both conventional working process and APC working process are constructed using timed coloured Petri Nets. The evaluation criteria architecture for the simulation is formulated and the respective algorithms and parameters for the criteria are discussed in detail. A simulation program using C++ is developed based on Poses++ Petri Net simulator. The simulation results show some important transitions of system performance and human factors from the conventional production cell to the APC, which can support the decision-making when redesigning the conventional production cells to fit the requirements of APCs.     

Supply chain configuration with co-ordinated product,process and logistics decisions: an approach based on Petri nets

Supply chain configuration lends itself to be an effective means to deal with product differentiation and customisation throughout a supply chain network. It essentially entails the instantiation of a generic supply chain network to specific supply chains in accordance with diverse customer requirements. The lynchpin of supply chain configuration lies in the co-ordination of product, process and logistics decisions in relation to a variety of customer orders. This paper aims to provide modelling support to supply chain configuration. The ultimate goal is to assist companies to form appropriate supply chains with the most added-value to customer order fulfillment. A formalism based on coloured Petri nets is developed for configuring supply chains. System models are built upon the coloured Petri nets and used to incorporate product and process concerns into the supply chain configuration process. An industrial case study is reported to illustrate the potential of the coloured Petri net modelling formalism and the built system models for supply chain configuration.     

Robotic disassembly sequence planning using enhanced discrete bees algorithm in remanufacturing

Increasing attention is being paid to remanufacturing due to environmental protection and resource saving. Disassembly, as an essential step of remanufacturing, is always manually finished which is time-consuming while robotic disassembly can improve disassembly efficiency. Before the execution of disassembly, generating optimal disassembly sequence plays a vital role in improving disassembly efficiency. In this paper, to minimise the total disassembly time, an enhanced discrete Bees algorithm (EDBA) is proposed to solve robotic disassembly sequence planning (RDSP) problem. Firstly, the modified feasible solution generation (MFSG) method is used to build the disassembly model. After that, the evaluation criterions for RDSP are proposed to describe the total disassembly time of a disassembly sequence. Then, with the help of mutation operator, EDBA is proposed to determine the optimal disassembly sequence of RDSP. Finally, case studies based on two gear pumps are used to verify the effectiveness of the proposed method. The performance of EDBA is analysed under different parameters and compared with existing optimisation algorithms used in disassembly sequence planning (DSP). The result shows the proposed method is more suitable for robotic disassembly than the traditional method and EDBA generates better quality of solutions compared with the other optimisation algorithms.     

A linear model for production management—optimal solving policies

A linear model for production management considering generic data on stocks, manufacturing processes, resource capacities and costs is presented. Any type of continuous or discrete production process also including assembly and disassembly tasks is taken into account. The model inversion issue is analysed and relevant joint production/inventory management policies are solved by optimising linear and quadratic programs under resource and stock capacity constraints. Beyond the single-period inversion issue that is the focus of the paper, the model is tailored to support multi-period and multi-level planning approaches, the development of which is the subject of separate publications.