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