Class PetrinetModelAllocations
- java.lang.Object
-
- org.processmining.plugins.stochasticpetrinet.external.PetrinetModelAllocations
-
public class PetrinetModelAllocations extends java.lang.Object
-
-
Constructor Summary
Constructors Constructor Description PetrinetModelAllocations(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidaddAllocation(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition, Allocation allocation)java.util.Set<Allocatable>getAllLocationAllocations()java.util.Set<Allocation>getAllocations(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition)java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.util.Set<Allocation>>getLocationAllocations()java.util.List<org.apache.commons.math3.util.Pair<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition>>getOrderRelation(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)Use jbpt library to get relations of the behavioral profile of the net.doublegetReverseEntropy(Allocation.AllocType type)
-
-
-
Method Detail
-
addAllocation
public void addAllocation(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition, Allocation allocation)
-
getAllocations
public java.util.Set<Allocation> getAllocations(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition)
-
getOrderRelation
public java.util.List<org.apache.commons.math3.util.Pair<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition>> getOrderRelation(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)
Use jbpt library to get relations of the behavioral profile of the net. Only looks at real precendence/order between transitions.- Parameters:
net- a petri net model (PetrinetGraph)- Returns:
- a list of transition pairs that are in order.
-
getAllLocationAllocations
public java.util.Set<Allocatable> getAllLocationAllocations()
-
getLocationAllocations
public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.util.Set<Allocation>> getLocationAllocations()
-
getReverseEntropy
public double getReverseEntropy(Allocation.AllocType type)
-
-