Existence of home states in Petri nets is decidable (Q264201): Difference between revisions

@@ Property / cites work @@
+Q3268576
@@ Property / cites work: Q3268576 / rank @@
+Normal rank
@@ Property / cites work @@
+Self-stabilizing systems in spite of distributed control
+Normal rank
@@ Property / cites work @@
+Verification of Population Protocols
@@ Property / cites work: Verification of Population Protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Free Choice Petri Nets
@@ Property / cites work: Free Choice Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Rational sets in commutative monoids
@@ Property / cites work: Rational sets in commutative monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Semigroups, Presburger formulas, and languages
@@ Property / cites work: Semigroups, Presburger formulas, and languages / rank @@
+Normal rank
@@ Property / cites work @@
+Vector Addition System Reversible Reachability Problem
+Normal rank
@@ Property / cites work @@
+Petri nets with individual tokens
@@ Property / cites work: Petri nets with individual tokens / rank @@
+Normal rank
@@ Property / cites work @@
+Entscheidbarkeit bei Petri Netzen
@@ Property / cites work: Entscheidbarkeit bei Petri Netzen / rank @@
+Normal rank