Uses of Class
org.processmining.plugins.petrinet.behavioralanalysis.AbstractLivenessAnalyzer

Packages that use AbstractLivenessAnalyzer

Package	Description
org.processmining.plugins.petrinet.behavioralanalysis

Uses of AbstractLivenessAnalyzer in org.processmining.plugins.petrinet.behavioralanalysis

Subclasses of AbstractLivenessAnalyzer in org.processmining.plugins.petrinet.behavioralanalysis

Modifier and Type	Class and Description
class	LivenessAnalyzer Class to analyze whether a given net is live based on Murata, Tadao.
class	LivenessAnalyzerWithSequence Class to analyze whether a given net is live based on Murata, Tadao.