Petri nets and regular languages (Q1158763): Difference between revisions

@@ Property / cites work @@
+Reversal-bounded multipushdown machines
@@ Property / cites work: Reversal-bounded multipushdown machines / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets and szilard languages
@@ Property / cites work: Petri nets and szilard languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883515
@@ Property / cites work: Q3883515 / rank @@
+Normal rank
@@ Property / cites work @@
+Vector addition systems and regular languages
@@ Property / cites work: Vector addition systems and regular languages / rank @@
+Normal rank
@@ Property / cites work @@
+An Infinite Hierarchy of Context-Free Languages
@@ Property / cites work: An Infinite Hierarchy of Context-Free Languages / rank @@
+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 @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Computation sequence sets
@@ Property / cites work: Computation sequence sets / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+The covering and boundedness problems for vector addition systems
+Normal rank
@@ Property / cites work @@
+Q4144807
@@ Property / cites work: Q4144807 / rank @@
+Normal rank