Vector addition systems