Design of optimal Petri-net controllers for a class of flexible manufacturing systems with key resources (Q2279729): 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 @@
+Q3596093
@@ Property / cites work: Q3596093 / rank @@
+Normal rank
@@ Property / cites work @@
+Deadlock prevention policy based on Petri nets and siphons
+Normal rank
@@ Property / cites work @@
+Approach for Transforming Linear Constraints on Petri Nets
+Normal rank
@@ Property / cites work @@
+Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis
+Normal rank
@@ Property / cites work @@
+Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case
+Normal rank
@@ Property / cites work @@
+Q5702331
@@ Property / cites work: Q5702331 / rank @@
+Normal rank