Petri-network-based control method for automatic manufacture system

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 state explosion, system stagnation, resource failure, etc., to improve concurrency and avoid blocking states , the effect of smooth processing

Active Publication Date: 2015-11-04
XIDIAN UNIV
View PDF6 Cites 19 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0003] In the past few decades, many researchers have studied various deadlock prevention strategies. Traditional deadlock prevention schemes are often based on global information, and inevitably need to enumerate all reachable states, which leads to state exp

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
  • Petri-network-based control method for automatic manufacture system
  • Petri-network-based control method for automatic manufacture system

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0027] The present invention will be described in detail below in conjunction with the accompanying drawings and specific embodiments.

[0028] Definition 1: A production Petri net Product Petri Net (PPN) is a strongly connected ordinary Petri net (PN), N = (P, T, F), where:

[0029] 1) P=P 0 ∪P A ∪P R ,P 0 ,P A ,P R Respectively represent free warehouse, active warehouse and resource warehouse. and j∈N K ,i≠j, P R ={r i ,i∈N L}. N K , N L are all sets of natural numbers, N K ={1,2,3,...,K},N L ={1,2,3,...,L};

[0030] 2) and j∈N K ,i≠j,

[0031] 3) Depend on subnet is a strongly connected state machine such that each loop contains |p · |=1.

[0032] 4) ·· p∩P R =p ·· ∩P R , and | ·· p∩P R |=1.

[0033] 5) and represent reliable resources and unreliable resources, respectively,

[0034] Definition 2: r ∈ P R is a resource pool, H(r)=r ·· ∩P A Indicates the set of places where resource r is used.

[0035] Defin...

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 provides a petri-network-based control method for an automatic manufacture system. Through operation of a deadlock avoidance algorithm, a robustness enhancing algorithm and a concurrency improving algorithm, a group of transition set can be produced. Any transmission of transmission belonging to the set can meet requirements for zero deadlock, robustness and system concurrency improvement. After each transition is transmitted, the three algorithms need to be calculated again successively and a new transition set is produced. Through said circulation, a group of event sequence is produced dynamically in real time. According to the invention, when resource faults of a system occur, programs that do not need the fault resources are not blocked by programs that need the fault resources, so that smooth processing can continue and system concurrency can be improved.

Description

technical field [0001] The invention belongs to the technical field of automatic manufacturing systems, and relates to a control method of an automatic manufacturing system based on Petri nets. Background technique [0002] The manufacturing level is an important symbol of a country's industrialization level, and the manufacturing industry is also an important foundation for the stable development of a country's economy, especially a densely populated developing country like China. In the past few decades, with the wide application of information technology, automation technology and computer technology, the traditional manufacturing system has been gradually transformed into an automatic manufacturing system, thereby greatly reducing manufacturing costs, improving product quality and ensuring production safety. For the automatic manufacturing system, the most important premise is no deadlock, and all other performances are based on the system without deadlock. [0003] In ...

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/418G05B2219/32165Y02P90/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

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap