andbur.au.qut.nets.unfolding

Class BPstructBP

java.lang.Object

andbur.hub.top.uma.DNodeBP

andbur.au.qut.nets.unfolding.BPstructBP

public class BPstructBP
extends andbur.hub.top.uma.DNodeBP

This is a wrapper of the UMA implementation of complete prefix unfolding specifically designed to derive prefixes suitable for structuring

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	BPstructBP.MODE

Nested classes/interfaces inherited from class andbur.hub.top.uma.DNodeBP

andbur.hub.top.uma.DNodeBP.EnablingInfo, andbur.hub.top.uma.DNodeBP.EnablingQueue, andbur.hub.top.uma.DNodeBP.SyncInfo

Field Summary

Fields

Modifier and Type	Field and Description
protected BPstructBP.MODE	mode
static boolean	option_printAnti
java.util.HashSet<java.lang.String>	silentTransitions

Fields inherited from class andbur.hub.top.uma.DNodeBP

_debug_executionTimeProfile, _debug_log, bp, co, coID, currentPrimeConfig, currentPrimeCut, dNodeAS, enablingQueue, PROP_DEADCONDITION, PROP_EXECUTEDEVENT, PROP_NONE, PROP_UNSAFE, REL_CO, REL_CONFL, REL_GEQ, REL_LEQ, statistic_arcNum, statistic_condNum, statistic_cutOffNum, statistic_eventNum

Constructor Summary

Constructors

Constructor and Description
BPstructBP(andbur.hub.top.uma.DNodeSys system, andbur.hub.top.uma.Options options)

Method Summary

Modifier and Type	Method and Description
protected boolean	checkAcyclicCase(andbur.hub.top.uma.DNode cutoff, andbur.hub.top.uma.DNode corr, andbur.hub.top.uma.DNode[] cutoff_cut, andbur.hub.top.uma.DNode[] corr_cut) Restrict cutoff criterion for acyclic case A cutoff is acyclic if neither cutoff nor its corresponding event do not refer to a transition of the originative net that is part of some cyclic path of the net
protected boolean	checkConcurrency(andbur.hub.top.uma.DNode cutoff, andbur.hub.top.uma.DNode corr, andbur.hub.top.uma.DNode[] cutoff_cut, andbur.hub.top.uma.DNode[] corr_cut) Check if conditions in cuts of cutoff and corresponding events are shared, except of postsets
protected boolean	checkContainment(andbur.hub.top.uma.DNode cutoff, andbur.hub.top.uma.DNode corr, andbur.hub.top.uma.DNode[] cutoff_cut, andbur.hub.top.uma.DNode[] corr_cut) Restrict cutoff criterion for cyclic case A cutoff is cyclic if either cutoff or its corresponding event refer to a transition of the originative net that is part of some cyclic path of the net
protected boolean	checkDirectlyFollows(andbur.hub.top.uma.DNode cutoff, andbur.hub.top.uma.DNode corr)
protected boolean	checkGateway(andbur.hub.top.uma.DNode cutoff, andbur.hub.top.uma.DNode corr) Check whether cutoff or its corresponding event refer to a gateway node in the originative net; false otherwise
protected boolean	checkPredecessor(andbur.hub.top.uma.DNode cutoff, andbur.hub.top.uma.DNode corr)
protected boolean	findEquivalentCut_bpstruct(int newCutConfigSize, andbur.hub.top.uma.DNode newEvent, andbur.hub.top.uma.DNode[] newCut, java.lang.Iterable<andbur.hub.top.uma.DNode> eventsToCompare) The search strategy for DNodeBP.equivalentCuts_conditionSignature_history(byte[], DNode[], DNode[]) .
java.util.HashMap<andbur.hub.top.uma.DNode,java.util.Set<andbur.hub.top.uma.DNode>>	getConcurrentConditions()
java.util.Map<andbur.hub.top.uma.DNode,andbur.hub.top.uma.DNode>	getElementary_ccPair()
java.util.Set<andbur.hub.top.uma.DNode>	getLocalConfig(andbur.hub.top.uma.DNode event)
java.util.LinkedHashSet<org.processmining.framework.util.Pair<andbur.hub.top.uma.DNode,andbur.hub.top.uma.DNode>>	getLocalDFS(andbur.hub.top.uma.DNode event)
protected boolean	isCorrInLocalConfig(andbur.hub.top.uma.DNode cutoff, andbur.hub.top.uma.DNode corr) Check if corresponding event is in the local configuration of the cutoff
boolean	isCutOffEvent(andbur.hub.top.uma.DNode event)
java.lang.String	properName(andbur.hub.top.uma.DNode n)
void	setMode(BPstructBP.MODE mode)
void	setSilent(java.util.HashSet<java.lang.String> silent)
java.lang.String	toDot() Create a GraphViz' dot representation of this branching process.

Methods inherited from class andbur.hub.top.uma.DNodeBP

areConcurrent_struct, canExecuteEvent, checkForCutOff_again, cutSignature_conditions_init255, equivalentCuts_conditionSignature_history, equivalentNode, findDeadConditions, findEnablingCuts, fireEnabledEvent, futureEquivalence, getAllEnabledEvents, getBranchingProcess, getCounterExample, getCutOffEquivalentEvent, getDeadConditions, getOptions, getPrimeConfiguration_CutHash, getPrimeConfiguration_Size, getPrimeConfigurationString, getStatistics, getSystem, hasDeadCondition, initializeFutureEquivalence, isGloballySafe, isSafe, isSmaller_lexicographic_acc, isSmaller_lexicographic, resetPropertyCheck, setCurrentPrimeConfig, setCutOffConditions, setCutOffEvent, step, toDot, toString, toString, updateConcurrencyRelation

Methods inherited from class java.lang.Object

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

Field Detail

mode

protected BPstructBP.MODE mode

option_printAnti

public static boolean option_printAnti

silentTransitions

public java.util.HashSet<java.lang.String> silentTransitions

Constructor Detail

BPstructBP

public BPstructBP(andbur.hub.top.uma.DNodeSys system,
                  andbur.hub.top.uma.Options options)

Method Detail

setSilent

public void setSilent(java.util.HashSet<java.lang.String> silent)

setMode

public void setMode(BPstructBP.MODE mode)

getElementary_ccPair

public java.util.Map<andbur.hub.top.uma.DNode,andbur.hub.top.uma.DNode> getElementary_ccPair()

findEquivalentCut_bpstruct

protected boolean findEquivalentCut_bpstruct(int newCutConfigSize,
                                             andbur.hub.top.uma.DNode newEvent,
                                             andbur.hub.top.uma.DNode[] newCut,
                                             java.lang.Iterable<andbur.hub.top.uma.DNode> eventsToCompare)

The search strategy for DNodeBP.equivalentCuts_conditionSignature_history(byte[], DNode[], DNode[]) . A size-based search strategy (Options.searchStrat_size). The method has been extended to determine cut-off events by a lexicographic search strategy.

Parameters:

newEvent - event that has been added to the branching process

newCut - the cut reached by 'newEvent'

eventsToCompare -

Returns:

true iff newEvent is a cut-off event because of some equivalent event in eventsToCompare.

checkAcyclicCase

protected boolean checkAcyclicCase(andbur.hub.top.uma.DNode cutoff,
                                   andbur.hub.top.uma.DNode corr,
                                   andbur.hub.top.uma.DNode[] cutoff_cut,
                                   andbur.hub.top.uma.DNode[] corr_cut)

Restrict cutoff criterion for acyclic case A cutoff is acyclic if neither cutoff nor its corresponding event do not refer to a transition of the originative net that is part of some cyclic path of the net

Parameters:

cutoff - Cutoff event

corr - Corresponding event

cutoff_cut - Cutoff cut

corr_cut - Corresponding cut

Returns:

true if acyclic cutoff criterion holds; otherwise false

checkContainment

protected boolean checkContainment(andbur.hub.top.uma.DNode cutoff,
                                   andbur.hub.top.uma.DNode corr,
                                   andbur.hub.top.uma.DNode[] cutoff_cut,
                                   andbur.hub.top.uma.DNode[] corr_cut)

Restrict cutoff criterion for cyclic case A cutoff is cyclic if either cutoff or its corresponding event refer to a transition of the originative net that is part of some cyclic path of the net

Parameters:

cutoff - Cutoff event

corr - Corresponding event

cutoff_cut - Cutoff cut

corr_cut - Corresponding cut

Returns:

true if cyclic cutoff criterion holds; otherwise false

checkPredecessor

protected boolean checkPredecessor(andbur.hub.top.uma.DNode cutoff,
                                   andbur.hub.top.uma.DNode corr)

checkDirectlyFollows

protected boolean checkDirectlyFollows(andbur.hub.top.uma.DNode cutoff,
                                       andbur.hub.top.uma.DNode corr)

getLocalConfig

public java.util.Set<andbur.hub.top.uma.DNode> getLocalConfig(andbur.hub.top.uma.DNode event)

getLocalDFS

public java.util.LinkedHashSet<org.processmining.framework.util.Pair<andbur.hub.top.uma.DNode,andbur.hub.top.uma.DNode>> getLocalDFS(andbur.hub.top.uma.DNode event)

checkGateway

protected boolean checkGateway(andbur.hub.top.uma.DNode cutoff,
                               andbur.hub.top.uma.DNode corr)

Check whether cutoff or its corresponding event refer to a gateway node in the originative net; false otherwise

Parameters:

cutoff - Cutoff event

corr - Corresponding event

Returns:

true if cutoff or its corresponding event refer to a gateway node; otherwise false

checkConcurrency

protected boolean checkConcurrency(andbur.hub.top.uma.DNode cutoff,
                                   andbur.hub.top.uma.DNode corr,
                                   andbur.hub.top.uma.DNode[] cutoff_cut,
                                   andbur.hub.top.uma.DNode[] corr_cut)

Check if conditions in cuts of cutoff and corresponding events are shared, except of postsets

Parameters:

cutoff - Cutoff event

corr - Corresponding event

cutoff_cut - Cutoff cut

corr_cut - Corresponding cut

Returns:

true if shared; otherwise false

isCorrInLocalConfig

protected boolean isCorrInLocalConfig(andbur.hub.top.uma.DNode cutoff,
                                      andbur.hub.top.uma.DNode corr)

Check if corresponding event is in the local configuration of the cutoff

Parameters:

cutoff - Cutoff event

corr - Corresponding event

Returns:

true if corresponding event is in the local configuration of the cutoff; otherwise false

getConcurrentConditions

public java.util.HashMap<andbur.hub.top.uma.DNode,java.util.Set<andbur.hub.top.uma.DNode>> getConcurrentConditions()

isCutOffEvent

public boolean isCutOffEvent(andbur.hub.top.uma.DNode event)

Overrides:

isCutOffEvent in class andbur.hub.top.uma.DNodeBP

properName

public java.lang.String properName(andbur.hub.top.uma.DNode n)

toDot

public java.lang.String toDot()

Create a GraphViz' dot representation of this branching process.

Overrides:

toDot in class andbur.hub.top.uma.DNodeBP