Uses of Class
org.processmining.models.graphbased.directed.petrinet.analysis.AbstractMarkingSet
-
Packages that use AbstractMarkingSet Package Description 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 Constructor Description 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 Modifier and Type Class Description classCoverabilitySetclassFinalMarkingSetclassHomeMarkingSetclassReachabilitySet
-