-
Vector Addition Systems with States vs. Petri Nets
Petri nets are a well-known and intensively studied model of concurrency often used to specify distributed or parallel systems. Vector addition systems with states are... -
Closure properties and decision problems of dag automata
Tree automata are widely used in various contexts. They are closed under boolean operations and their emptiness problem decidable in polynomial time. Dag automata are...
