Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources
From MaRDI portal
Publication:4876603
DOI10.1109/9.481550zbMath0845.90067OpenAlexW2141563078MaRDI QIDQ4876603
Haoxun Chen, Baosheng Hu, Keyi Xing
Publication date: 15 September 1996
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/9.481550
Production models (90B30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Coloured timed Petri net model for real-time control of automated guided vehicle systems ⋮ Real-time deadlock-free scheduling for semiconductor track systems based on colored timed Petri nets ⋮ Supervision based on place invariants: a survey ⋮ Petri nets for the design and operation of manufacturing systems ⋮ Deadlock avoidance algorithm for flexible manufacturing systems by calculating effective free space of circuits† ⋮ Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems ⋮ Hybrid Petri net and digraph approach for deadlock prevention in automated manufacturing systems ⋮ Deadlock characterization and control of flexible assembly systems with Petri nets ⋮ Robust deadlock control for automated manufacturing systems with an unreliable resource ⋮ Deadlock-free scheduling of an automated manufacturing system using an enhanced colored time resource Petri-net model-based evolutionary endosymbiotic learning automata approach ⋮ Structure reduction of liveness‐enforcing Petri nets using mixed integer programming ⋮ A Polynomial Algorithm for Computing Elementary Siphons in a Class of <scp>P</scp>etri Nets ⋮ Maximally Permissive Petri Net Supervisors for Flexible Manufacturing Systems with Uncontrollable and Unobservable Transitions ⋮ Extended Elementary Siphons and Their Application to Liveness‐Enforcement of Generalized <scp>P</scp>etri Nets ⋮ A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models ⋮ Liveness of an extended S\(^{3}\)PR ⋮ Evaluating order of circuits for deadlock avoidance in a flexible manufacturing system ⋮ Deadlock modeling and control of semiconductor track systems using resource-oriented Petri nets ⋮ On deadlock control for a class of generalised Petri net models of flexible manufacturing systems ⋮ Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming ⋮ A novel method for deadlock prevention of AMS by using resource-oriented Petri nets ⋮ Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs ⋮ Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming ⋮ Control of deadlock and blocking for production systems with unreliable workstations ⋮ Deadlock avoidance for manufacturing multipart re-entrant flow lines using a matrix-based discrete event controller ⋮ Deadlock-free scheduling in flexible manufacturing systems using Petri nets ⋮ A multistep look-ahead deadlock avoidance policy for automated manufacturing systems
This page was built for publication: Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources