Pages that link to "Item:Q361050"
From MaRDI portal
The following pages link to On structural minimality of optimal supervisors for flexible manufacturing systems (Q361050):
Displaying 25 items.
- Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems (Q497950) (← links)
- Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems (Q540197) (← links)
- Synthesis of Petri net supervisors for FMS via redundant constraint elimination (Q900668) (← 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 for automated manufacturing systems with an unreliable resource (Q1991869) (← links)
- Model identification of unobservable behavior of discrete event systems using Petri nets (Q1999265) (← 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)
- 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)
- Deadlock recovery for flexible manufacturing systems modeled with Petri nets (Q2292945) (← links)
- A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems (Q2293066) (← links)
- An efficient siphon-based deadlock prevention policy for a class of generalized Petri nets (Q2314733) (← links)
- A multistep look-ahead deadlock avoidance policy for automated manufacturing systems (Q2314759) (← links)
- Supervisor reconfiguration for deadlock prevention by resources reallocation (Q2375493) (← links)
- Solving the problem of forbidden states in discrete event systems: a novel systematic method for reducing the number of control places (Q2790014) (← links)
- Gradient-based controllers for timed continuous Petri nets (Q2792894) (← links)
- Extension of the lower bound of monitor solutions of maximally permissive supervisors to non-α net systems (Q2822261) (← links)
- On the synthesis of liveness-enforcing supervisors for flexible manufacturing systems using global idle places (Q4555871) (← links)
- Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs (Q4575107) (← links)
- On structural reduction of liveness-enforcing Petri net supervisors for flexible manufacturing systems: an algebraic approach (Q4967009) (← links)
- Maximally Permissive Petri Net Supervisors for Flexible Manufacturing Systems with Uncontrollable and Unobservable Transitions (Q5177180) (← 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)
