Design of a Maximally Permissive Liveness-enforcing Supervisor with Reduced Complexity for Automated Manufacturing Systems (Q2789909): Difference between revisions

@@ Property / cites work @@
+Deadlock prevention policy based on Petri nets and siphons
+Normal rank
@@ Property / cites work @@
+Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems
+Normal rank
@@ Property / cites work @@
+Real-time management of resource allocation systems. A discrete event systems approach.
+Normal rank
@@ Property / cites work @@
+A best deadlock control for <i>S</i><sup>3</sup>PMR to reach all states
+Normal rank
@@ Property / cites work @@
+Structure reduction of liveness‐enforcing Petri nets using mixed integer programming
+Normal rank
@@ Property / cites work @@
+A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models
+Normal rank
@@ Property / cites work @@
+Q4219294
@@ Property / cites work: Q4219294 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4840199
@@ Property / cites work: Q4840199 / rank @@
+Normal rank
@@ Property / cites work @@
+A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets
+Normal rank