Uses of Class
org.processmining.models.graphbased.directed.petrinet.analysis.AbstractMarkingSet

Packages that use AbstractMarkingSet
org.processmining.models.connections.petrinets.behavioral   
org.processmining.models.graphbased.directed.petrinet.analysis   
 

Uses of AbstractMarkingSet in org.processmining.models.connections.petrinets.behavioral
 

Constructors in org.processmining.models.connections.petrinets.behavioral with parameters of type AbstractMarkingSet
CoverabilitySetConnection(PetrinetGraph net, Marking initial, AbstractMarkingSet<?> marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, java.lang.String setName)
           
HomeMarkingConnection(PetrinetGraph net, Marking initial, AbstractMarkingSet<?> marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, java.lang.String setName)
           
MarkingsetNetConnection(PetrinetGraph net, AbstractMarkingSet<?> marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, java.lang.String setName)
          All markings contain only places from the net, i.e.
ReachabilitySetConnection(PetrinetGraph net, Marking initial, AbstractMarkingSet<?> marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, java.lang.String setName)
           
 

Uses of AbstractMarkingSet in org.processmining.models.graphbased.directed.petrinet.analysis
 

Subclasses of AbstractMarkingSet in org.processmining.models.graphbased.directed.petrinet.analysis
 class CoverabilitySet
           
 class FinalMarkingSet
           
 class HomeMarkingSet
           
 class ReachabilitySet