Uses of Interface
org.jbpt.bp.construct.RelSetCreator

Packages that use RelSetCreator

Package	Description
org.jbpt.bp.construct

Uses of RelSetCreator in org.jbpt.bp.construct

Classes in org.jbpt.bp.construct that implement RelSetCreator

Modifier and Type	Class and Description
class	BPCreatorNet Computation of the behavioural profile for a given collection of nodes (or all nodes) of a sound free-choice WF-net.
class	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.
class	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.
class	ProjTARCreatorStateSpace Implemented as a singleton, use getInstance().
class	RelSetCreatorLog
class	RelSetCreatorTrace
class	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.