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)