Vector addition system

Known as: VAS, Vass, Vector addition system with states 
A vector addition system consists of a finite set of integer vectors. An initial vector is seen as the initial values of multiple counters, and the… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Given two families of sets F and G, the F-separability problem for G asks whether for two given sets U, V ∈ G there exists a set… (More)
Is this relevant?
2015
2015
More than 30 years after their inception, the decidability proofs for reach ability in vector addition systems (VAS) still retain… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2014
2014
Alternating vector addition systems are obtained by equipping vector addition systems with states (VASS) with ‘fork’ rules, and… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
2013
2013
The reach ability problem for Vector Addition Systems (VAS) is a central problem of net theory. The problem is known to be… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
2012
2012
The reachability problem for Vector Addition Systems (VASs) is a central problem of net theory. The general problem is known to… (More)
  • figure 1
Is this relevant?
2011
2011
The reachability problem for vector addition systems is a central problem of net theory. This problem is known to be decidable… (More)
  • figure 1
Is this relevant?
2011
2011
A large number of properties of a vector addition system—for instance coverability, boundedness, or regularity—can be decided… (More)
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Branching vector addition systems are an extension of vector addition systems where new reachable vectors may be obtained by… (More)
Is this relevant?
2005
2005
1 Faculty of Informatics, Vienna University of Technology Favoritenstr. 9–11, A–1040 Vienna, Austria E-mail: rudi@emcc.at 2… (More)
Is this relevant?
Highly Cited
1982
Highly Cited
1982
A convincing proof of the decidability of reachability in vector addition systems is presented. No drastically new ideas beyond… (More)
Is this relevant?