org.processmining.plugins.petrinet.behavioralanalysis
Classes
AbstractLivenessAnalyzer
BoundednessAnalyzer
CGGenerator
DeadTransitionAnalyzer
HomeMarkingAnalyzer
LivenessAnalyzer
LivenessAnalyzerWithSequence
RelaxedSoundnessAnalyzer
TSGenerator