On liveness and boundedness of asymmetric choice nets (Q1884933): Difference between revisions

@@ Property / author @@
+To-yat Cheung
@@ Property / author: To-yat Cheung / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+On liveness in Extended Non Self-Controlling Nets
@@ Property / cites work: On liveness in Extended Non Self-Controlling Nets / 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 @@
+Free Choice Petri Nets
@@ Property / cites work: Free Choice Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction and synthesis of live and bounded free choice Petri nets
+Normal rank
@@ Property / cites work @@
+Q4535794
@@ Property / cites work: Q4535794 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3045261
@@ Property / cites work: Q3045261 / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction and expansion of live and safe marked graphs
+Normal rank
@@ Property / cites work @@
+Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
+Normal rank
@@ Property / cites work @@
+Q4247289
@@ Property / cites work: Q4247289 / rank @@
+Normal rank
@@ Property / cites work @@
+A method for stepwise refinement and abstraction of Petri nets
+Normal rank
@@ Property / cites work @@
+Structure theory of equal conflict systems
@@ Property / cites work: Structure theory of equal conflict systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4840199
@@ Property / cites work: Q4840199 / rank @@
+Normal rank