Informasi yang berkaitan dengan it/Vector Addition System with States