org.processmining.plugins.petrinet.replayer.algorithms

Class AbstractReplayerBasicFunctionProvider

java.lang.Object

org.processmining.plugins.petrinet.replayer.algorithms.AbstractReplayerBasicFunctionProvider

Direct Known Subclasses:

AbstractBehavAppAlg, AbstractCostBasedCompleteAlg

public class AbstractReplayerBasicFunctionProvider
extends java.lang.Object

Author:

aadrians Oct 24, 2011

Constructor Summary

Constructors

Constructor and Description
AbstractReplayerBasicFunctionProvider()

Method Summary

Methods

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AbstractReplayerBasicFunctionProvider

public AbstractReplayerBasicFunctionProvider()

Method Detail

getMappingEventClass2EncTrans

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

Parameters:

mapping -

encPN -

Returns:

getTransViolationCosts

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

Parameters:

encodedPN -

mapTrans2Cost -

Returns:

getEnabledTransitions

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

Parameters:

encodedPN -

marking -

mapArc2Weight -

Returns:

identifyEnabledTransitions

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

Parameters:

encMarking -

mapMarking2EnabledTrans -

encodedPN -

mapArc2Weight -

Returns:

isEndOfModel

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

Parameters:

currEncMarking -

encFinalMarkings -

encodedPN -

mapInt2Marking -

mapArc2Weight -

Returns:

fireTransition

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

Parameters:

currEncMarking -

trans -

mapInt2Marking -

mapMarking2Int -

numGenerator -

mapFiringTransitions -

encodedPN -

mapArc2Weight -

Returns:

getMappingEncTrans2EncEventClass

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

Parameters:

mapping -

encodedPN -

Returns:

getMappingEncTrans2EvClass

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

Parameters:

mapEvClass2EncTrans -

Returns:

getEnabledActivities

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

Parameters:

m -

encodedPN -

encInvisTransitions -

mapEncTrans2EvClass -

Returns:

getListEventClass

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. Record the indexes of non-mapped event classes.

Parameters:

trace -

classes -

mapEvClass2Trans -

listMoveOnLog -

Returns: