Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm (Q2279735): 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 @@
+Feedback Control Logic for Backward Conflict Free Choice Nets
+Normal rank
@@ Property / cites work @@
+Net structure and control logic synthesis of controlled Petri nets
+Normal rank
@@ Property / cites work @@
+Control synthesis of Petri nets based on \(S\)-decreases
+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 @@
+Synthesis of supervisors enforcing general linear constraints in petri nets
+Normal rank
@@ Property / cites work @@
+Decentralized Supervision of Petri Nets
@@ Property / cites work: Decentralized Supervision of Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Feedback control logic for forbidden-state problems of marked graphs: application to a real manufacturing system
+Normal rank
@@ Property / cites work @@
+Control of vector discrete-event systems. I. The base model
+Normal rank
@@ Property / cites work @@
+Control of vector discrete-event systems. II. Controller synthesis
+Normal rank
@@ Property / cites work @@
+Termination Properties of Generalized Petri Nets
@@ Property / cites work: Termination Properties of Generalized Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219294
@@ Property / cites work: Q4219294 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri net supervisors for DES with uncontrollable and unobservable transitions
+Normal rank
@@ Property / cites work @@
+Structuring acyclic Petri nets for reachability analysis and control
+Normal rank
@@ Property / cites work @@
+Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems
+Normal rank
@@ Property / cites work @@
+A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets
+Normal rank
@@ Property / cites work @@
+Feedback control of Petri nets based on place invariants
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory control of deterministic Petri nets with regular specification languages
+Normal rank
@@ Property / cites work @@
+Solving the Problem of Forbidden States in Discrete Event Systems: A Novel Systematic Method for Reducing the Number of Control Places
+Normal rank
@@ Property / cites work @@
+Controller Synthesis with Highly Simplified Linear Constraints
+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 @@
+Designing Optimal Deadlock Avoidance Policies for Sequential Resource Allocation Systems Through Classification Theory: Existence Results and Customized Algorithms
+Normal rank
@@ Property / cites work @@
+Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
+Normal rank
@@ Property / cites work @@
+Comments on ``Maximally permissive supervisor synthesis based on a new constraint transformation method'' [Automatica 48 (2012), 1097-1101]
+Normal rank