public class ParallelPlace
extends java.lang.Object
Constructor and Description |
---|
ParallelPlace() |
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,
InteractivePetriNet ipn,
int 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,
InteractivePetriNet ipn,
int 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,
InteractiveMatrixNet 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, InteractivePetriNet ipn, int 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, InteractivePetriNet ipn, int 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, InteractiveMatrixNet imn, org.processmining.models.graphbased.directed.petrinet.elements.Place pNew)