우선순위 벡터 추가 시스템(Priority Vector Addition Systems, PVAS)은 반선형 도달 관계를 가지며, 이는 평탄화 가능하다. 또한 PVAS는 반선형 귀납적 불변식을 가진다.
