Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching (Q665122): Difference between revisions

@@ Property / cites work @@
+Q4840199
@@ Property / cites work: Q4840199 / rank @@
+Normal rank
@@ Property / cites work @@
+A brief survey and synthesis of the roles of time in Petri nets.
+Normal rank
@@ Property / cites work @@
+Q4220896
@@ Property / cites work: Q4220896 / rank @@
+Normal rank
@@ Property / cites work @@
+On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets
+Normal rank
@@ Property / cites work @@
+Design of T-liveness enforcing supervisors in petri nets
+Normal rank
@@ Property / cites work @@
+Q4246817
@@ Property / cites work: Q4246817 / rank @@
+Normal rank
@@ Property / cites work @@
+Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory control of timed discrete-event systems
+Normal rank
@@ Property / cites work @@
+Supervisory control of timed discrete-event systems under partial observation
+Normal rank
@@ Property / cites work @@
+A supervisory control method for ensuring the conformance of real-time discrete event systems
+Normal rank
@@ Property / cites work @@
+Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets
+Normal rank
@@ Property / cites work @@
+Q4719062
@@ Property / cites work: Q4719062 / rank @@
+Normal rank