public class GeneratedPetrinet
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
java.util.Map<java.lang.String,org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
activitiesTransitionCorrespondence |
java.util.List<java.lang.String> |
endActivities |
org.processmining.models.semantics.petrinet.Marking |
finalMarking |
org.processmining.models.semantics.petrinet.Marking |
initialMarking |
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Place>> |
inputPlacesForTransitions |
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> |
inputTransitionsForPlace |
org.processmining.models.graphbased.directed.petrinet.Petrinet |
net |
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Place>> |
outputPlacesForTransitions |
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> |
outputTransitionsForPlace |
org.processmining.models.graphbased.directed.petrinet.elements.Place |
sinkPlace |
org.processmining.models.graphbased.directed.petrinet.elements.Place |
sourcePlace |
java.util.List<java.lang.String> |
startActivities |
java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
transitionsAttachedToSinkPlace |
java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
transitionsAttachedToSourcePlace |
Constructor and Description |
---|
GeneratedPetrinet(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking initialMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking,
org.processmining.models.graphbased.directed.petrinet.elements.Place sourcePlace,
org.processmining.models.graphbased.directed.petrinet.elements.Place sinkPlace,
java.util.List<java.lang.String> startActivities,
java.util.List<java.lang.String> endActivities,
java.util.Map<java.lang.String,org.processmining.models.graphbased.directed.petrinet.elements.Transition> activitiesTransitionCorrespondence) |
Modifier and Type | Method and Description |
---|---|
void |
activateTransition(org.processmining.models.semantics.petrinet.Marking marking,
org.processmining.models.graphbased.directed.petrinet.elements.Transition transition) |
void |
addPlaceToVisitedPlaces(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,java.lang.Integer> visitedPlaces,
org.processmining.models.graphbased.directed.petrinet.elements.Place place) |
java.lang.Boolean |
areAllTransitionsNonDead(org.processmining.models.semantics.petrinet.Marking currentMarking,
org.processmining.models.graphbased.directed.petrinet.elements.Place sourcePlace) |
void |
calculateInputAndOutputPlaces() |
java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getActivatedTransitionsAccordingToMarking(org.processmining.models.semantics.petrinet.Marking marking) |
org.processmining.models.semantics.petrinet.Marking |
getInitialMarking() |
java.lang.Integer |
getMaxIntValueFromMap(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,java.lang.Integer> visitedPlaces) |
org.processmining.models.graphbased.directed.petrinet.Petrinet |
getNet() |
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getPossiblyDeadTransitions(org.processmining.models.semantics.petrinet.Marking currentMarking) |
java.util.List<java.lang.String> |
getSingleTraceActivities(double prUncompleteness,
double prSkipping,
double prInerting,
java.lang.Integer maxTraceLength) |
void |
setInitialMarking(org.processmining.models.semantics.petrinet.Marking initialMarking) |
void |
setNet(org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
java.lang.Boolean |
verifyFinalMarkingCouldBeReachedAnyway(org.processmining.models.semantics.petrinet.Marking currentMarking,
int currDepthLevel,
int maxDepthLevel,
java.util.Set<java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place>> examinedMarkings) |
public org.processmining.models.graphbased.directed.petrinet.Petrinet net
public org.processmining.models.graphbased.directed.petrinet.elements.Place sourcePlace
public org.processmining.models.graphbased.directed.petrinet.elements.Place sinkPlace
public org.processmining.models.semantics.petrinet.Marking initialMarking
public org.processmining.models.semantics.petrinet.Marking finalMarking
public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Place>> inputPlacesForTransitions
public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Place>> outputPlacesForTransitions
public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> inputTransitionsForPlace
public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> outputTransitionsForPlace
public java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionsAttachedToSourcePlace
public java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionsAttachedToSinkPlace
public java.util.List<java.lang.String> startActivities
public java.util.List<java.lang.String> endActivities
public java.util.Map<java.lang.String,org.processmining.models.graphbased.directed.petrinet.elements.Transition> activitiesTransitionCorrespondence
public GeneratedPetrinet(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking initialMarking, org.processmining.models.semantics.petrinet.Marking finalMarking, org.processmining.models.graphbased.directed.petrinet.elements.Place sourcePlace, org.processmining.models.graphbased.directed.petrinet.elements.Place sinkPlace, java.util.List<java.lang.String> startActivities, java.util.List<java.lang.String> endActivities, java.util.Map<java.lang.String,org.processmining.models.graphbased.directed.petrinet.elements.Transition> activitiesTransitionCorrespondence)
public void calculateInputAndOutputPlaces()
public org.processmining.models.graphbased.directed.petrinet.Petrinet getNet()
public void setNet(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
public org.processmining.models.semantics.petrinet.Marking getInitialMarking()
public void setInitialMarking(org.processmining.models.semantics.petrinet.Marking initialMarking)
public java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getActivatedTransitionsAccordingToMarking(org.processmining.models.semantics.petrinet.Marking marking)
public java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getPossiblyDeadTransitions(org.processmining.models.semantics.petrinet.Marking currentMarking)
public void addPlaceToVisitedPlaces(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,java.lang.Integer> visitedPlaces, org.processmining.models.graphbased.directed.petrinet.elements.Place place)
public java.lang.Integer getMaxIntValueFromMap(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,java.lang.Integer> visitedPlaces)
public java.lang.Boolean areAllTransitionsNonDead(org.processmining.models.semantics.petrinet.Marking currentMarking, org.processmining.models.graphbased.directed.petrinet.elements.Place sourcePlace)
public void activateTransition(org.processmining.models.semantics.petrinet.Marking marking, org.processmining.models.graphbased.directed.petrinet.elements.Transition transition)
public java.util.List<java.lang.String> getSingleTraceActivities(double prUncompleteness, double prSkipping, double prInerting, java.lang.Integer maxTraceLength)
public java.lang.Boolean verifyFinalMarkingCouldBeReachedAnyway(org.processmining.models.semantics.petrinet.Marking currentMarking, int currDepthLevel, int maxDepthLevel, java.util.Set<java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place>> examinedMarkings)