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
-