diff --git a/examples/automaton/VPA1.xml b/examples/automaton/NVPA1.xml
similarity index 100%
rename from examples/automaton/VPA1.xml
rename to examples/automaton/NVPA1.xml
diff --git a/examples/automaton/VPA2.xml b/examples/automaton/NVPA2.xml
similarity index 100%
rename from examples/automaton/VPA2.xml
rename to examples/automaton/NVPA2.xml