Update pnml_to_llnet.php