use of the high-level API of the PNML framework instead of the low-level (EMF related) one
initial version of the function for encoding transitions (adding the support for input/output arc of the net transition)