Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems (Q497950): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ins.2013.07.021
+Normal rank
@@ Property / OpenAlex ID @@
+W1990661455
@@ Property / OpenAlex ID: W1990661455 / rank @@
+Normal rank
@@ Property / cites work @@
+On liveness and controlled siphons in Petri nets
@@ Property / cites work: On liveness and controlled siphons in Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+An Optimization Approach to Petri Net Monitor Design
+Normal rank
@@ 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 @@
+Q5633643
@@ Property / cites work: Q5633643 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5702331
@@ Property / cites work: Q5702331 / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling and control of discrete-event dynamic systems with Petri nets and other tools.
+Normal rank
@@ Property / cites work @@
+Deadlock prevention policy based on Petri nets and siphons
+Normal rank
@@ Property / cites work @@
+A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems
+Normal rank
@@ Property / cites work @@
+Liveness of an extended S\(^{3}\)PR
@@ Property / cites work: Liveness of an extended S\(^{3}\)PR / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+Approximating the minimal sensor selection for supervisory control
+Normal rank
@@ Property / cites work @@
+Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources
+Normal rank
@@ Property / cites work @@
+Feedback control of Petri nets based on place invariants
+Normal rank