Robustness control method of automatic manufacture system based on Petri network

A technology for automatic manufacturing systems and control methods, applied in general control systems, control/regulation systems, program control, etc., can solve problems such as system stagnation and distributed methods are not practical

Active Publication Date: 2016-12-07
XIDIAN UNIV
View PDF5 Cites 19 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

2. Most of the distributed methods are not practical because they are based on specific system structures or the design of a coordina

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Robustness control method of automatic manufacture system based on Petri network
  • Robustness control method of automatic manufacture system based on Petri network
  • Robustness control method of automatic manufacture system based on Petri network

Examples

Experimental program
Comparison scheme
Effect test

Example Embodiment

[0048] The invention is based on the Petri net to perform robust control for an automatic manufacturing system with flexible paths and assembly operations, and applies a distributed method to perform online, dynamic and real-time control.

[0049] In the present invention, the assembly operation is embedded in the flexible path, and the Petri net model is designed, named AESM, as attached Figure 4 Shown. In order to realize the robust control policy of the present invention, we need to introduce the definition of key libraries in the paper "Distributed Supervisor Synthesis for Automated Manufacturing Systems Using Petri Nets". The definition of key libraries in this paper is only for the path of sequential execution.

[0050] However, the present invention embeds assembly operations in the path of sequential execution, and considers the case of unreliable resources. Therefore, the present invention further extends the definition of the key library in the paper "Distributed Superv...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention relates to a robustness control method of an automatic manufacture system based on a Petri network. The robustness control method firstly detects all enabled transitions under an achievable state M, detects a transition set guaranteeing that a system has no deadlock from all enabled transitions, detects transitions guaranteeing the system to be robust from all transitions having no deadlocks, detects biggest concurrency allowable transitions from all robust transitions, chooses a transition to emit from the biggest concurrency allowable transition, wherein every time one transition is emitted, a new state is obtained, and executes the above steps in a new state. So repeatedly, a transition sequence which can guarantee system is robust and can operate without deadlock can be obtained, the that transition is emitted according to the sequence cannot only guarantee that the system has not deadlock, but also guarantee that the system has not blockage. The robustness control method uses a Petri network as a mathematic tool and performs modeling on an automatic manufacture system so as to realize a fact that the system can continuously and smoothly process.

Description

technical field [0001] The invention belongs to the technical field of automatic manufacturing systems, and relates to a robustness control method of an automatic manufacturing system based on Petri nets. Background technique [0002] Manufacturing automation is a main direction of manufacturing technology development. In response to the emergence of fierce market competition and the application of advanced automation technologies, automatic manufacturing systems have undergone leapfrog development. Its goals are to reduce manufacturing costs, improve product quality, increase productivity and ensure production safety. However, considering the scale of the system and the cost of resources, resources will not be provided unlimitedly. Therefore, resource sharing is an ideal solution. Since concurrently executing processes compete for shared resources, system deadlock problems arise unexpectedly. Once a deadlock occurs, the entire system either stagnates or enters an infini...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
IPC IPC(8): G05B19/418
CPCG05B19/41885Y02P90/02
Inventor 胡核算杜楠
Owner XIDIAN UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products