public class ChoiceTransition
extends java.lang.Object
Constructor and Description |
---|
ChoiceTransition() |
Modifier and Type | Method and Description |
---|---|
static void |
addChoiceTransition(org.processmining.models.graphbased.directed.petrinet.elements.Place pStart,
org.processmining.models.graphbased.directed.petrinet.elements.Place pEnd,
java.lang.String transitionName,
InteractivePetriNet ipn,
int newTranID,
boolean isSilent) |
static void |
addChoiceTransition(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> pStartSet,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> pEndSet,
java.lang.String transitionName,
InteractivePetriNet ipn,
int newTranID,
boolean isSilent) |
static void |
updateLDSets(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> placeStart,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> placeEnd,
InteractiveMatrixNet imn,
org.processmining.models.graphbased.directed.petrinet.elements.Transition tNew) |
public static void addChoiceTransition(org.processmining.models.graphbased.directed.petrinet.elements.Place pStart, org.processmining.models.graphbased.directed.petrinet.elements.Place pEnd, java.lang.String transitionName, InteractivePetriNet ipn, int newTranID, boolean isSilent)
public static void addChoiceTransition(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> pStartSet, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> pEndSet, java.lang.String transitionName, InteractivePetriNet ipn, int newTranID, boolean isSilent)
public static void updateLDSets(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> placeStart, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> placeEnd, InteractiveMatrixNet imn, org.processmining.models.graphbased.directed.petrinet.elements.Transition tNew)