Update pnml.rst

Fixed code-block formatting and syntax highlighting