| Interface | Description |
|---|---|
| BPCreator<M extends IEntityModel<N>,N extends IEntity> |
Interface for all computations that derive a behavioural
profile for a model.
|
| CBPCreator<M extends IEntityModel<N>,N extends IEntity> |
Interface for all computations that derive a causal behavioural
profile for a model.
|
| RelSetCreator<M extends IEntityModel<N>,N extends IEntity> |
Interface for all computations that derive a relation
set of a model.
|
| Class | Description |
|---|---|
| AbstractRelSetCreator |
Abstract super class for all computations of relation sets.
|
| BPCreatorNet |
Computation of the behavioural profile for a given collection of
nodes (or all nodes) of a sound free-choice WF-net.
|
| BPCreatorTree |
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 |
Computation of the behavioural profile for a given collection of
transitions (or all transitions) of a bounded net system using its complete
prefix unfolding.
|
| CBPCreatorNet | |
| CBPCreatorTrace | |
| CBPCreatorTree | |
| CBPCreatorUnfolding | |
| ProjTARCreatorStateSpace |
Implemented as a singleton, use
getInstance(). |
| RelSetCreatorLog | |
| RelSetCreatorTrace | |
| RelSetCreatorUnfolding |
Computation of a relation set for a given collection of
transitions (or all transitions) of a bounded net system using
its complete prefix unfolding.
|
| WFTreeHandler |
Copyright © 2017. All rights reserved.