public abstract class AbstractPNManifestFlattener
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected int |
costFactor |
protected org.processmining.models.semantics.petrinet.Marking[] |
finalMarkings |
protected gnu.trove.map.TObjectIntMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
flatTrans2Int |
protected int[] |
flatTrans2OrigTransArr |
protected org.processmining.models.graphbased.directed.petrinet.elements.Transition[] |
flatTransArr |
protected boolean[] |
flatTransFragmentEntry |
protected org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet |
fnet |
protected org.processmining.models.semantics.petrinet.Marking |
initMarking |
protected TransEvClassMapping |
map |
protected java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> |
mapEvClass2Cost |
protected java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> |
mapSync2Cost |
protected java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> |
mapTrans2Cost |
protected int[] |
nextTrans |
static int |
NOPATTERN |
protected gnu.trove.map.TObjectIntMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
origTrans2Int |
protected org.processmining.models.graphbased.directed.petrinet.elements.Transition[] |
origTransArr
Mapping back to the original process model.
|
protected int[] |
trans2PatternID |
Constructor and Description |
---|
AbstractPNManifestFlattener() |
Modifier and Type | Method and Description |
---|---|
protected void |
addInhibitorArc(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph fnet,
org.processmining.models.graphbased.directed.petrinet.elements.Place source,
org.processmining.models.graphbased.directed.petrinet.elements.Transition target)
Add inhibitor arcs
|
protected void |
addResetArc(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph fnet,
org.processmining.models.graphbased.directed.petrinet.elements.Place source,
org.processmining.models.graphbased.directed.petrinet.elements.Transition target)
Add reset arcs
|
protected void |
createTransByCopy(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
PNManifestReplayerParameter parameters,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> mapOrigPlace2FlatPlace,
org.deckfour.xes.classification.XEventClass evClass,
org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
java.lang.Integer transSizeCounter,
int patternID)
Create new transition by copying the old transition
|
protected int |
gcd(int a,
int b)
The following code to calculate gcd and lcm is copied from
http://stackoverflow
.com/questions/4201860/how-to-find-gcf-lcm-on-a-set-of-numbers
|
int |
getCostFactor() |
int |
getEncOrigTransFor(org.processmining.models.graphbased.directed.petrinet.elements.Transition flatTrans) |
org.processmining.models.semantics.petrinet.Marking[] |
getFinalMarkings() |
gnu.trove.map.TObjectIntMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getFlatTrans2Int() |
org.processmining.models.graphbased.directed.petrinet.elements.Transition[] |
getFlatTransArr() |
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getFragmentTrans() |
org.processmining.models.semantics.petrinet.Marking |
getInitMarking() |
TransEvClassMapping |
getMap() |
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> |
getMapEvClass2Cost() |
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> |
getMapSync2Cost() |
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> |
getMapTrans2Cost() |
org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet |
getNet() |
int[] |
getNextTrans() |
int |
getOrigEncTransFor(int flatTrans) |
gnu.trove.map.TObjectIntMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getOrigTrans2Int() |
org.processmining.models.graphbased.directed.petrinet.elements.Transition[] |
getOrigTransArr() |
org.processmining.models.graphbased.directed.petrinet.elements.Transition |
getOrigTransFor(org.processmining.models.graphbased.directed.petrinet.elements.Transition flatTrans) |
int |
getPatternIDOf(int encFlatTrans) |
protected void |
initialize(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> mapFlatPlace2OrigPlace,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> mapOrigPlace2FlatPlace,
AbstractPNManifestReplayerParameter parameters) |
boolean |
isFragmentEntry(int trans)
Return true if the transition is an entry to a fragment
|
protected int |
lcm(int... input) |
protected int |
lcm(int a,
int b) |
protected org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet fnet
protected org.processmining.models.semantics.petrinet.Marking initMarking
protected org.processmining.models.semantics.petrinet.Marking[] finalMarkings
protected TransEvClassMapping map
protected java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost
protected java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost
protected java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapSync2Cost
protected org.processmining.models.graphbased.directed.petrinet.elements.Transition[] origTransArr
protected gnu.trove.map.TObjectIntMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> origTrans2Int
protected int[] flatTrans2OrigTransArr
protected int costFactor
protected org.processmining.models.graphbased.directed.petrinet.elements.Transition[] flatTransArr
protected gnu.trove.map.TObjectIntMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> flatTrans2Int
protected boolean[] flatTransFragmentEntry
protected int[] nextTrans
public static int NOPATTERN
protected int[] trans2PatternID
protected void createTransByCopy(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, PNManifestReplayerParameter parameters, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> mapOrigPlace2FlatPlace, org.deckfour.xes.classification.XEventClass evClass, org.processmining.models.graphbased.directed.petrinet.elements.Transition t, java.lang.Integer transSizeCounter, int patternID)
net
- parameters
- mapOrigPlace2FlatPlace
- evClass
- t
- transSizeCounter
- patternID
- protected void addResetArc(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph fnet, org.processmining.models.graphbased.directed.petrinet.elements.Place source, org.processmining.models.graphbased.directed.petrinet.elements.Transition target)
fnet
- source
- target
- protected void addInhibitorArc(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph fnet, org.processmining.models.graphbased.directed.petrinet.elements.Place source, org.processmining.models.graphbased.directed.petrinet.elements.Transition target)
fnet
- source
- target
- public org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet getNet()
public org.processmining.models.graphbased.directed.petrinet.elements.Transition[] getFlatTransArr()
public gnu.trove.map.TObjectIntMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getFlatTrans2Int()
public int[] getNextTrans()
public org.processmining.models.semantics.petrinet.Marking getInitMarking()
public org.processmining.models.semantics.petrinet.Marking[] getFinalMarkings()
public TransEvClassMapping getMap()
public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> getMapTrans2Cost()
public java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> getMapEvClass2Cost()
public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> getMapSync2Cost()
public java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getFragmentTrans()
public int getCostFactor()
protected int gcd(int a, int b)
protected int lcm(int a, int b)
protected int lcm(int... input)
public boolean isFragmentEntry(int trans)
trans
- public org.processmining.models.graphbased.directed.petrinet.elements.Transition getOrigTransFor(org.processmining.models.graphbased.directed.petrinet.elements.Transition flatTrans)
public int getOrigEncTransFor(int flatTrans)
public org.processmining.models.graphbased.directed.petrinet.elements.Transition[] getOrigTransArr()
public gnu.trove.map.TObjectIntMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getOrigTrans2Int()
public int getPatternIDOf(int encFlatTrans)
public int getEncOrigTransFor(org.processmining.models.graphbased.directed.petrinet.elements.Transition flatTrans)
protected void initialize(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> mapFlatPlace2OrigPlace, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> mapOrigPlace2FlatPlace, AbstractPNManifestReplayerParameter parameters)