Title: Existence and design of supervisors for Vector Discrete Event Systems