singleton pattern for pnml2bpn factory