Package org.processmining.plugins.flex.analysis

Class Summary

Class	Description
SoundnessChecking	Soundness checking of flexible model A flexible model is sound if and only if for each transition, there is a valid trace that include the transition.