org.processmining.plugins.petrinet.behavioralanalysis

Class LivenessAnalyzerWithSequence