public class ParallelPlaceL
extends java.lang.Object
Constructor and Description |
---|
ParallelPlaceL() |
Modifier and Type | Method and Description |
---|---|
static void |
addParallelPlace(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> tStartSet,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> tEndSet,
java.lang.String placeName,
InteractivePetriNetL ipn,
java.lang.Integer newPlaceID) |
static void |
addParallelPlace(org.processmining.models.graphbased.directed.petrinet.elements.Transition tStart,
org.processmining.models.graphbased.directed.petrinet.elements.Transition tEnd,
java.lang.String placeName,
InteractivePetriNetL ipn,
java.lang.Integer newPlaceID) |
static void |
updateLDSets(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> tranStart,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> tranEnd,
InteractiveMatrixNetL imn,
org.processmining.models.graphbased.directed.petrinet.elements.Place pNew) |
public static void addParallelPlace(org.processmining.models.graphbased.directed.petrinet.elements.Transition tStart, org.processmining.models.graphbased.directed.petrinet.elements.Transition tEnd, java.lang.String placeName, InteractivePetriNetL ipn, java.lang.Integer newPlaceID)
public static void addParallelPlace(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> tStartSet, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> tEndSet, java.lang.String placeName, InteractivePetriNetL ipn, java.lang.Integer newPlaceID)
public static void updateLDSets(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> tranStart, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> tranEnd, InteractiveMatrixNetL imn, org.processmining.models.graphbased.directed.petrinet.elements.Place pNew)