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	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.