Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case
From MaRDI portal
(Redirected from Publication:5347802)
Cited in
(22)- Design of optimal Petri-net controllers for a class of flexible manufacturing systems with key resources
- The fundamental closed-form solution of control-related states ofkth order S3PR system with left-side non-sharing resource places of Petri nets
- Deadlock prevention policy with behavioral optimality or suboptimality achieved by the redundancy identification of constraints and the rearrangement of monitors
- A branch and bound approach for the design of decentralized supervisors in Petri net models
- Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks
- Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm
- Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems
- On the Complexity of Maximally Permissive Deadlock Avoidance in Multi-Vehicle Traffic Systems
- A survey of siphons in Petri nets
- Optimal control applications and methods literature survey (No. 27)
- Correction to the RUN DAP for conjunctive RAS presented in "Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems"
- Extension of the lower bound of monitor solutions of maximally permissive supervisors to non- net systems
- Optimal Petri net supervisor synthesis for forbidden state problems using marking mask
- On the lower bound of monitor solutions of maximally permissive supervisors for a subclass \(\alpha\)-\(S^{3}\)PR of flexible manufacturing systems
- Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
- Topological reverse mirroring: a new efficient knowledge-based methodology of reachability analysis for Petri nets
- Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems
- Configuration of liveness-enforcing initial marking with the minimum resources for resource allocation systems
- Robust supervisory control for automated manufacturing systems with unreliable resources by analyzing reachable state space
- Time based deadlock prevention for Petri nets
- On the enforcement of a class of nonlinear constraints on Petri nets
- An enhanced supervisory control strategy for periodicity mutual exclusions in discrete event systems based on Petri nets
This page was built for publication: Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5347802)
