Design of optimal Petri-net controllers for a class of flexible manufacturing systems with key resources
DOI10.1016/J.INS.2015.11.021zbMATH Open1427.68206OpenAlexW2283668265MaRDI QIDQ2279729FDOQ2279729
Authors: HuiXia Liu, Weimin Wu, Zhenxing Zhang, Hongye Su 
Publication date: 13 December 2019
Published in: Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ins.2015.11.021
Recommendations
- On deadlock control for a class of generalised Petri net models of flexible manufacturing systems
- scientific article; zbMATH DE number 1300107
- Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources
- An efficient siphon-based deadlock prevention policy for a class of generalized Petri nets
- A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models
Production models (90B30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis
- Approach for Transforming Linear Constraints on Petri Nets
- Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
- Deadlock prevention policy based on Petri nets and siphons
- On structural minimality of optimal supervisors for flexible manufacturing systems
- Title not available (Why is that?)
- A system theory view of Petri nets
- Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case
Cited In (12)
- The fundamental closed-form solution of control-related states ofkth order S3PR system with left-side non-sharing resource places of Petri nets
- Robust deadlock control of automated manufacturing systems with multiple unreliable resources
- Deadlock and blockage control of automated manufacturing systems with an unreliable resource
- Two-stage design method of robust deadlock control for automated manufacturing systems with a type of unreliable resources
- A multistep look-ahead deadlock avoidance policy for automated manufacturing systems
- Title not available (Why is that?)
- An Optimal Vanishing Point Detection Method with Error Analysis
- Solving resource contention problem in FMS using Petri nets and a rule-based approach
- A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets
- Title not available (Why is that?)
- Modeling and control of flexible context-dependent manufacturing systems
- Configuration of liveness-enforcing initial marking with the minimum resources for resource allocation systems
This page was built for publication: Design of optimal Petri-net controllers for a class of flexible manufacturing systems with key resources
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2279729)
