public class AbstractReplayerBasicFunctionProvider
extends java.lang.Object
Constructor and Description |
---|
AbstractReplayerBasicFunctionProvider() |
Modifier and Type | Method and Description |
---|---|
protected java.lang.Integer |
fireTransition(int currEncMarking,
java.lang.Integer trans,
java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapInt2Marking,
java.util.Map<java.util.Map<java.lang.Integer,java.lang.Integer>,java.lang.Integer> mapMarking2Int,
java.util.Random numGenerator,
java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapFiringTransitions,
EncPNWSetFinalMarkings encodedPN,
java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapArc2Weight)
Fire a transition and get an index that represent the marking obtained
This method also update the encoding of marking
|
protected java.util.Set<org.deckfour.xes.classification.XEventClass> |
getEnabledActivities(java.util.Map<java.lang.Integer,java.lang.Integer> m,
EncPNWSetFinalMarkings encodedPN,
java.util.Set<java.lang.Integer> encInvisTransitions,
java.util.Map<java.lang.Integer,org.deckfour.xes.classification.XEventClass> mapEncTrans2EvClass)
Get enabled activities from the particular marking try to see the
directly enabled activities iteratively, redo invisible transition firing
|
protected java.util.SortedSet<java.lang.Integer> |
getEnabledTransitions(EncPNWSetFinalMarkings encodedPN,
java.util.Map<java.lang.Integer,java.lang.Integer> marking,
java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapArc2Weight)
Return transitions that are enabled in particular marking
|
protected java.util.List<org.deckfour.xes.classification.XEventClass> |
getListEventClass(org.deckfour.xes.model.XTrace trace,
org.deckfour.xes.classification.XEventClasses classes,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.util.Set<java.lang.Integer>> mapEvClass2Trans,
java.util.List<org.processmining.framework.util.Pair<java.lang.Integer,org.deckfour.xes.classification.XEventClass>> listMoveOnLog)
get list of event class.
|
protected java.util.Map<java.lang.Integer,org.deckfour.xes.classification.XEventClass> |
getMappingEncTrans2EncEventClass(TransEvClassMapping mapping,
EncPNWSetFinalMarkings encodedPN)
Get mapping from encoded transition to event class
|
protected java.util.Map<java.lang.Integer,org.deckfour.xes.classification.XEventClass> |
getMappingEncTrans2EvClass(java.util.Map<org.deckfour.xes.classification.XEventClass,java.util.Set<java.lang.Integer>> mapEvClass2EncTrans)
Get mapping from encoded transitions to event classes
|
protected java.util.Map<org.deckfour.xes.classification.XEventClass,java.util.Set<java.lang.Integer>> |
getMappingEventClass2EncTrans(TransEvClassMapping mapping,
EncPNWSetFinalMarkings encPN)
Get mapping from event class to encoded transition
|
protected java.util.Map<java.lang.Integer,java.lang.Integer> |
getTransViolationCosts(EncPNWSetFinalMarkings encodedPN,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost)
Get mapping from encoded transition to cost of move on model only
|
protected java.util.SortedSet<java.lang.Integer> |
identifyEnabledTransitions(java.lang.Integer encMarking,
java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapInt2Marking,
java.util.Map<java.lang.Integer,java.util.SortedSet<java.lang.Integer>> mapMarking2EnabledTrans,
EncPNWSetFinalMarkings encodedPN,
java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapArc2Weight)
Identify the enabled transitions and update marking map
|
protected boolean |
isEndOfModel(int currEncMarking,
java.util.Set<java.lang.Integer> encFinalMarkings,
EncPNWSetFinalMarkings encodedPN,
java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapInt2Marking,
java.util.Map<java.lang.Integer,java.util.SortedSet<java.lang.Integer>> mapMarking2EnabledTrans,
java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapArc2Weight)
return true if currEncMarking is one of the end markings or if there is
no other transitions enabled in this marking
|
public AbstractReplayerBasicFunctionProvider()
protected java.util.Map<org.deckfour.xes.classification.XEventClass,java.util.Set<java.lang.Integer>> getMappingEventClass2EncTrans(TransEvClassMapping mapping, EncPNWSetFinalMarkings encPN)
mapping
- encPN
- protected java.util.Map<java.lang.Integer,java.lang.Integer> getTransViolationCosts(EncPNWSetFinalMarkings encodedPN, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost)
encodedPN
- mapTrans2Cost
- protected java.util.SortedSet<java.lang.Integer> getEnabledTransitions(EncPNWSetFinalMarkings encodedPN, java.util.Map<java.lang.Integer,java.lang.Integer> marking, java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapArc2Weight)
encodedPN
- marking
- mapArc2Weight
- protected java.util.SortedSet<java.lang.Integer> identifyEnabledTransitions(java.lang.Integer encMarking, java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapInt2Marking, java.util.Map<java.lang.Integer,java.util.SortedSet<java.lang.Integer>> mapMarking2EnabledTrans, EncPNWSetFinalMarkings encodedPN, java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapArc2Weight)
encMarking
- mapMarking2EnabledTrans
- encodedPN
- mapArc2Weight
- protected boolean isEndOfModel(int currEncMarking, java.util.Set<java.lang.Integer> encFinalMarkings, EncPNWSetFinalMarkings encodedPN, java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapInt2Marking, java.util.Map<java.lang.Integer,java.util.SortedSet<java.lang.Integer>> mapMarking2EnabledTrans, java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapArc2Weight)
currEncMarking
- encFinalMarkings
- encodedPN
- mapInt2Marking
- mapArc2Weight
- protected java.lang.Integer fireTransition(int currEncMarking, java.lang.Integer trans, java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapInt2Marking, java.util.Map<java.util.Map<java.lang.Integer,java.lang.Integer>,java.lang.Integer> mapMarking2Int, java.util.Random numGenerator, java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapFiringTransitions, EncPNWSetFinalMarkings encodedPN, java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapArc2Weight)
currEncMarking
- trans
- mapInt2Marking
- mapMarking2Int
- numGenerator
- mapFiringTransitions
- encodedPN
- mapArc2Weight
- protected java.util.Map<java.lang.Integer,org.deckfour.xes.classification.XEventClass> getMappingEncTrans2EncEventClass(TransEvClassMapping mapping, EncPNWSetFinalMarkings encodedPN)
mapping
- encodedPN
- protected java.util.Map<java.lang.Integer,org.deckfour.xes.classification.XEventClass> getMappingEncTrans2EvClass(java.util.Map<org.deckfour.xes.classification.XEventClass,java.util.Set<java.lang.Integer>> mapEvClass2EncTrans)
mapEvClass2EncTrans
- protected java.util.Set<org.deckfour.xes.classification.XEventClass> getEnabledActivities(java.util.Map<java.lang.Integer,java.lang.Integer> m, EncPNWSetFinalMarkings encodedPN, java.util.Set<java.lang.Integer> encInvisTransitions, java.util.Map<java.lang.Integer,org.deckfour.xes.classification.XEventClass> mapEncTrans2EvClass)
m
- encodedPN
- encInvisTransitions
- mapEncTrans2EvClass
- protected java.util.List<org.deckfour.xes.classification.XEventClass> getListEventClass(org.deckfour.xes.model.XTrace trace, org.deckfour.xes.classification.XEventClasses classes, java.util.Map<org.deckfour.xes.classification.XEventClass,java.util.Set<java.lang.Integer>> mapEvClass2Trans, java.util.List<org.processmining.framework.util.Pair<java.lang.Integer,org.deckfour.xes.classification.XEventClass>> listMoveOnLog)
trace
- classes
- mapEvClass2Trans
- listMoveOnLog
-