Design of a Maximally Permissive Liveness-enforcing Supervisor with Reduced Complexity for Automated Manufacturing Systems (Q2789909): Difference between revisions

@@ Property / author @@
+Meng Chu Zhou
@@ Property / author: Meng Chu Zhou / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+INA
@@ Property / describes a project that uses: INA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1002/asjc.837
@@ Property / full work available at URL: https://doi.org/10.1002/asjc.837 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1508998572
@@ Property / OpenAlex ID: W1508998572 / rank @@
+Normal rank
@@ Property / cites work @@
+Deadlock prevention policy based on Petri nets and siphons
+Normal rank
@@ Property / cites work @@
+Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems
+Normal rank
@@ Property / cites work @@
+Real-time management of resource allocation systems. A discrete event systems approach.
+Normal rank
@@ Property / cites work @@
+A best deadlock control for <i>S</i><sup>3</sup>PMR to reach all states
+Normal rank
@@ Property / cites work @@
+Structure reduction of liveness‐enforcing Petri nets using mixed integer programming
+Normal rank
@@ Property / cites work @@
+A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models
+Normal rank
@@ Property / cites work @@
+Q4219294
@@ Property / cites work: Q4219294 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4840199
@@ Property / cites work: Q4840199 / rank @@
+Normal rank
@@ Property / cites work @@
+A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets
+Normal rank