Uses of Package
org.jbpt.bp.construct

Packages that use org.jbpt.bp.construct

Package	Description
org.jbpt.bp.construct

Classes in org.jbpt.bp.construct used by org.jbpt.bp.construct

Class and 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.
CBPCreator Interface for all computations that derive a causal behavioural profile for a model.
CBPCreatorNet
CBPCreatorTrace
CBPCreatorTree
CBPCreatorUnfolding
ProjTARCreatorStateSpace Implemented as a singleton, use getInstance().
RelSetCreator Interface for all computations that derive a relation set of a model.
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.