When a vector is declared locally in a process, the simulator of UPPAAL displays the values of its fields as
"vector[index] = value" instead of "Process.vector[index] = value", which may lead to amiguity, like in the attached example.
Created attachment 134 [details]
example for display of local vectors
I have not been able to reproduce the reported problem. When opening your model in Uppaal 4.0.3, the simulator displays the local arrays like you would like them to be displayed.