public class SwapPetrinetGraphConstructor
extends java.lang.Object
| Constructor and Description |
|---|
SwapPetrinetGraphConstructor() |
| Modifier and Type | Method and Description |
|---|---|
protected static void |
copyAll(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph origNet,
TransEvClassMapping origMapping,
CostBasedSwapParam param,
TransEvClassMapping finalMapping,
CostBasedCompleteManifestParam finalParam,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> trans2Orig,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> replacementTrans,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.framework.util.Pair<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition>> swapTrans,
org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet finalNet)
Copy everything except arcs, because reset/inhibitor arcs can only be
added for reset/inhibitor net
|
static org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet |
createSwapPetrinet(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph origNet,
TransEvClassMapping origMapping,
CostBasedSwapParam param,
TransEvClassMapping finalMapping,
CostBasedCompleteManifestParam finalParam,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> trans2Orig,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> replacementTrans,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.framework.util.Pair<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition>> swapTrans) |
public static org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet createSwapPetrinet(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph origNet,
TransEvClassMapping origMapping,
CostBasedSwapParam param,
TransEvClassMapping finalMapping,
CostBasedCompleteManifestParam finalParam,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> trans2Orig,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> replacementTrans,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.framework.util.Pair<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition>> swapTrans)
protected static void copyAll(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph origNet,
TransEvClassMapping origMapping,
CostBasedSwapParam param,
TransEvClassMapping finalMapping,
CostBasedCompleteManifestParam finalParam,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> trans2Orig,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> replacementTrans,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.framework.util.Pair<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition>> swapTrans,
org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet finalNet)
origNet - origMapping - param - finalMapping - finalParam - trans2Orig - replacementTrans - swapTrans - place2Orig - finalNet -