Spent some time running the new PN through wilander, and I have committed my modified wilander, with a PN_README explaining how to repeat the experiment. 



Former-commit-id: b900e65187cf00ad213feed5e72f347b754012a5