A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models
From MaRDI portal
Publication:5745696
DOI10.1002/asjc.369zbMath1282.93179OpenAlexW2023755271MaRDI QIDQ5745696
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
Petri netflexible manufacturing systemoptimal liveness-enforcing supervisorsiphonuncontrollable transition
Related Items (7)
An improved particle swarm optimization with decline disturbance index (DDPSO) for multi-objective job-shop scheduling problem ⋮ Confusion Diagnosis and Control of Discrete Event Systems Using Synchronized <scp>P</scp>etri Nets ⋮ 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 ⋮ Elementary-Siphon-Based Control Policy for Flexible Manufacturing Systems with Partial Observability and Controllability of Transitions ⋮ New Controllability Condition for Siphons in Ws3PR Nets ⋮ Dynamic Slicing of Petri Nets Based on Structural Dependency Graph and its Application in System Analysis
Cites Work
- Liveness of an extended S\(^{3}\)PR
- Deadlock prevention policy based on Petri nets and siphons
- Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
- Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
- Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources
This page was built for publication: A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models
