Pages that link to "Item:Q540197"

The following pages link to Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems (Q540197):

Displaying 43 items.

• Petri net controllers for generalized mutual exclusion constraints with floor operators (Q340680) (← links)
• On structural minimality of optimal supervisors for flexible manufacturing systems (Q361050) (← links)
• Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems (Q497950) (← links)
• Synthesis of Petri net supervisors for FMS via redundant constraint elimination (Q900668) (← links)
• Equivalent transformation of nonlinear constraints to linear constraints in Petri nets (Q1666226) (← links)
• On the enforcement of a class of nonlinear constraints on Petri nets (Q1689357) (← links)
• Deadlock prevention policy with behavioral optimality or suboptimality achieved by the redundancy identification of constraints and the rearrangement of monitors (Q1723403) (← links)
• Robust deadlock control of automated manufacturing systems with multiple unreliable resources (Q2004755) (← links)
• Resource failure and buffer space allocation control for automated manufacturing systems (Q2195353) (← links)
• Editorial: Deadlock analysis and control in resource allocation systems (Q2279724) (← links)
• A novel method for deadlock prevention of AMS by using resource-oriented Petri nets (Q2279726) (← links)
• Complexity of the deadlock problem for Petri nets modeling resource allocation systems (Q2279727) (← links)
• A survey of siphons in Petri nets (Q2279728) (← links)
• Design of optimal Petri-net controllers for a class of flexible manufacturing systems with key resources (Q2279729) (← links)
• Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs (Q2279733) (← links)
• Sequential composition of linear systems' clans (Q2279738) (← links)
• Deadlock recovery for flexible manufacturing systems modeled with Petri nets (Q2292945) (← links)
• Petri net representation and reachability analysis of 0--1 integer linear programming problems (Q2293169) (← links)
• One novel and optimal deadlock recovery policy for flexible manufacturing systems using iterative control transitions strategy (Q2298487) (← links)
• A multistep look-ahead deadlock avoidance policy for automated manufacturing systems (Q2314759) (← links)
• Confusion analysis and detection for workflow nets (Q2321511) (← links)
• A branch and bound approach for the design of decentralized supervisors in Petri net models (Q2342792) (← links)
• Robustness of deadlock control for a class of Petri nets with unreliable resources (Q2446458) (← links)
• Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri nets (Q2663929) (← links)
• Design of control laws for timed event graphs networks subject to mutual exclusion constraints in min-plus algebra (Q2667519) (← links)
• Solving the Problem of Forbidden States in Discrete Event Systems: A Novel Systematic Method for Reducing the Number of Control Places (Q2790014) (← links)
• Further reduction of minimal first-met bad markings for the computationally efficient synthesis of a maximally permissive controller (Q2797617) (← links)
• Deadlock Control for a Class of Generalized Petri Nets Based on Proper Resource Allocation (Q2812823) (← links)
• Extension of the lower bound of monitor solutions of maximally permissive supervisors to non-α net systems (Q2822261) (← links)
• Structure of weakly 2-dependent siphons (Q2868843) (← links)
• Controller Synthesis with Highly Simplified Linear Constraints (Q3454364) (← links)
• Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs (Q4575107) (← links)
• A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets (Q5026749) (← links)
• Maximally Permissive Petri Net Supervisors for Flexible Manufacturing Systems with Uncontrollable and Unobservable Transitions (Q5177180) (← links)
• Extended Elementary Siphons and Their Application to Liveness‐Enforcement of Generalized <scp>P</scp>etri Nets (Q5177194) (← links)
• Necessary and sufficient liveness condition of GS³PR Petri nets (Q5252903) (← links)
• On the lower bound of monitor solutions of maximally permissive supervisors for a subclass α-S³PR of flexible manufacturing systems (Q5265607) (← links)
• Liveness enforcement for production systems modeled by time Petri nets (Q6052675) (← links)
• Trustworthiness analysis and evaluation for command and control cyber-physical systems using generalized stochastic Petri nets (Q6196465) (← links)
• Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs (Q6550220) (← links)
• Deadlock and blockage control of automated manufacturing systems with an unreliable resource (Q6563338) (← links)
• Modeling, reachability and controllability of bounded Petri nets based on semi-tensor product of matrices (Q6563357) (← links)
• Configuration of liveness-enforcing initial marking with the minimum resources for resource allocation systems (Q6653443) (← links)