exemplos estao em prism/lg para correr: ./../bin/prism nav.mdp ex2.props -prop 1 -exportprodtrans prod1.tra -exportprodstates prod1.sta -exporttarget prod1.lab -exportadv prod1.adv python parser.py nav.mdp prod1.sta prod1.lab prod1.tra prod1.mdp ./../bin/prism prod1.mdp ex2.props -prop 2 -exportprodtrans prod2.tra -exportprodstates prod2.sta -exporttarget prod2.lab python parser.py prod1.mdp prod2.sta prod2.lab prod2.tra prod2.mdp ./../bin/prism prod2.mdp ex2.props -prop 4 -exportstates stdout -exportadv prod2.adv ./../bin/prism prod2.mdp ex2.props -prop 4 -exportprodtrans prod3.tra -exportprodstates prod3.sta -exporttarget prod3.lab python parser.py prod2.mdp prod3.sta prod3.lab prod3.tra prod3.mdp ./../bin/prism prod3.mdp ex2.props -prop 5 -exportstates stdout -exportadv prod3.adv