org.processmining.plugins.petrinet.replayer.util.codec

Class EncPNWSetFinalMarkings