Universality in Infinite Petri Nets (Q2945886): Difference between revisions

@@ Property / cites work @@
+The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
+Normal rank
@@ Property / cites work @@
+Q4749213
@@ Property / cites work: Q4749213 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5321501
@@ Property / cites work: Q5321501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5145148
@@ Property / cites work: Q5145148 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247290
@@ Property / cites work: Q4247290 / rank @@
+Normal rank
@@ Property / cites work @@
+Counter machines and counter languages
@@ Property / cites work: Counter machines and counter languages / rank @@
+Normal rank
@@ Property / cites work @@
+Small Universal Non-deterministic Petri Nets with Inhibitor Arcs
+Normal rank
@@ Property / cites work @@
+Small universal register machines
@@ Property / cites work: Small universal register machines / rank @@
+Normal rank
@@ Property / cites work @@
+Four Small Universal Turing Machines
@@ Property / cites work: Four Small Universal Turing Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Small Weakly Universal Turing Machines
@@ Property / cites work: Small Weakly Universal Turing Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q5313783
@@ Property / cites work: Q5313783 / rank @@
+Normal rank
@@ Property / cites work @@
+Partitioned quantum cellular automata are intrinsically universal
+Normal rank
@@ Property / cites work @@
+A note on colored Petri nets
@@ Property / cites work: A note on colored Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3911403
@@ Property / cites work: Q3911403 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247287
@@ Property / cites work: Q4247287 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3146285
@@ Property / cites work: Q3146285 / rank @@
+Normal rank
@@ Property / cites work @@
+State equations and equivalent transformations for timed Petri nets
+Normal rank
@@ Property / cites work @@
+Q4992880
@@ Property / cites work: Q4992880 / rank @@
+Normal rank