Pages that link to "Item:Q540197"
From MaRDI portal
The following pages link to Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems (Q540197):
Displaying 39 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<sup>3</sup>PR Petri nets (Q5252903) (← links)
- On the lower bound of monitor solutions of maximally permissive supervisors for a subclass α-S<sup>3</sup>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)