A polynomial-time algorithm to decide liveness of bounded free choice nets (Q1193656): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3683542
@@ Property / cites work: Q3683542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771633
@@ Property / cites work: Q3771633 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial order behaviour and structure of Petri nets
+Normal rank
@@ Property / cites work @@
+Q3773359
@@ Property / cites work: Q3773359 / rank @@
+Normal rank
@@ Property / cites work @@
+A polynomial Newton method for linear programming
@@ Property / cites work: A polynomial Newton method for linear programming / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of some problems in Petri nets
@@ Property / cites work: Complexity of some problems in Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3782791
@@ Property / cites work: Q3782791 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3859263
@@ Property / cites work: Q3859263 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1193656