Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture (Q2822649): Difference between revisions

@@ Property / describes a project that uses @@
+NLambda
@@ Property / describes a project that uses: NLambda / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-39086-4_3
+Normal rank
@@ Property / OpenAlex ID @@
+W2489809986
@@ Property / OpenAlex ID: W2489809986 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535172
@@ Property / cites work: Q4535172 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards nominal computation
@@ Property / cites work: Towards nominal computation / rank @@
+Normal rank
@@ Property / cites work @@
+Automata theory in nominal sets
@@ Property / cites work: Automata theory in nominal sets / rank @@
+Normal rank
@@ Property / cites work @@
+Turing Machines with Atoms
@@ Property / cites work: Turing Machines with Atoms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418589
@@ Property / cites work: Q4418589 / rank @@
+Normal rank
@@ Property / cites work @@
+The classification of countable homogeneous directed graphs and countable homogeneous 𝑛-tournaments
+Normal rank
@@ Property / cites work @@
+Q5351961
@@ Property / cites work: Q5351961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5389997
@@ Property / cites work: Q5389997 / 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 @@
+System modelling with high-level Petri nets
@@ Property / cites work: System modelling with high-level Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets
+Normal rank
@@ Property / cites work @@
+Countable homogeneous relational structures and <i>ℵ</i><sub>0</sub>-categorical theories
+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 @@
+Coverability Trees for Petri Nets with Unordered Data
+Normal rank
@@ Property / cites work @@
+Verification of Timed-Arc Petri Nets
@@ Property / cites work: Verification of Timed-Arc Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Coloured Petri nets and the invariant-method
@@ Property / cites work: Coloured Petri nets and the invariant-method / rank @@
+Normal rank
@@ Property / cites work @@
+LOIS: syntax and semantics
@@ Property / cites work: LOIS: syntax and semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
+Normal rank
@@ Property / cites work @@
+Finitely constrained classes of homogeneous directed graphs
+Normal rank
@@ Property / cites work @@
+Nets with Tokens Which Carry Data
@@ Property / cites work: Nets with Tokens Which Carry Data / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of homogeneous structures
@@ Property / cites work: A survey of homogeneous structures / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability and complexity of Petri nets with unordered data
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2822649