A structure to decide reachability in Petri nets (Q1193891): Difference between revisions

@@ Property / cites work @@
+Q4190106
@@ Property / cites work: Q4190106 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198075
@@ Property / cites work: Q4198075 / rank @@
+Normal rank
@@ Property / cites work @@
+On the reachability problem for 5-dimensional vector addition systems
+Normal rank
@@ Property / cites work @@
+Q4190159
@@ Property / cites work: Q4190159 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel program schemata
@@ Property / cites work: Parallel program schemata / rank @@
+Normal rank
@@ Property / cites work @@
+Finding a partial solution to a linear system of equations in positive integers
+Normal rank
@@ Property / cites work @@
+Q4529547
@@ Property / cites work: Q4529547 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3702518
@@ Property / cites work: Q3702518 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4720790
@@ Property / cites work: Q4720790 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3911403
@@ Property / cites work: Q3911403 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q127976180
@@ Property / Wikidata QID: Q127976180 / rank @@
+Normal rank