Deadlock prevention policy based on Petri nets and siphons

DOI10.1080/00207540010002405zbMath1017.90507OpenAlexW2098899007MaRDI QIDQ2713455

Sheng-Luen Chung, MuDer Jeng, Yi Sheng Huang, Xiaolan Xie

Publication date: 26 August 2003

Published in: International Journal of Production Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207540010002405

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Production models (90B30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (30)

Coloured timed Petri net model for real-time control of automated guided vehicle systems ⋮ An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming ⋮ On structural minimality of optimal supervisors for flexible manufacturing systems ⋮ Equivalent transformation of nonlinear constraints to linear constraints in Petri nets ⋮ Computationally improved optimal control methodology for linear programming problems of flexible manufacturing systems ⋮ Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs ⋮ Synthesis of Petri net supervisors for FMS via redundant constraint elimination ⋮ Two-stage design method of robust deadlock control for automated manufacturing systems with a type of unreliable resources ⋮ Robustness of deadlock control for a class of Petri nets with unreliable resources ⋮ Deadlock prevention policy with behavioral optimality or suboptimality achieved by the redundancy identification of constraints and the rearrangement of monitors ⋮ Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems ⋮ Deadlock characterization and control of flexible assembly systems with Petri nets ⋮ Robust deadlock control for automated manufacturing systems with an unreliable resource ⋮ Structure reduction of liveness‐enforcing Petri nets using mixed integer programming ⋮ Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems ⋮ A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models ⋮ Polynomial-complexity robust deadlock controllers for a class of automated manufacturing systems with unreliable resources using Petri nets ⋮ On deadlock control for a class of generalised Petri net models of flexible manufacturing systems ⋮ 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 ⋮ Solving the Problem of Forbidden States in Discrete Event Systems: A Novel Systematic Method for Reducing the Number of Control Places ⋮ Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming ⋮ A survey of siphons in Petri nets ⋮ Design of optimal Petri-net controllers for a class of flexible manufacturing systems with key resources ⋮ Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs ⋮ Petri net representation and reachability analysis of 0--1 integer linear programming problems ⋮ Computation of strict minimal siphons in a class of Petri nets based on problem decomposition ⋮ An estimation of distribution algorithm for scheduling problem of flexible manufacturing systems using Petri nets ⋮ One novel and optimal deadlock recovery policy for flexible manufacturing systems using iterative control transitions strategy ⋮ Mixed integer programming-based liveness test for FMS with full routing flexibility

This page was built for publication: Deadlock prevention policy based on Petri nets and siphons