Reduction of constraints for controller synthesis based on safe Petri nets (Q958258): 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 @@
+Discrete, Continuous, and Hybrid Petri Nets
@@ Property / cites work: Discrete, Continuous, and Hybrid Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Control of safe ordinary Petri nets using unfolding
+Normal rank
@@ Property / cites work @@
+Supervisory control of deterministic Petri nets with regular specification languages
+Normal rank
@@ Property / cites work @@
+Petri net supervisors for DES with uncontrollable and unobservable transitions
+Normal rank
@@ Property / cites work @@
+Q3939193
@@ Property / cites work: Q3939193 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular Feedback Logic for Discrete Event Systems
@@ Property / cites work: Modular Feedback Logic for Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Feedback control of Petri nets based on place invariants
+Normal rank