pnml-sample-extension