PLC (programmable logic controller) programming method for automatic stereoscopic warehouse system based on Petri net
A technology for automated warehouses and three-dimensional warehouses, which is applied in the field of designing programmable logic controller programs based on Petri nets, and can solve problems such as algorithms that have not yet been formed.
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
Embodiment Construction
[0049] The present invention will be further described below through specific embodiments.
[0050] In order to set forth the specific content of the present invention, we need to provide following basic concepts:
[0051] 1. Ordinary Petri net
[0052] Ordinary Petri net is a triplet N(P,T,F), P is a place set; T is a transition set; Represents the set of directed arcs between places and transitions; m: P→Z represents the identity, m(p) refers to the number of tokens in place p, m 0 is the initial identification; · t and t · Respectively represent the input place set and output place set of transition t; if Then transition t is enabled under the label m, denoted as m[t>; if t fires, remove a token from each of its input places, and add a token to each of its output places , get the successor mark m', denote as m[t>m'.
[0053] 2. Automated three-dimensional warehouse system
[0054] A typical automated three-dimensional warehouse system includes two workflows, wareho...
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, Popular Technical Reports.
© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com