Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement (Q838995): Difference between revisions

@@ Property / cites work @@
+Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places
+Normal rank
@@ Property / cites work @@
+Synthesis of feedback control logic for a class of controlled Petri nets
+Normal rank
@@ Property / cites work @@
+A survey of Petri net methods for controlled discrete event systems
+Normal rank
@@ Property / cites work @@
+Design of T-liveness enforcing supervisors in petri nets
+Normal rank
@@ Property / cites work @@
+Supervisory control of concurrent systems. A Petri net structural approach.
+Normal rank
@@ Property / cites work @@
+Petri net supervisors for DES with uncontrollable and unobservable transitions
+Normal rank
@@ Property / cites work @@
+Combinatorial optimization in geometry
@@ Property / cites work: Combinatorial optimization in geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247289
@@ Property / cites work: Q4247289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3154377
@@ Property / cites work: Q3154377 / rank @@
+Normal rank
@@ Property / cites work @@
+Feedback control of Petri nets based on place invariants
+Normal rank