Deadlock recovery for flexible manufacturing systems modeled with Petri nets (Q2292945): Difference between revisions

@@ Property / cites work @@
+Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
+Normal rank
@@ Property / cites work @@
+On structural minimality of optimal supervisors for flexible manufacturing systems
+Normal rank
@@ Property / cites work @@
+On the enforcement of a class of nonlinear constraints on Petri nets
+Normal rank
@@ Property / cites work @@
+Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery
+Normal rank
@@ Property / cites work @@
+A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems
+Normal rank
@@ Property / cites work @@
+Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
+Normal rank
@@ Property / cites work @@
+Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
+Normal rank
@@ Property / cites work @@
+On the Equivalence of Observation Structures for Petri Net Generators
+Normal rank
@@ Property / cites work @@
+Q4782033
@@ Property / cites work: Q4782033 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions
+Normal rank
@@ Property / cites work @@
+Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm
+Normal rank