Computation of strict minimal siphons in a class of Petri nets based on problem decomposition (Q2293269): Difference between revisions

@@ 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 algorithm to compute the minimal siphons in \(S^4 PR\) nets
+Normal rank
@@ Property / cites work @@
+Deadlock recovery for flexible manufacturing systems modeled with Petri nets
+Normal rank
@@ Property / cites work @@
+An Improved Algorithm for Siphons and Minimal Siphons in Petri Nets Based on Semi-tensor Product of Matrices
+Normal rank
@@ Property / cites work @@
+Deadlock prevention policy based on Petri nets and siphons
+Normal rank
@@ Property / cites work @@
+Complexity of the deadlock problem for Petri nets modeling resource allocation systems
+Normal rank
@@ Property / cites work @@
+A survey of siphons in Petri nets
@@ Property / cites work: A survey of siphons in Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+New Algorithms for Deciding the Siphon-Trap Property
+Normal rank
@@ Property / cites work @@
+Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
+Normal rank
@@ Property / cites work @@
+Q5702331
@@ Property / cites work: Q5702331 / rank @@
+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 @@
+Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs
+Normal rank
@@ Property / cites work @@
+Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm
+Normal rank
@@ Property / cites work @@
+Robust deadlock control for automated manufacturing systems with an unreliable resource
+Normal rank
@@ Property / cites work @@
+A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems
+Normal rank
@@ Property / cites work @@
+Q4840199
@@ Property / cites work: Q4840199 / rank @@
+Normal rank