Deadlock-free control method for an automated manufacturing system containing uncontrollable events
A technology of automatic manufacturing system and control method, applied in general control system, control/regulation system, program control, etc., can solve problems such as insufficient utilization of resources, reduction of production efficiency, state explosion, etc.
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
Example Embodiment
[0063] The present invention will be described in detail below with reference to the drawings and specific embodiments.
[0064] Definition 1: The structure of Petri net (PN) is a directed graph described by 4 elements:
[0065] PNS = (P, T, I, O)
[0066] Here:
[0067] (1) P={p 1 ,...,P n } Is a limited set of places, n> 0 is the number of places;
[0068] (2) T={t 1 ,...,T n } Is a finite set of changes, m> 0 is the number of changes.
[0069] (3) I: P×T→N is the input function, which defines the set of weights of directed arcs from P to T, where N={0,1,...} is a non-integer set;
[0070] (4) O: T×P→N is the output function, which defines the repetition number or weight set of the directed arc from T to P,
[0071] In the directed graph representing the PN structure, the library is represented by a circle; the transition is represented by a rectangle or a thick solid line; if the input function from the library p to the transition t is a non-negative integer w, it is recorded as I(p,t ...
PUM
Abstract
Description
Claims
Application Information
- R&D Engineer
- R&D Manager
- IP Professional
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
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