Talk:Vector addition system