Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources
From MaRDI portal
Publication:4876603
DOI10.1109/9.481550zbMath0845.90067MaRDI 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
90B30: Production models
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
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, 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, 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, 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, Hybrid Petri net and digraph approach for deadlock prevention in automated manufacturing systems, A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models, Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems, Deadlock characterization and control of flexible assembly systems with Petri nets, Supervision based on place invariants: a survey, Deadlock-free scheduling of an automated manufacturing system using an enhanced colored time resource Petri-net model-based evolutionary endosymbiotic learning automata approach, Liveness of an extended S\(^{3}\)PR, Petri nets for the design and operation of manufacturing systems, Robust deadlock control for automated manufacturing systems with an unreliable resource, 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, A multistep look-ahead deadlock avoidance policy for automated manufacturing systems, Real-time deadlock-free scheduling for semiconductor track systems based on colored timed 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, Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming, Coloured timed Petri net model for real-time control of automated guided vehicle systems, Deadlock avoidance algorithm for flexible manufacturing systems by calculating effective free space of circuits†
