| Class | Description |
|---|---|
| BehaviouralProfile<M,N extends IEntity> |
Captures the behavioural profile of a model (e.g., a Petri net) for a given
set of entities (e.g.
|
| CausalBehaviouralProfile<M,N extends IEntity> |
Captures the causal behavioural profile for a model (e.g., a Petri net).
|
| CBPForTraceLabelAbstractor |
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.
|
| CBPRestrictedLabelAbstractor |
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.
|
| RelSet<M,N extends IEntity> | |
| RelSetAlgebra |
This class implements set-algebraic operations and relations for
relation sets.
|
| RelSetLabelAbstractor |
Class that provides a method to abstract a relation set given for the
entities of a certain model to the labels of all entities.
|
| Enum | Description |
|---|---|
| RelSetType |
The relations of one of the relation sets.
|
Copyright © 2017. All rights reserved.