org.processmining.plugins.flex.replayer.data
Classes
FlexExtendedEncodedState
FlexNodeEncodedPredSuc