Karp-Miller Trees for a Branching Extension of VASS
We study BVASS (Branching VASS) which extend VASS (Vector Addition Systems with States) by allowing addition transitions that merge two configurations. Runs in BVASS are tree-like structures instead of linear ones as for VASS. We show that the construction of Karp-Miller trees for VASS can be extend...
Main Authors: | Kumar Neeraj Verma, Jean Goubault-Larrecq |
---|---|
Format: | Article |
Language: | English |
Published: |
Discrete Mathematics & Theoretical Computer Science
2005-01-01
|
Series: | Discrete Mathematics & Theoretical Computer Science |
Subjects: | |
Online Access: | https://dmtcs.episciences.org/350/pdf |
Similar Items
-
Right-cancellability of a family of operations on binary trees
by: Philippe Duchon
Published: (1998-01-01) -
The irregularity of two types of trees
by: Li Jianxi, et al.
Published: (2016-06-01) -
Clustered Spanning Tree - Conditions for Feasibility
by: Nili Guttmann-Beck, et al.
Published: (2019-08-01) -
Detection number of bipartite graphs and cubic graphs
by: Frederic Havet, et al.
Published: (2014-12-01) -
Strong parity vertex coloring of plane graphs
by: Tomas Kaiser, et al.
Published: (2014-03-01)