Uses of Class
org.processmining.models.graphbased.directed.petrinet.analysis.NetAnalysisInformation.LIVENESS

Packages that use NetAnalysisInformation.LIVENESS
org.processmining.models.connections.petrinets.behavioral   
 

Uses of NetAnalysisInformation.LIVENESS in org.processmining.models.connections.petrinets.behavioral
 

Constructors in org.processmining.models.connections.petrinets.behavioral with parameters of type NetAnalysisInformation.LIVENESS
LivenessInfoConnection(PetrinetGraph net, Marking marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, NetAnalysisInformation.LIVENESS netAnalysisInformation)