add method for model finalization (finalize)
use of the high-level API of the PNML framework instead of the low-level (EMF related) one