java -jar ../../atnvis.jar Alice.prop