public class BPstructBP
extends andbur.hub.top.uma.DNodeBP
Modifier and Type | Class and Description |
---|---|
static class |
BPstructBP.MODE |
Modifier and Type | Field and Description |
---|---|
protected BPstructBP.MODE |
mode |
static boolean |
option_printAnti |
java.util.HashSet<java.lang.String> |
silentTransitions |
_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 and Description |
---|
BPstructBP(andbur.hub.top.uma.DNodeSys system,
andbur.hub.top.uma.Options options) |
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.
|
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
protected BPstructBP.MODE mode
public static boolean option_printAnti
public java.util.HashSet<java.lang.String> silentTransitions
public BPstructBP(andbur.hub.top.uma.DNodeSys system, andbur.hub.top.uma.Options options)
public void setSilent(java.util.HashSet<java.lang.String> silent)
public void setMode(BPstructBP.MODE mode)
public java.util.Map<andbur.hub.top.uma.DNode,andbur.hub.top.uma.DNode> getElementary_ccPair()
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)
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.newEvent
- event that has been added to the branching processnewCut
- the cut reached by 'newEvent'eventsToCompare
- true
iff newEvent
is a cut-off event
because of some equivalent event in eventsToCompare
.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)
cutoff
- Cutoff eventcorr
- Corresponding eventcutoff_cut
- Cutoff cutcorr_cut
- Corresponding cuttrue
if acyclic cutoff criterion holds; otherwise
false
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)
cutoff
- Cutoff eventcorr
- Corresponding eventcutoff_cut
- Cutoff cutcorr_cut
- Corresponding cuttrue
if cyclic cutoff criterion holds; otherwise
false
protected boolean checkPredecessor(andbur.hub.top.uma.DNode cutoff, andbur.hub.top.uma.DNode corr)
protected boolean checkDirectlyFollows(andbur.hub.top.uma.DNode cutoff, andbur.hub.top.uma.DNode corr)
public java.util.Set<andbur.hub.top.uma.DNode> getLocalConfig(andbur.hub.top.uma.DNode event)
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)
protected boolean checkGateway(andbur.hub.top.uma.DNode cutoff, andbur.hub.top.uma.DNode corr)
cutoff
- Cutoff eventcorr
- Corresponding eventtrue
if cutoff or its corresponding event refer to a
gateway node; otherwise false
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)
cutoff
- Cutoff eventcorr
- Corresponding eventcutoff_cut
- Cutoff cutcorr_cut
- Corresponding cuttrue
if shared; otherwise false
protected boolean isCorrInLocalConfig(andbur.hub.top.uma.DNode cutoff, andbur.hub.top.uma.DNode corr)
cutoff
- Cutoff eventcorr
- Corresponding eventtrue
if corresponding event is in the local
configuration of the cutoff; otherwise false
public java.util.HashMap<andbur.hub.top.uma.DNode,java.util.Set<andbur.hub.top.uma.DNode>> getConcurrentConditions()
public boolean isCutOffEvent(andbur.hub.top.uma.DNode event)
isCutOffEvent
in class andbur.hub.top.uma.DNodeBP
public java.lang.String properName(andbur.hub.top.uma.DNode n)
public java.lang.String toDot()
toDot
in class andbur.hub.top.uma.DNodeBP