Coverability Trees for Petri Nets with Unordered Data (Q2811357): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2237589178
@@ Property / OpenAlex ID: W2237589178 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic analysis of programs with well quasi-ordered domains.
+Normal rank
@@ Property / cites work @@
+Model Checking Coverability Graphs of Vector Addition Systems
+Normal rank
@@ Property / cites work @@
+Automata theory in nominal sets
@@ Property / cites work: Automata theory in nominal sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4152749
@@ Property / cites work: Q4152749 / rank @@
+Normal rank
@@ Property / cites work @@
+On selective unboundedness of VASS
@@ Property / cites work: On selective unboundedness of VASS / 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 @@
+Q5389997
@@ Property / cites work: Q5389997 / rank @@
+Normal rank
@@ Property / cites work @@
+Forward Analysis for WSTS, Part II: Complete WSTS
@@ Property / cites work: Forward Analysis for WSTS, Part II: Complete WSTS / rank @@
+Normal rank
@@ Property / cites work @@
+A well-structured framework for analysing Petri net extensions
+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 @@
+Parallel program schemata
@@ Property / cites work: Parallel program schemata / rank @@
+Normal rank
@@ Property / cites work @@
+A structure to decide reachability in Petri nets
@@ Property / cites work: A structure to decide reachability in Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3601861
@@ Property / cites work: Q3601861 / rank @@
+Normal rank
@@ Property / cites work @@
+Demystifying Reachability in Vector Addition Systems
+Normal rank
@@ Property / cites work @@
+The covering and boundedness problems for vector addition systems
+Normal rank
@@ Property / cites work @@
+Decidability and complexity of Petri nets with unordered data
+Normal rank
@@ Property / cites work @@
+Q3225720
@@ Property / cites work: Q3225720 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity Hierarchies beyond Elementary
@@ Property / cites work: Complexity Hierarchies beyond Elementary / rank @@
+Normal rank
@@ Property / cites work @@
+The Power of Well-Structured Systems
@@ Property / cites work: The Power of Well-Structured Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Revisiting Ackermann-Hardness for Lossy Counter Machines and Reset Petri Nets
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2811357