Decidability of a temporal logic problem for Petri nets (Q914407): Difference between revisions

@@ Property / cites work @@
+Q3766865
@@ Property / cites work: Q3766865 / rank @@
+Normal rank
@@ Property / cites work @@
+Ordering by Divisibility in Abstract Algebras
@@ Property / cites work: Ordering by Divisibility in Abstract Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3802633
@@ Property / cites work: Q3802633 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4732129
@@ Property / cites work: Q4732129 / rank @@
+Normal rank
@@ Property / cites work @@
+An Algorithm for the General Petri Net Reachability Problem
+Normal rank