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

@@ Property / author @@
-Meng Chu Zhou
@@ Property / author: Meng Chu Zhou / rank @@
-Normal rank
@@ 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.1016/j.ins.2017.05.011
+Normal rank
@@ Property / OpenAlex ID @@
+W2613548800
@@ Property / OpenAlex ID: W2613548800 / 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 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
@@ links / mardi / name / links / mardi / name @@
+Publication:2293269