A B C D E F G I L M N O P R S T U V W

A

abstractCBPForTraceToLabels(CausalBehaviouralProfile<Trace, TraceEntry>) - Static method in class org.jbpt.bp.CBPForTraceLabelAbstractor

abstractCBPToLabels(CausalBehaviouralProfile<M, N>) - Static method in class org.jbpt.bp.CBPRestrictedLabelAbstractor

AbstractRelSetCreator - Class in org.jbpt.bp.construct

Abstract super class for all computations of relation sets.

AbstractRelSetCreator() - Constructor for class org.jbpt.bp.construct.AbstractRelSetCreator

AbstractRelSetSimilarity<R extends RelSet<M,N>,M extends IEntityModel<N>,N extends IEntity> - Class in org.jbpt.bp.sim

Abstract class for similarities for relation sets that contains utility functions for the concrete similarity implementations.

AbstractRelSetSimilarity() - Constructor for class org.jbpt.bp.sim.AbstractRelSetSimilarity

abstractRelSetToLabels(RelSet<M, N>) - Static method in class org.jbpt.bp.RelSetLabelAbstractor

addBPViolation(String, String, BehaviouralProfile<Trace, LabelEntity>, RelSetType, RelSetType) - Method in class org.jbpt.petri.conform.ConformanceRootCauseAnalysis

addBPViolation(String, String, String, String) - Method in class org.jbpt.petri.conform.ConformanceRootCauseAnalysis.RootCauseAnalysisForTrace

addCooccurrenceViolation(String, String, BehaviouralProfile<Trace, LabelEntity>) - Method in class org.jbpt.petri.conform.ConformanceRootCauseAnalysis

addCooccurrenceViolation(String, String) - Method in class org.jbpt.petri.conform.ConformanceRootCauseAnalysis.RootCauseAnalysisForTrace

addEntry(RelSet, RelSetType, int) - Method in class org.jbpt.bp.sim.RelSetSizeCache

addTrace(BehaviouralProfile<Trace, LabelEntity>) - Method in class org.jbpt.petri.conform.ConformanceAnalysis

addTrace(BehaviouralProfile<Trace, LabelEntity>) - Method in class org.jbpt.petri.conform.ConformanceRootCauseAnalysis

addTrace(Trace) - Method in class org.jbpt.petri.log.Log

Add a trace to the log.

addViolation(BehaviouralProfile<Trace, LabelEntity>, ConformanceRootCauseAnalysis.ViolationTupleInclSupport) - Method in class org.jbpt.petri.conform.ConformanceRootCauseAnalysis

AggregatedSimilarity<R extends RelSet<M,N>,M extends IEntityModel<N>,N extends IEntity> - Class in org.jbpt.bp.sim

Scores two models by the weighted sum of the single similarities.

AggregatedSimilarity() - Constructor for class org.jbpt.bp.sim.AggregatedSimilarity

areCooccurring(N, N) - Method in class org.jbpt.bp.CausalBehaviouralProfile

Checks whether two given entities are co-occurring.

areCooccurring(Node, Node) - Method in class org.jbpt.bp.construct.WFTreeHandler

Check if two Petri net nodes are in co-occurrence relation (>>)

areExclusive(Node, Node) - Method in class org.jbpt.bp.construct.WFTreeHandler

Check if two Petri net nodes are in exclusive relation (+)

areExclusive(N, N) - Method in class org.jbpt.bp.RelSet

Checks whether two given entities are exclusive.

areInOrder(Node, Node) - Method in class org.jbpt.bp.construct.WFTreeHandler

Check if two Petri net nodey are in order relation

areInOrder(N, N) - Method in class org.jbpt.bp.RelSet

Checks whether two given entities are ordered.

areInStrictOrder(Node, Node) - Method in class org.jbpt.bp.construct.WFTreeHandler

Check if two Petri net nodes are in strict order relation (->)

areInterleaving(Node, Node) - Method in class org.jbpt.bp.construct.WFTreeHandler

Check if two Petri net nodes are in interleaving relation (||)

areInterleaving(N, N) - Method in class org.jbpt.bp.RelSet

Checks whether two given entities are interleaving.

augmentationFunction - Variable in class org.jbpt.bp.construct.CBPCreatorUnfolding

augmentedNet - Variable in class org.jbpt.bp.construct.CBPCreatorUnfolding

B

BaselineSimilarity<R extends RelSet<M,N>,M extends IEntityModel<N>,N extends IEntity> - Class in org.jbpt.bp.sim

Scores two models by only assessing the overlap of nodes.

BaselineSimilarity() - Constructor for class org.jbpt.bp.sim.BaselineSimilarity

baseOrderMatrix - Variable in class org.jbpt.bp.construct.RelSetCreatorLog

baseOrderMatrix - Variable in class org.jbpt.bp.construct.RelSetCreatorTrace

baseOrderMatrixForTransitions - Variable in class org.jbpt.bp.construct.RelSetCreatorUnfolding

baseProfile - Variable in class org.jbpt.petri.conform.ConformanceAnalysis

BehaviouralProfile<M,N extends IEntity> - Class in org.jbpt.bp

Captures the behavioural profile of a model (e.g., a Petri net) for a given set of entities (e.g.

BehaviouralProfile(M, List<N>) - Constructor for class org.jbpt.bp.BehaviouralProfile

BehaviouralProfile(int) - Constructor for class org.jbpt.bp.BehaviouralProfile

BehaviouralProfile(M, Collection<N>) - Constructor for class org.jbpt.bp.BehaviouralProfile

BPCreator<M extends IEntityModel<N>,N extends IEntity> - Interface in org.jbpt.bp.construct

Interface for all computations that derive a behavioural profile for a model.

BPCreatorNet - Class in org.jbpt.bp.construct

Computation of the behavioural profile for a given collection of nodes (or all nodes) of a sound free-choice WF-net.

BPCreatorTree - Class in org.jbpt.bp.construct

Computation of the behavioural profile for a given collection of transitions (or all transitions) of a sound free-choice WF-net using structural decomposition.

BPCreatorUnfolding - Class in org.jbpt.bp.construct

Computation of the behavioural profile for a given collection of transitions (or all transitions) of a bounded net system using its complete prefix unfolding.

C

CausalBehaviouralProfile<M,N extends IEntity> - Class in org.jbpt.bp

Captures the causal behavioural profile for a model (e.g., a Petri net).

CausalBehaviouralProfile(M, List<N>) - Constructor for class org.jbpt.bp.CausalBehaviouralProfile

Create a causal behavioural profile structure for a given Petri net and a given list of entities.

CausalBehaviouralProfile(M, Collection<N>) - Constructor for class org.jbpt.bp.CausalBehaviouralProfile

Creates a causal behavioural profile structure for a given Petri net and a dedicated collection of entities of the Petri net.

CBPCreator<M extends IEntityModel<N>,N extends IEntity> - Interface in org.jbpt.bp.construct

Interface for all computations that derive a causal behavioural profile for a model.

CBPCreatorNet - Class in org.jbpt.bp.construct

CBPCreatorTrace - Class in org.jbpt.bp.construct

CBPCreatorTree - Class in org.jbpt.bp.construct

CBPCreatorUnfolding - Class in org.jbpt.bp.construct

CBPForTraceLabelAbstractor - Class in org.jbpt.bp

Class that provides a method to abstract a casual behavioural profile given for trace entries of a trace to the labels of all trace entries.

CBPForTraceLabelAbstractor() - Constructor for class org.jbpt.bp.CBPForTraceLabelAbstractor

CBPRestrictedLabelAbstractor - Class in org.jbpt.bp

Class that provides a method to abstract a casual behavioural profile given for the entities of a certain model to the labels of all entities.

CBPRestrictedLabelAbstractor() - Constructor for class org.jbpt.bp.CBPRestrictedLabelAbstractor

clear() - Method in class org.jbpt.bp.construct.BPCreatorUnfolding

clear() - Method in class org.jbpt.bp.construct.CBPCreatorUnfolding

clear() - Method in class org.jbpt.bp.construct.ProjTARCreatorStateSpace

clear() - Method in class org.jbpt.bp.construct.RelSetCreatorUnfolding

computeBPConformance() - Method in class org.jbpt.petri.conform.ConformanceAnalysis

computeBPConformance(ConformanceAnalysis.TraceAnalysisTask) - Method in class org.jbpt.petri.conform.ConformanceAnalysis

computeConfidenceForViolationPairs() - Method in class org.jbpt.petri.conform.ConformanceRootCauseAnalysis

computeCooccurrenceConformance() - Method in class org.jbpt.petri.conform.ConformanceAnalysis

computeGlobalSupport() - Method in class org.jbpt.petri.conform.ConformanceRootCauseAnalysis

computeOverallConformance() - Method in class org.jbpt.petri.conform.ConformanceAnalysis

confidence - Variable in class org.jbpt.petri.conform.ConformanceRootCauseAnalysis.ViolationImplicationTupel

ConformanceAnalysis - Class in org.jbpt.petri.conform

ConformanceAnalysis(CausalBehaviouralProfile<NetSystem, LabelEntity>) - Constructor for class org.jbpt.petri.conform.ConformanceAnalysis

ConformanceAnalysis.TraceAnalysisTask - Class in org.jbpt.petri.conform

ConformanceAnalysis.TraceAnalysisTask(BehaviouralProfile<Trace, LabelEntity>) - Constructor for class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

ConformanceRootCauseAnalysis - Class in org.jbpt.petri.conform

ConformanceRootCauseAnalysis() - Constructor for class org.jbpt.petri.conform.ConformanceRootCauseAnalysis

ConformanceRootCauseAnalysis.BPViolationTuple - Class in org.jbpt.petri.conform

Class to capture a single BP violation in a trace.

ConformanceRootCauseAnalysis.BPViolationTuple(String, String, String, String) - Constructor for class org.jbpt.petri.conform.ConformanceRootCauseAnalysis.BPViolationTuple

ConformanceRootCauseAnalysis.RootCauseAnalysisForTrace - Class in org.jbpt.petri.conform

Class that captures all analysis information related to a single trace.

ConformanceRootCauseAnalysis.RootCauseAnalysisForTrace(String) - Constructor for class org.jbpt.petri.conform.ConformanceRootCauseAnalysis.RootCauseAnalysisForTrace

ConformanceRootCauseAnalysis.ViolationImplicationTupel - Class in org.jbpt.petri.conform

ConformanceRootCauseAnalysis.ViolationImplicationTupel(ConformanceRootCauseAnalysis.ViolationTupleInclSupport, ConformanceRootCauseAnalysis.ViolationTupleInclSupport, float) - Constructor for class org.jbpt.petri.conform.ConformanceRootCauseAnalysis.ViolationImplicationTupel

ConformanceRootCauseAnalysis.ViolationTuple - Class in org.jbpt.petri.conform

ConformanceRootCauseAnalysis.ViolationTuple(String, String, String) - Constructor for class org.jbpt.petri.conform.ConformanceRootCauseAnalysis.ViolationTuple

ConformanceRootCauseAnalysis.ViolationTupleInclSupport - Class in org.jbpt.petri.conform

ConformanceRootCauseAnalysis.ViolationTupleInclSupport(String, String, String) - Constructor for class org.jbpt.petri.conform.ConformanceRootCauseAnalysis.ViolationTupleInclSupport

ConformanceRootCauseAnalysis.ViolationTupleInclSupport(ConformanceRootCauseAnalysis.ViolationTuple) - Constructor for class org.jbpt.petri.conform.ConformanceRootCauseAnalysis.ViolationTupleInclSupport

CONSTANT_HIGH_CONFIDENCE - Static variable in class org.jbpt.petri.conform.ConformanceRootCauseAnalysis

CONSTANT_HIGH_SUPPORT - Static variable in class org.jbpt.petri.conform.ConformanceRootCauseAnalysis

constraintList - Static variable in class org.jbpt.petri.conform.ConformanceRootCauseAnalysis

constraintRelativeBehaviouralProfileConformance - Variable in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

constraintRelativeBehaviouralProfileConformanceBottom - Variable in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

constraintRelativeBehaviouralProfileConformanceTop - Variable in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

constraintRelativeCooccurrenceConformance - Variable in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

constraintRelativeCooccurrenceConformanceBottom - Variable in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

constraintRelativeCooccurrenceConformanceTop - Variable in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

constraintRelativeOverallConformance - Variable in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

containsEntry(RelSet, RelSetType) - Method in class org.jbpt.bp.sim.RelSetSizeCache

COOCCURRENCE_SYMBOL - Static variable in class org.jbpt.bp.CausalBehaviouralProfile

cooccurrenceMatrix - Variable in class org.jbpt.bp.CausalBehaviouralProfile

Matrix that captures co-occurrence for the Cartesian product of entities over which the profile is defined.

createAugmentedNet(NetSystem) - Method in class org.jbpt.bp.construct.CBPCreatorUnfolding

cutOfLocalConfContainsAugmentedPlaceForTransition - Variable in class org.jbpt.bp.construct.CBPCreatorUnfolding

D

deriveBaseOrderRelation(RelSet<Log, TraceEntry>) - Method in class org.jbpt.bp.construct.RelSetCreatorLog

deriveBaseOrderRelation(RelSet<Trace, TraceEntry>) - Method in class org.jbpt.bp.construct.RelSetCreatorTrace

deriveBaseOrderRelation(RelSet<NetSystem, Node>) - Method in class org.jbpt.bp.construct.RelSetCreatorUnfolding

deriveBehaviouralProfile(M) - Method in interface org.jbpt.bp.construct.BPCreator

Returns the behavioural profile for the given model.

deriveBehaviouralProfile(M, Collection<N>) - Method in interface org.jbpt.bp.construct.BPCreator

Returns the behavioural profile for the given collection of entities of the model.

deriveCausalBehaviouralProfile(M) - Method in interface org.jbpt.bp.construct.CBPCreator

Returns the causal behavioural profile for all entities of the given model.

deriveCausalBehaviouralProfile(M, Collection<N>) - Method in interface org.jbpt.bp.construct.CBPCreator

Returns the causal behavioural profile for the given collection of entities of the model.

deriveCausalBehaviouralProfile(BehaviouralProfile<M, N>) - Method in interface org.jbpt.bp.construct.CBPCreator

Returns the causal behavioural profile for the given behavioural profile.

deriveCausalBehaviouralProfile(NetSystem) - Method in class org.jbpt.bp.construct.CBPCreatorNet

deriveCausalBehaviouralProfile(NetSystem, Collection<Node>) - Method in class org.jbpt.bp.construct.CBPCreatorNet

deriveCausalBehaviouralProfile(BehaviouralProfile<NetSystem, Node>) - Method in class org.jbpt.bp.construct.CBPCreatorNet

deriveCausalBehaviouralProfile(Trace) - Method in class org.jbpt.bp.construct.CBPCreatorTrace

deriveCausalBehaviouralProfile(Trace, Collection<TraceEntry>) - Method in class org.jbpt.bp.construct.CBPCreatorTrace

deriveCausalBehaviouralProfile(BehaviouralProfile<Trace, TraceEntry>) - Method in class org.jbpt.bp.construct.CBPCreatorTrace

deriveCausalBehaviouralProfile(NetSystem) - Method in class org.jbpt.bp.construct.CBPCreatorTree

deriveCausalBehaviouralProfile(NetSystem, Collection<Node>) - Method in class org.jbpt.bp.construct.CBPCreatorTree

deriveCausalBehaviouralProfile(BehaviouralProfile<NetSystem, Node>) - Method in class org.jbpt.bp.construct.CBPCreatorTree

deriveCausalBehaviouralProfile(NetSystem) - Method in class org.jbpt.bp.construct.CBPCreatorUnfolding

deriveCausalBehaviouralProfile(NetSystem, Collection<Node>) - Method in class org.jbpt.bp.construct.CBPCreatorUnfolding

deriveCausalBehaviouralProfile(BehaviouralProfile<NetSystem, Node>) - Method in class org.jbpt.bp.construct.CBPCreatorUnfolding

deriveCooccurrence(CausalBehaviouralProfile<NetSystem, Node>) - Method in class org.jbpt.bp.construct.CBPCreatorUnfolding

deriveCutOfLocalConfContainsAugmentedPlaceForTransition() - Method in class org.jbpt.bp.construct.CBPCreatorUnfolding

deriveEventContinuation() - Method in class org.jbpt.bp.construct.CBPCreatorUnfolding

deriveRelationSet(NetSystem) - Method in class org.jbpt.bp.construct.BPCreatorNet

deriveRelationSet(NetSystem, Collection<Node>) - Method in class org.jbpt.bp.construct.BPCreatorNet

deriveRelationSet(NetSystem) - Method in class org.jbpt.bp.construct.BPCreatorTree

deriveRelationSet(NetSystem, Collection<Node>) - Method in class org.jbpt.bp.construct.BPCreatorTree

deriveRelationSet(NetSystem) - Method in class org.jbpt.bp.construct.BPCreatorUnfolding

deriveRelationSet(NetSystem, Collection<Node>) - Method in class org.jbpt.bp.construct.BPCreatorUnfolding

deriveRelationSet(NetSystem) - Method in class org.jbpt.bp.construct.ProjTARCreatorStateSpace

deriveRelationSet(NetSystem, Collection<Node>) - Method in class org.jbpt.bp.construct.ProjTARCreatorStateSpace

deriveRelationSet(M) - Method in interface org.jbpt.bp.construct.RelSetCreator

Returns the relation set for the given model.

deriveRelationSet(M, Collection<N>) - Method in interface org.jbpt.bp.construct.RelSetCreator

Returns the relation set for the given collection of entities of the model.

deriveRelationSet(Log) - Method in class org.jbpt.bp.construct.RelSetCreatorLog

deriveRelationSet(Log, int) - Method in class org.jbpt.bp.construct.RelSetCreatorLog

deriveRelationSet(Log, Collection<TraceEntry>) - Method in class org.jbpt.bp.construct.RelSetCreatorLog

deriveRelationSet(Log, Collection<TraceEntry>, int) - Method in class org.jbpt.bp.construct.RelSetCreatorLog

deriveRelationSet(Trace) - Method in class org.jbpt.bp.construct.RelSetCreatorTrace

deriveRelationSet(Trace, int) - Method in class org.jbpt.bp.construct.RelSetCreatorTrace

deriveRelationSet(Trace, Collection<TraceEntry>) - Method in class org.jbpt.bp.construct.RelSetCreatorTrace

deriveRelationSet(Trace, Collection<TraceEntry>, int) - Method in class org.jbpt.bp.construct.RelSetCreatorTrace

deriveRelationSet(NetSystem) - Method in class org.jbpt.bp.construct.RelSetCreatorUnfolding

deriveRelationSet(NetSystem, int) - Method in class org.jbpt.bp.construct.RelSetCreatorUnfolding

deriveRelationSet(NetSystem, Collection<Node>) - Method in class org.jbpt.bp.construct.RelSetCreatorUnfolding

deriveRelationSet(NetSystem, Collection<Node>, int) - Method in class org.jbpt.bp.construct.RelSetCreatorUnfolding

deriveStepMatrix() - Method in class org.jbpt.bp.construct.RelSetCreatorUnfolding

deriveWeakOrderRelation() - Method in class org.jbpt.bp.construct.BPCreatorUnfolding

E

entities - Variable in class org.jbpt.bp.RelSet

The relations are defined over a dedicated set of entities of the model, e.g., only transitions of a Petri net or only labelled transitions of a Petri net.

entriesForBaseOrderMatrix - Variable in class org.jbpt.bp.construct.RelSetCreatorLog

entriesForBaseOrderMatrix - Variable in class org.jbpt.bp.construct.RelSetCreatorTrace

equals(CausalBehaviouralProfile<M, N>) - Method in class org.jbpt.bp.CausalBehaviouralProfile

Checks equality for two causal behavioural profiles Returns false, if both matrices are not based on the same Petri net or on the same set of entities.

equals(RelSet<M, N>) - Method in class org.jbpt.bp.RelSet

Checks equality for two relation sets.

equals(Object) - Method in class org.jbpt.petri.conform.ConformanceRootCauseAnalysis.ViolationTuple

equals(Object) - Method in class org.jbpt.petri.log.TraceEntry

equalsForSharedEntities(RelSet<M, N>) - Method in class org.jbpt.bp.RelSet

Checks equality for two relation sets only for the shared entities.

equalsForSharedNodes(CausalBehaviouralProfile<M, N>) - Method in class org.jbpt.bp.CausalBehaviouralProfile

Checks equality for two causal behavioural profiles only for the shared entities.

eventContinuationMatrix - Variable in class org.jbpt.bp.construct.CBPCreatorUnfolding

ExclusivenessSimilarity<R extends RelSet<M,N>,M extends IEntityModel<N>,N extends IEntity> - Class in org.jbpt.bp.sim

Scores two models by only assessing the overlap of their exclusiveness relation.

ExclusivenessSimilarity() - Constructor for class org.jbpt.bp.sim.ExclusivenessSimilarity

expectedRelation - Variable in class org.jbpt.petri.conform.ConformanceRootCauseAnalysis.ViolationTuple

ExtendedInterleavingSimilarity<R extends RelSet<M,N>,M extends IEntityModel<N>,N extends IEntity> - Class in org.jbpt.bp.sim

Scores two models by assessing the overlap of their order and interleaving relations.

ExtendedInterleavingSimilarity() - Constructor for class org.jbpt.bp.sim.ExtendedInterleavingSimilarity

ExtendedOrderSimilarity<R extends RelSet<M,N>,M extends IEntityModel<N>,N extends IEntity> - Class in org.jbpt.bp.sim

Scores two models by assessing the overlap of their matching and non-matching order relations.

ExtendedOrderSimilarity() - Constructor for class org.jbpt.bp.sim.ExtendedOrderSimilarity

F

fillCooccurrence(NetSystem, CausalBehaviouralProfile<NetSystem, Node>) - Method in class org.jbpt.bp.construct.CBPCreatorNet

fillCooccurrence(Trace, CausalBehaviouralProfile<Trace, TraceEntry>) - Method in class org.jbpt.bp.construct.CBPCreatorTrace

fillIntersection(Alignment<R, N>, R) - Static method in class org.jbpt.bp.RelSetAlgebra

Constructs the intersection of the relation sets under the given alignment.

fillUnion(Alignment<R, N>, R) - Static method in class org.jbpt.bp.RelSetAlgebra

Constructs the union of the relation sets under the given alignment.

firstCompatibleWithSecond(RelSetType, RelSetType) - Method in class org.jbpt.petri.conform.ConformanceAnalysis

firstCompatibleWithSecondAsSelfRelation(RelSetType, RelSetType) - Method in class org.jbpt.petri.conform.ConformanceAnalysis

firstSubsumesSecond(Alignment<R, N>) - Static method in class org.jbpt.bp.RelSetAlgebra

Checks subsumption between the first and the second relation set of the given alignment.

foundRelation - Variable in class org.jbpt.petri.conform.ConformanceRootCauseAnalysis.BPViolationTuple

G

getAnalysisTasks() - Method in class org.jbpt.petri.conform.ConformanceAnalysis

getComplement() - Method in class org.jbpt.bp.RelSet

Returns the complement of the relation set .

getComplementRelation(RelSetType) - Static method in class org.jbpt.bp.RelSet

Returns the complementary relation for a relation.

getConstraintRelativeBehaviouralProfileConformance() - Method in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

getConstraintRelativeBehaviouralProfileConformanceBottom() - Method in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

getConstraintRelativeBehaviouralProfileConformanceTop() - Method in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

getConstraintRelativeConformance() - Method in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

getConstraintRelativeCooccurrenceConformance() - Method in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

getConstraintRelativeCooccurrenceConformanceBottom() - Method in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

getConstraintRelativeCooccurrenceConformanceTop() - Method in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

getCooccurrenceMatrix() - Method in class org.jbpt.bp.CausalBehaviouralProfile

getEntities() - Method in class org.jbpt.bp.RelSet

getEntities() - Method in class org.jbpt.petri.log.Log

getEntities() - Method in class org.jbpt.petri.log.Trace

getEntitiesInRelation(N, RelSetType) - Method in class org.jbpt.bp.RelSet

Returns all entities that are in a given behavioural relation with a given entity.

getId() - Method in class org.jbpt.petri.log.Log

getId() - Method in class org.jbpt.petri.log.Trace

getIDForConstraint(String) - Method in class org.jbpt.petri.conform.ConformanceRootCauseAnalysis

getInstance() - Static method in class org.jbpt.bp.construct.BPCreatorNet

getInstance() - Static method in class org.jbpt.bp.construct.BPCreatorTree

getInstance() - Static method in class org.jbpt.bp.construct.BPCreatorUnfolding

getInstance() - Static method in class org.jbpt.bp.construct.CBPCreatorNet

getInstance() - Static method in class org.jbpt.bp.construct.CBPCreatorTrace

getInstance() - Static method in class org.jbpt.bp.construct.CBPCreatorTree

getInstance() - Static method in class org.jbpt.bp.construct.CBPCreatorUnfolding

getInstance() - Static method in class org.jbpt.bp.construct.ProjTARCreatorStateSpace

getInstance() - Static method in class org.jbpt.bp.construct.RelSetCreatorLog

getInstance() - Static method in class org.jbpt.bp.construct.RelSetCreatorTrace

getInstance() - Static method in class org.jbpt.bp.construct.RelSetCreatorUnfolding

getInstance() - Static method in class org.jbpt.bp.sim.RelSetSizeCache

getLabelsOfLog() - Method in class org.jbpt.petri.log.Log

getLabelsOfTrace() - Method in class org.jbpt.petri.log.Trace

Returns the set of labels that are observed in the trace

getLength() - Method in class org.jbpt.petri.log.Trace

Returns the length of the trace

getLengthLongestTrace() - Method in class org.jbpt.petri.log.Log

getLookAhead() - Method in class org.jbpt.bp.RelSet

getMatrix() - Method in class org.jbpt.bp.RelSet

getModel() - Method in class org.jbpt.bp.RelSet

getModelRelativeBehaviouralProfileConformance() - Method in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

getModelRelativeBehaviouralProfileConformanceBottom() - Method in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

getModelRelativeBehaviouralProfileConformanceTop() - Method in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

getModelRelativeConformance() - Method in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

getModelRelativeCooccurrenceConformance() - Method in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

getModelRelativeCooccurrenceConformanceBottom() - Method in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

getModelRelativeCooccurrenceConformanceTop() - Method in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

getName() - Method in class org.jbpt.bp.sim.AbstractRelSetSimilarity

Standard method for the name of a similarity.

getName() - Method in class org.jbpt.bp.sim.AggregatedSimilarity

getName() - Method in interface org.jbpt.bp.sim.RelSetSimilarity

Returns the name of the similarity measure

getNumberOfConstraints() - Method in class org.jbpt.petri.conform.ConformanceRootCauseAnalysis

getOrder(IRPSTNode<Flow, Node>) - Method in class org.jbpt.bp.construct.WFTreeHandler

Get order of a node in a parent sequence A partial function, defined for nodes with a parent node of type polygon

getRelationForEntities(N, N) - Method in class org.jbpt.bp.RelSet

Returns the behavioural relation for two given entities.

getRelationForIndex(int, int) - Method in class org.jbpt.bp.RelSet

Returns the type of the behavioural relation for the two entities that are identified by their index in the list of entities for which the relation set is defined.

getRelationForNodes(Node, Node) - Method in class org.jbpt.bp.construct.WFTreeHandler

getRelationsByType(Set<RelSetType>) - Method in class org.jbpt.bp.RelSet

getRelationSize(RelSet, RelSetType) - Method in class org.jbpt.bp.sim.RelSetSizeCache

getResultsOnConstraintViolations() - Method in class org.jbpt.petri.conform.ConformanceRootCauseAnalysis.RootCauseAnalysisForTrace

getResultsOnTaskViolations() - Method in class org.jbpt.petri.conform.ConformanceRootCauseAnalysis.RootCauseAnalysisForTrace

getReverseRelation(RelSetType) - Static method in class org.jbpt.bp.RelSet

Returns the reverse relation for a relation, if defined.

getSizeOfIntersectionOfRelation(Alignment<R, N>, RelSetType) - Method in class org.jbpt.bp.sim.AbstractRelSetSimilarity

Computes the size of the intersection of a relation of two aligned relation sets.

getSizeOfIntersectionOfTwoRelations(Alignment<R, N>, RelSetType, RelSetType) - Method in class org.jbpt.bp.sim.AbstractRelSetSimilarity

Computes the size of the intersection of two given relations of two aligned relation sets.

getSizeOfRelation(R, RelSetType) - Method in class org.jbpt.bp.sim.AbstractRelSetSimilarity

Computes the size of a given relation of the given relation set.

getSymbolForRelation(RelSetType) - Static method in class org.jbpt.bp.CausalBehaviouralProfile

Returns a string representation for the behavioural profile relation or co-occurrence relation, respectively.

getSymbolForRelation(RelSetType) - Static method in class org.jbpt.bp.RelSet

Returns a short string representation for a behavioural relation.

getTraceAsList() - Method in class org.jbpt.petri.log.Trace

Returns the trace as a list of strings

getTraceLabelsAsList() - Method in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

getTraceProfile() - Method in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

getTraces() - Method in class org.jbpt.petri.log.Log

getUuid() - Method in class org.jbpt.petri.log.TraceEntry

globalSupport - Variable in class org.jbpt.petri.conform.ConformanceRootCauseAnalysis.ViolationTupleInclSupport

I

id - Variable in class org.jbpt.petri.log.Log

The id of the log.

id - Variable in class org.jbpt.petri.log.Trace

The id of the trace.

IGNORED_LABEL_SUBSTRINGS - Static variable in class org.jbpt.petri.conform.ConformanceAnalysis

InterleavingSimilarity<R extends RelSet<M,N>,M extends IEntityModel<N>,N extends IEntity> - Class in org.jbpt.bp.sim

Scores two models by only assessing the overlap of their interleaving order relation.

InterleavingSimilarity() - Constructor for class org.jbpt.bp.sim.InterleavingSimilarity

invalidateCache() - Method in class org.jbpt.bp.sim.RelSetSizeCache

Resets the internal cache that stores the sizes of relations for relation sets.

isEmpty() - Method in class org.jbpt.bp.RelSet

Checks emptiness of a relation set.

isEqual(Alignment<R, N>) - Static method in class org.jbpt.bp.RelSetAlgebra

Checks equivalence of the relation sets under the given alignment.

isEventContinuation(Transition, Transition) - Method in class org.jbpt.bp.construct.CBPCreatorUnfolding

L

label1 - Variable in class org.jbpt.petri.conform.ConformanceRootCauseAnalysis.ViolationTuple

label2 - Variable in class org.jbpt.petri.conform.ConformanceRootCauseAnalysis.ViolationTuple

labels - Variable in class org.jbpt.petri.log.Log

A set of all labels of the traces in the log.

labels - Variable in class org.jbpt.petri.log.Trace

A set of all labels in the trace.

lengthLongestTrace - Variable in class org.jbpt.petri.log.Log

The length of the longest trace.

Log - Class in org.jbpt.petri.log

Class to represent a log of a Petri net, i.e., a set of traces.

Log() - Constructor for class org.jbpt.petri.log.Log

lookAhead - Variable in class org.jbpt.bp.RelSet

M

matrix - Variable in class org.jbpt.bp.RelSet

The matrix that captures the actual relations for the Cartesian product of the respective entities.

model - Variable in class org.jbpt.bp.RelSet

The model (e.g., Petri net) for which this class captures the set of behavioural relations.

modelRelativeBehaviouralProfileConformance - Variable in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

modelRelativeBehaviouralProfileConformanceBottom - Variable in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

modelRelativeBehaviouralProfileConformanceTop - Variable in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

modelRelativeCooccurrenceConformance - Variable in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

modelRelativeCooccurrenceConformanceBottom - Variable in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

modelRelativeCooccurrenceConformanceTop - Variable in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

modelRelativeOverallConformance - Variable in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

N

nodesForStepMatrix - Variable in class org.jbpt.bp.construct.RelSetCreatorUnfolding

nodesForTransitiveCausalityMatrixUnfolding - Variable in class org.jbpt.bp.construct.BPCreatorUnfolding

nodesForTransitiveCausalityMatrixUnfolding - Variable in class org.jbpt.bp.construct.CBPCreatorUnfolding

O

occurrenceNet - Variable in class org.jbpt.bp.construct.BPCreatorUnfolding

occurrenceNet - Variable in class org.jbpt.bp.construct.CBPCreatorUnfolding

occurrenceNet - Variable in class org.jbpt.bp.construct.RelSetCreatorUnfolding

OrderSimilarity<R extends RelSet<M,N>,M extends IEntityModel<N>,N extends IEntity> - Class in org.jbpt.bp.sim

Scores two models by only assessing the overlap of their order relation.

OrderSimilarity() - Constructor for class org.jbpt.bp.sim.OrderSimilarity

org.jbpt.bp - package org.jbpt.bp

org.jbpt.bp.construct - package org.jbpt.bp.construct

org.jbpt.bp.sim - package org.jbpt.bp.sim

org.jbpt.petri.conform - package org.jbpt.petri.conform

org.jbpt.petri.log - package org.jbpt.petri.log

P

printAllEntities(RelSetType) - Method in class org.jbpt.bp.RelSet

Dumps all entities in a given behavioural relation to the standard output.

ProjTARCreatorStateSpace - Class in org.jbpt.bp.construct

Implemented as a singleton, use getInstance().

R

RELATION_FAR_LOOKAHEAD - Static variable in class org.jbpt.bp.RelSet

RelSet<M,N extends IEntity> - Class in org.jbpt.bp

RelSet(M, List<N>) - Constructor for class org.jbpt.bp.RelSet

Creates a relation set for a given model and a dedicated list of entities of the model.

RelSet(M, Collection<N>) - Constructor for class org.jbpt.bp.RelSet

Creates a relation set for a given model and a dedicated collection of entities of the model.

RelSet(M, Collection<N>, int) - Constructor for class org.jbpt.bp.RelSet

RelSet(int) - Constructor for class org.jbpt.bp.RelSet

Creates a relation set for a given number of entities.

RelSetAlgebra - Class in org.jbpt.bp

This class implements set-algebraic operations and relations for relation sets.

RelSetAlgebra() - Constructor for class org.jbpt.bp.RelSetAlgebra

RelSetCreator<M extends IEntityModel<N>,N extends IEntity> - Interface in org.jbpt.bp.construct

Interface for all computations that derive a relation set of a model.

RelSetCreatorLog - Class in org.jbpt.bp.construct

RelSetCreatorTrace - Class in org.jbpt.bp.construct

RelSetCreatorUnfolding - Class in org.jbpt.bp.construct

Computation of a relation set for a given collection of transitions (or all transitions) of a bounded net system using its complete prefix unfolding.

RelSetLabelAbstractor - Class in org.jbpt.bp

Class that provides a method to abstract a relation set given for the entities of a certain model to the labels of all entities.

RelSetLabelAbstractor() - Constructor for class org.jbpt.bp.RelSetLabelAbstractor

RelSetSimilarity<R extends RelSet<M,N>,M extends IEntityModel<N>,N extends IEntity> - Interface in org.jbpt.bp.sim

Interface for all similarities that build upon relation sets.

RelSetSizeCache - Class in org.jbpt.bp.sim

Cache for relation sizes of relation sets.

RelSetType - Enum in org.jbpt.bp

The relations of one of the relation sets.

rootCauseAnalysis - Variable in class org.jbpt.petri.conform.ConformanceAnalysis

S

saveResults(String) - Method in class org.jbpt.petri.conform.ConformanceAnalysis

saveResults(String) - Method in class org.jbpt.petri.conform.ConformanceRootCauseAnalysis

score(Alignment<R, N>) - Method in class org.jbpt.bp.sim.AggregatedSimilarity

score(Alignment<R, N>) - Method in class org.jbpt.bp.sim.BaselineSimilarity

score(Alignment<R, N>) - Method in class org.jbpt.bp.sim.ExclusivenessSimilarity

score(Alignment<R, N>) - Method in class org.jbpt.bp.sim.ExtendedInterleavingSimilarity

score(Alignment<R, N>) - Method in class org.jbpt.bp.sim.ExtendedOrderSimilarity

score(Alignment<R, N>) - Method in class org.jbpt.bp.sim.InterleavingSimilarity

score(Alignment<R, N>) - Method in class org.jbpt.bp.sim.OrderSimilarity

score(Alignment<R, N>) - Method in interface org.jbpt.bp.sim.RelSetSimilarity

Scores the similarity of two relation sets that are related to each other by the alignment given as input.

scoreDice(Alignment<R, N>) - Method in class org.jbpt.bp.sim.AggregatedSimilarity

scoreDice(Alignment<R, N>) - Method in class org.jbpt.bp.sim.BaselineSimilarity

scoreDice(Alignment<R, N>) - Method in class org.jbpt.bp.sim.ExclusivenessSimilarity

scoreDice(Alignment<R, N>) - Method in class org.jbpt.bp.sim.ExtendedInterleavingSimilarity

scoreDice(Alignment<R, N>) - Method in class org.jbpt.bp.sim.ExtendedOrderSimilarity

scoreDice(Alignment<R, N>) - Method in class org.jbpt.bp.sim.InterleavingSimilarity

scoreDice(Alignment<R, N>) - Method in class org.jbpt.bp.sim.OrderSimilarity

scoreDice(Alignment<R, N>) - Method in interface org.jbpt.bp.sim.RelSetSimilarity

Scores the similarity of two relation sets that are related to each other by the alignment given as input.

secondSubsumesFirst(Alignment<R, N>) - Static method in class org.jbpt.bp.RelSetAlgebra

Checks subsumption between the second and the first relation set of the given alignment.

setConstraintRelativeBehaviouralProfileConformance(float) - Method in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

setConstraintRelativeBehaviouralProfileConformanceBottom(float) - Method in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

setConstraintRelativeBehaviouralProfileConformanceTop(float) - Method in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

setConstraintRelativeConformance(float) - Method in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

setConstraintRelativeCooccurrenceConformance(float) - Method in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

setConstraintRelativeCooccurrenceConformanceBottom(float) - Method in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

setConstraintRelativeCooccurrenceConformanceTop(float) - Method in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

setCooccurrenceMatrix(boolean[][]) - Method in class org.jbpt.bp.CausalBehaviouralProfile

setId(int) - Method in class org.jbpt.petri.log.Log

setId(String) - Method in class org.jbpt.petri.log.Trace

setLookAhead(int) - Method in class org.jbpt.bp.RelSet

setMatrix(RelSetType[][]) - Method in class org.jbpt.bp.RelSet

setMatrixEntry(RelSetType[][], int, int, RelSetType) - Method in class org.jbpt.bp.construct.AbstractRelSetCreator

As the matrix of a relation set is symmetric for the exclusive and interleaving relation, we use this procedure to set these dependency between two nodes.

setMatrixEntryOrder(RelSetType[][], int, int) - Method in class org.jbpt.bp.construct.AbstractRelSetCreator

Sets the matrix entry for two indices and an order relation of the relation set.

setModelRelativeBehaviouralProfileConformance(float) - Method in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

setModelRelativeBehaviouralProfileConformanceBottom(float) - Method in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

setModelRelativeBehaviouralProfileConformanceTop(float) - Method in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

setModelRelativeConformance(float) - Method in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

setModelRelativeCooccurrenceConformance(float) - Method in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

setModelRelativeCooccurrenceConformanceBottom(float) - Method in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

setModelRelativeCooccurrenceConformanceTop(float) - Method in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

setTraceProfile(BehaviouralProfile<Trace, LabelEntity>) - Method in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

setUuid(UUID) - Method in class org.jbpt.petri.log.TraceEntry

setWeights(double, double, double, double, double) - Method in class org.jbpt.bp.sim.AggregatedSimilarity

Set weights for aggregation of similarities.

space - Variable in class org.jbpt.bp.construct.ProjTARCreatorStateSpace

stepMatrix - Variable in class org.jbpt.bp.construct.RelSetCreatorUnfolding

T

toString() - Method in class org.jbpt.bp.CausalBehaviouralProfile

toString() - Method in class org.jbpt.bp.RelSet

toString() - Method in enum org.jbpt.bp.RelSetType

toString() - Method in class org.jbpt.petri.conform.ConformanceRootCauseAnalysis.ViolationTuple

toString() - Method in class org.jbpt.petri.conform.ConformanceRootCauseAnalysis.ViolationTupleInclSupport

Trace - Class in org.jbpt.petri.log

Simple data structure to represent a single trace of a Petri net.

Trace(List<TraceEntry>) - Constructor for class org.jbpt.petri.log.Trace

Create the trace structure.

Trace(String[]) - Constructor for class org.jbpt.petri.log.Trace

trace - Variable in class org.jbpt.petri.log.Trace

The trace as a list of trace entries.

traceAnalyses - Variable in class org.jbpt.petri.conform.ConformanceRootCauseAnalysis

traceAnalysisTasks - Variable in class org.jbpt.petri.conform.ConformanceAnalysis

traceEntries - Variable in class org.jbpt.petri.log.Log

A set of all trace entries of the traces in the log.

TraceEntry - Class in org.jbpt.petri.log

TraceEntry(String) - Constructor for class org.jbpt.petri.log.TraceEntry

traceIds - Variable in class org.jbpt.petri.conform.ConformanceRootCauseAnalysis

traceLabelsAsList - Variable in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

traceProfile - Variable in class org.jbpt.petri.conform.ConformanceAnalysis.TraceAnalysisTask

traces - Variable in class org.jbpt.petri.log.Log

The traces of the log along with their number of occurrence in the log.

tracesShowSameSequenceOfLabels(Trace, Trace) - Method in class org.jbpt.petri.log.Log

transitionsForBaseOrderMatrix - Variable in class org.jbpt.bp.construct.RelSetCreatorUnfolding

transitionsForEventContinutationMatrix - Variable in class org.jbpt.bp.construct.CBPCreatorUnfolding

transitionsForWeakOrderMatrix - Variable in class org.jbpt.bp.construct.BPCreatorUnfolding

transitiveCausalityMatrixUnfolding - Variable in class org.jbpt.bp.construct.BPCreatorUnfolding

transitiveCausalityMatrixUnfolding - Variable in class org.jbpt.bp.construct.CBPCreatorUnfolding

U

unfolding - Variable in class org.jbpt.bp.construct.BPCreatorUnfolding

unfolding - Variable in class org.jbpt.bp.construct.CBPCreatorUnfolding

unfolding - Variable in class org.jbpt.bp.construct.RelSetCreatorUnfolding

V

valueOf(String) - Static method in enum org.jbpt.bp.RelSetType

Returns the enum constant of this type with the specified name.

values() - Static method in enum org.jbpt.bp.RelSetType

Returns an array containing the constants of this enum type, in the order they are declared.

violation1 - Variable in class org.jbpt.petri.conform.ConformanceRootCauseAnalysis.ViolationImplicationTupel

violation2 - Variable in class org.jbpt.petri.conform.ConformanceRootCauseAnalysis.ViolationImplicationTupel

violationImplicationsAboveThreshold - Variable in class org.jbpt.petri.conform.ConformanceRootCauseAnalysis

violations - Variable in class org.jbpt.petri.conform.ConformanceRootCauseAnalysis

violationsForTraces - Variable in class org.jbpt.petri.conform.ConformanceRootCauseAnalysis

W

weakOrderMatrixForTransitions - Variable in class org.jbpt.bp.construct.BPCreatorUnfolding

weightEISim - Variable in class org.jbpt.bp.sim.AggregatedSimilarity

weightESSim - Variable in class org.jbpt.bp.sim.AggregatedSimilarity

weightExSim - Variable in class org.jbpt.bp.sim.AggregatedSimilarity

weightInSim - Variable in class org.jbpt.bp.sim.AggregatedSimilarity

weightSoSim - Variable in class org.jbpt.bp.sim.AggregatedSimilarity

WFTreeHandler - Class in org.jbpt.bp.construct

WFTreeHandler(NetSystem) - Constructor for class org.jbpt.bp.construct.WFTreeHandler

A B C D E F G I L M N O P R S T U V W