org.processmining.mixedparadigm.algorithms.replayer

Class PILPDelegateAutomata

java.lang.Object

org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<T>

org.processmining.plugins.astar.petrinet.impl.AbstractPILPDelegate<PAutomataTail>

org.processmining.mixedparadigm.algorithms.replayer.PILPDelegateAutomata

All Implemented Interfaces:

nl.tue.astar.Delegate<org.processmining.plugins.astar.petrinet.impl.PHead,PAutomataTail>, nl.tue.astar.impl.memefficient.CachedStorageAwareDelegate<org.processmining.plugins.astar.petrinet.impl.PHead,PAutomataTail>, nl.tue.astar.impl.memefficient.StorageAwareDelegate<org.processmining.plugins.astar.petrinet.impl.PHead,PAutomataTail>

public class PILPDelegateAutomata
extends org.processmining.plugins.astar.petrinet.impl.AbstractPILPDelegate<PAutomataTail>
implements nl.tue.astar.impl.memefficient.CachedStorageAwareDelegate<org.processmining.plugins.astar.petrinet.impl.PHead,PAutomataTail>

Field Summary

Fields

Modifier and Type	Field and Description
protected PAutomataTailCompressor	tailCompressor

Fields inherited from class org.processmining.plugins.astar.petrinet.impl.AbstractPILPDelegate

INFEASIBLE, INFEASIBLE_INT, solvers, threads, useFastLowerbounds

Fields inherited from class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate

act2cost, act2int, actIndex2trans, activities, arcs, classes, finalMarkings, headCompressor, INHIBITED, inhibitors, int2act, int2place, int2trans, log, net, NEV, place2int, places, resetArcs, sync2cost, trans2cost, trans2int, transIndex2act, transIndex2input, transIndex2output, transitions, unmapped

Constructor Summary

Constructors

Constructor and Description
PILPDelegateAutomata(PetrinetWithAutomata net, org.deckfour.xes.model.XLog log, org.deckfour.xes.classification.XEventClasses classes, org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping map, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost, java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost, java.util.Map<DeclarativeArc,java.lang.Integer> mapConstraintToCost, boolean allowViolatingConstraints, int delta, int threads, org.processmining.models.semantics.petrinet.Marking... set)
PILPDelegateAutomata(PetrinetWithAutomata net, org.deckfour.xes.model.XLog log, org.deckfour.xes.classification.XEventClasses classes, org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping map, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost, java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapSync2Cost, java.util.Map<DeclarativeArc,java.lang.Integer> mapConstraintToCost, boolean allowViolatingConstraints, int delta, int threads, org.processmining.models.semantics.petrinet.Marking... set) The following constructors accept mapping from sync moves to cost

Method Summary

Modifier and Type	Method and Description
protected org.processmining.plugins.astar.petrinet.impl.PHeadCompressor<PAutomataTail>	constructHeadCompressor(short places, short activities) Overrideable method to change head compressor
nl.tue.astar.util.ShortShortMultiset	constructNewMarking(nl.tue.astar.util.ShortShortMultiset marking, short transition)
MPRecord	createInitialRecord(org.processmining.plugins.astar.petrinet.impl.PHead head, nl.tue.astar.Trace trace) instantiates a record for the given head.
PAutomataTail	createInitialTail(org.processmining.plugins.astar.petrinet.impl.PHead head) creates the initial tail for the given head.
gnu.trove.set.TShortSet	getActivitiesFor(short transition)
gnu.trove.set.TShortSet	getConstraintsBeingViolated(boolean terminating, short transition, short[] automataStates)
int	getCostFor(long currentState, PAutomataHead nextHead, int modelMove, int activity)
int	getCostForConstraints(boolean terminating, short[] automataStates, short modelMove)
int	getCostForMoveLog(boolean terminating, short[] automataStates, short activity)
int	getCostForMoveModel(boolean terminating, short[] automataStates, short modelMove)
int	getCostForMoveSync(boolean terminating, short[] automataStates, short modelMove)
DeclarativeArc	getDeclarativeArc(short a)
gnu.trove.list.TIntList	getEnabledTransitionsChangingMarking(nl.tue.astar.util.ShortShortMultiset marking, short[] automataStates)
org.processmining.plugins.astar.petrinet.impl.PHeadCompressor<PAutomataTail>	getHeadDeflater() additional requirement on the defater to allow for overwriting previously written objects.
org.processmining.plugins.astar.petrinet.impl.PHeadCompressor<PAutomataTail>	getHeadInflater()
short[]	getInitialStatesAutomata()
short	getNextState(int automaton, short currentState, int modelMove)
int	getNumAutomata()
nl.tue.storage.CompressedStore<nl.tue.astar.impl.State<org.processmining.plugins.astar.petrinet.impl.PHead,PAutomataTail>>	getStorage()
gnu.trove.list.TIntList	getSyncMoves(nl.tue.astar.util.ShortShortMultiset marking, short[] states, int activity)
nl.tue.storage.Deflater<PAutomataTail>	getTailDeflater()
nl.tue.astar.impl.memefficient.TailInflater<PAutomataTail>	getTailInflater()
org.processmining.models.graphbased.directed.petrinet.elements.Transition	getTransition(short i)
boolean	isAllowingViolationOfConstraints()
boolean	isEnabled(int transition, nl.tue.astar.util.ShortShortMultiset marking, short[] automataStates)
boolean	isFinal(nl.tue.astar.util.ShortShortMultiset marking, short[] automataStates)
boolean	permanentlyViolatesConstraint(short constraint, int transition, short currentState)
void	setStateSpace(nl.tue.storage.CompressedHashSet<nl.tue.astar.impl.State<org.processmining.plugins.astar.petrinet.impl.PHead,PAutomataTail>> statespace)
boolean	temporarilyViolatesConstraint(short constraint, int transition, short currentState)
void	updateAutomataStates(short[] states, short modelMove) update the states of the automata

Methods inherited from class org.processmining.plugins.astar.petrinet.impl.AbstractPILPDelegate

deleteLPs, estimate, isUseInts, numFinalMarkings, setDebugMode, useFastLowerbounds

Methods inherited from class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate

getActivityOf, getClassOf, getCostFor, getCostForMoveLog, getCostForMoveModel, getCostForMoveSync, getDelta, getEnabledTransitionsChangingMarking, getEpsilon, getEventClass, getFinalMarkings, getHeadBasedEqualOperation, getHeadBasedHashOperation, getIndexOf, getIndexOf, getIndexOf, getInputOf, getOutputOf, getPetrinet, getPlace, getTrace, getTransitions, hasEnabledTransitions, hasResetArc, initialize, isEnabled, isFinal, numEventClasses, numPlaces, numTransitions, setEpsilon

Methods inherited from class java.lang.Object

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

Methods inherited from interface nl.tue.astar.impl.memefficient.StorageAwareDelegate

getHeadBasedEqualOperation, getHeadBasedHashOperation

Field Detail

tailCompressor

protected PAutomataTailCompressor tailCompressor

Constructor Detail

PILPDelegateAutomata

public PILPDelegateAutomata(PetrinetWithAutomata net,
                            org.deckfour.xes.model.XLog log,
                            org.deckfour.xes.classification.XEventClasses classes,
                            org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping map,
                            java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
                            java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
                            java.util.Map<DeclarativeArc,java.lang.Integer> mapConstraintToCost,
                            boolean allowViolatingConstraints,
                            int delta,
                            int threads,
                            org.processmining.models.semantics.petrinet.Marking... set)

PILPDelegateAutomata

public PILPDelegateAutomata(PetrinetWithAutomata net,
                            org.deckfour.xes.model.XLog log,
                            org.deckfour.xes.classification.XEventClasses classes,
                            org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping map,
                            java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
                            java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
                            java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapSync2Cost,
                            java.util.Map<DeclarativeArc,java.lang.Integer> mapConstraintToCost,
                            boolean allowViolatingConstraints,
                            int delta,
                            int threads,
                            org.processmining.models.semantics.petrinet.Marking... set)

The following constructors accept mapping from sync moves to cost

Method Detail

setStateSpace

public void setStateSpace(nl.tue.storage.CompressedHashSet<nl.tue.astar.impl.State<org.processmining.plugins.astar.petrinet.impl.PHead,PAutomataTail>> statespace)

Specified by:

setStateSpace in interface nl.tue.astar.impl.memefficient.StorageAwareDelegate<org.processmining.plugins.astar.petrinet.impl.PHead,PAutomataTail>

Overrides:

setStateSpace in class org.processmining.plugins.astar.petrinet.impl.AbstractPILPDelegate<PAutomataTail>

getEnabledTransitionsChangingMarking

public gnu.trove.list.TIntList getEnabledTransitionsChangingMarking(nl.tue.astar.util.ShortShortMultiset marking,
                                                                    short[] automataStates)

getSyncMoves

public gnu.trove.list.TIntList getSyncMoves(nl.tue.astar.util.ShortShortMultiset marking,
                                            short[] states,
                                            int activity)

isEnabled

public boolean isEnabled(int transition,
                         nl.tue.astar.util.ShortShortMultiset marking,
                         short[] automataStates)

getConstraintsBeingViolated

public gnu.trove.set.TShortSet getConstraintsBeingViolated(boolean terminating,
                                                           short transition,
                                                           short[] automataStates)

permanentlyViolatesConstraint

public boolean permanentlyViolatesConstraint(short constraint,
                                             int transition,
                                             short currentState)

temporarilyViolatesConstraint

public boolean temporarilyViolatesConstraint(short constraint,
                                             int transition,
                                             short currentState)

isFinal

public boolean isFinal(nl.tue.astar.util.ShortShortMultiset marking,
                       short[] automataStates)

getNextState

public short getNextState(int automaton,
                          short currentState,
                          int modelMove)

constructHeadCompressor

protected org.processmining.plugins.astar.petrinet.impl.PHeadCompressor<PAutomataTail> constructHeadCompressor(short places,
                                                                                                               short activities)

Description copied from class: org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate

Overrideable method to change head compressor

Overrides:

constructHeadCompressor in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<PAutomataTail>

Returns:

createInitialRecord

public MPRecord createInitialRecord(org.processmining.plugins.astar.petrinet.impl.PHead head,
                                    nl.tue.astar.Trace trace)

Description copied from interface: nl.tue.astar.Delegate

instantiates a record for the given head. Cost is 0

Specified by:

createInitialRecord in interface nl.tue.astar.Delegate<org.processmining.plugins.astar.petrinet.impl.PHead,PAutomataTail>

Overrides:

createInitialRecord in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<PAutomataTail>

Returns:

getInitialStatesAutomata

public short[] getInitialStatesAutomata()

isAllowingViolationOfConstraints

public boolean isAllowingViolationOfConstraints()

createInitialTail

public PAutomataTail createInitialTail(org.processmining.plugins.astar.petrinet.impl.PHead head)

Description copied from interface: nl.tue.astar.Delegate

creates the initial tail for the given head.

Specified by:

createInitialTail in interface nl.tue.astar.Delegate<org.processmining.plugins.astar.petrinet.impl.PHead,PAutomataTail>

Returns:

getHeadInflater

public org.processmining.plugins.astar.petrinet.impl.PHeadCompressor<PAutomataTail> getHeadInflater()

Specified by:

getHeadInflater in interface nl.tue.astar.impl.memefficient.StorageAwareDelegate<org.processmining.plugins.astar.petrinet.impl.PHead,PAutomataTail>

Overrides:

getHeadInflater in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<PAutomataTail>

getHeadDeflater

public org.processmining.plugins.astar.petrinet.impl.PHeadCompressor<PAutomataTail> getHeadDeflater()

Description copied from interface: nl.tue.astar.impl.memefficient.CachedStorageAwareDelegate

additional requirement on the defater to allow for overwriting previously written objects.

Specified by:

getHeadDeflater in interface nl.tue.astar.impl.memefficient.CachedStorageAwareDelegate<org.processmining.plugins.astar.petrinet.impl.PHead,PAutomataTail>

Specified by:

getHeadDeflater in interface nl.tue.astar.impl.memefficient.StorageAwareDelegate<org.processmining.plugins.astar.petrinet.impl.PHead,PAutomataTail>

Overrides:

getHeadDeflater in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<PAutomataTail>

getTailInflater

public nl.tue.astar.impl.memefficient.TailInflater<PAutomataTail> getTailInflater()

Specified by:

getTailInflater in interface nl.tue.astar.impl.memefficient.StorageAwareDelegate<org.processmining.plugins.astar.petrinet.impl.PHead,PAutomataTail>

getTailDeflater

public nl.tue.storage.Deflater<PAutomataTail> getTailDeflater()

Specified by:

getTailDeflater in interface nl.tue.astar.impl.memefficient.StorageAwareDelegate<org.processmining.plugins.astar.petrinet.impl.PHead,PAutomataTail>

getCostFor

public int getCostFor(long currentState,
                      PAutomataHead nextHead,
                      int modelMove,
                      int activity)

getCostForMoveLog

public int getCostForMoveLog(boolean terminating,
                             short[] automataStates,
                             short activity)

getCostForMoveSync

public int getCostForMoveSync(boolean terminating,
                              short[] automataStates,
                              short modelMove)

getCostForMoveModel

public int getCostForMoveModel(boolean terminating,
                               short[] automataStates,
                               short modelMove)

getCostForConstraints

public int getCostForConstraints(boolean terminating,
                                 short[] automataStates,
                                 short modelMove)

getStorage

public nl.tue.storage.CompressedStore<nl.tue.astar.impl.State<org.processmining.plugins.astar.petrinet.impl.PHead,PAutomataTail>> getStorage()

getDeclarativeArc

public DeclarativeArc getDeclarativeArc(short a)

constructNewMarking

public nl.tue.astar.util.ShortShortMultiset constructNewMarking(nl.tue.astar.util.ShortShortMultiset marking,
                                                                short transition)

updateAutomataStates

public void updateAutomataStates(short[] states,
                                 short modelMove)

update the states of the automata

Parameters:

states -

modelMove -

getActivitiesFor

public gnu.trove.set.TShortSet getActivitiesFor(short transition)

Overrides:

getActivitiesFor in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<PAutomataTail>

getTransition

public org.processmining.models.graphbased.directed.petrinet.elements.Transition getTransition(short i)

Overrides:

getTransition in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<PAutomataTail>

getNumAutomata

public int getNumAutomata()