Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication (Q3636840): Difference between revisions

@@ Property / cites work @@
+Verifying programs with unreliable channels
@@ Property / cites work: Verifying programs with unreliable channels / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic analysis of programs with well quasi-ordered domains.
+Normal rank
@@ Property / cites work @@
+Comparing the Expressive Power of Well-Structured Transition Systems
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q4289279
@@ Property / cites work: Q4289279 / rank @@
+Normal rank
@@ Property / cites work @@
+Well-structured transition systems everywhere!
@@ Property / cites work: Well-structured transition systems everywhere! / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798028
@@ Property / cites work: Q4798028 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Petri nets
@@ Property / cites work: Recursive Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3601861
@@ Property / cites work: Q3601861 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4507821
@@ Property / cites work: Q4507821 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+On the Expressiveness of Mobile Synchronizing Petri Nets
+Normal rank
@@ Property / cites work @@
+Q3601864
@@ Property / cites work: Q3601864 / rank @@
+Normal rank