A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models
From MaRDI portal
Publication:5745696
DOI10.1002/ASJC.369zbMATH Open1282.93179OpenAlexW2023755271MaRDI QIDQ5745696FDOQ5745696
Authors: Rongming Zhu 
Publication date: 30 January 2014
Published in: Asian Journal of Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/asjc.369
Recommendations
- On deadlock control for a class of generalised Petri net models of flexible manufacturing systems
- A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems
- Deadlock characterization and control of flexible assembly systems with Petri nets
- Deadlock prevention policy based on Petri nets and siphons
- A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets
Petri netflexible manufacturing systemoptimal liveness-enforcing supervisorsiphonuncontrollable transition
Cites Work
- Deadlock prevention policy based on Petri nets and siphons
- Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
- Liveness of an extended S\(^{3}\)PR
- Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources
- Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
Cited In (24)
- Deadlock-free scheduling of an automated manufacturing system using an enhanced colored time resource Petri-net model-based evolutionary endosymbiotic learning automata approach
- Design of optimal Petri-net controllers for a class of flexible manufacturing systems with key resources
- Deadlock recovery for flexible manufacturing systems modeled with Petri nets
- Maximally permissive Petri net supervisors for flexible manufacturing systems with uncontrollable and unobservable transitions
- Comment on “A Deadlock Prevention Approach for Flexible Manufacturing Systems with Uncontrollable Transitions in Their <scp>P</scp>etri Net Models”
- Design of a maximally permissive liveness-enforcing supervisor with reduced complexity for automated manufacturing systems
- New controllability condition for siphons in \(\mathrm{WS}^{3}\mathrm{PR}\) nets
- Requests network model for deadlock detection and avoidance in automated manufacturing systems
- A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets
- Dynamic slicing of Petri nets based on structural dependency graph and its application in system analysis
- An improved particle swarm optimization with decline disturbance index (DDPSO) for multi-objective job-shop scheduling problem
- Comparison and evaluation of deadlock prevention methods for different size automated manufacturing systems
- Confusion diagnosis and control of discrete event systems using synchronized Petri nets
- A new deadlock prevention method for a Petri net modeling the functionality of a hospital
- Understanding deadlock and livelock behaviors in hybrid control systems
- Deadlock prevention for flexible manufacturing system
- Deadlock analysis and control using Petri net decomposition techniques
- Elementary-siphon-based control policy for flexible manufacturing systems with partial observability and controllability of transitions
- One novel and optimal deadlock recovery policy for flexible manufacturing systems using iterative control transitions strategy
- On deadlock control for a class of generalised Petri net models of flexible manufacturing systems
- Hybrid Petri net and digraph approach for deadlock prevention in automated manufacturing systems
- Deadlock control for a class of generalized Petri nets based on proper resource allocation
- Deadlock characterization and control of flexible assembly systems with Petri nets
- Deadlock control based on capacity restrictions for FMS
This page was built for publication: A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5745696)
