org.jbpt.bp.construct

Class BPCreatorTree

java.lang.Object

org.jbpt.bp.construct.AbstractRelSetCreator

org.jbpt.bp.construct.BPCreatorTree

All Implemented Interfaces:

RelSetCreator<NetSystem,Node>

public class BPCreatorTree
extends AbstractRelSetCreator
implements RelSetCreator<NetSystem,Node>

Computation of the behavioural profile for a given collection of transitions (or all transitions) of a sound free-choice WF-net using structural decomposition. Note that this method cannot be used to create a behavioural profile for all nodes of a net system. It is limited to behavioural profiles over transitions. Soundness assumption is currently not checked! Implemented as a singleton, use getInstance().

Author:

Matthias Weidlich

Method Summary

Methods

Modifier and Type	Method and Description
BehaviouralProfile<NetSystem,Node>	deriveRelationSet(NetSystem pn) Returns the relation set for the given model.
BehaviouralProfile<NetSystem,Node>	deriveRelationSet(NetSystem pn, Collection<Node> nodes) Returns the relation set for the given collection of entities of the model.
static BPCreatorTree	getInstance()

Methods inherited from class org.jbpt.bp.construct.AbstractRelSetCreator

setMatrixEntry, setMatrixEntryOrder

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getInstance

public static BPCreatorTree getInstance()

deriveRelationSet

public BehaviouralProfile<NetSystem,Node> deriveRelationSet(NetSystem pn)

Description copied from interface: RelSetCreator

Returns the relation set for the given model. Depending on the concrete creator, the relations are computed for a distinguished set of entities. For instance, if the model is a Petri net, the relation set may be derived for all nodes or all transitions.

Specified by:

deriveRelationSet in interface RelSetCreator<NetSystem,Node>

Returns:

the relation set of the model

deriveRelationSet

public BehaviouralProfile<NetSystem,Node> deriveRelationSet(NetSystem pn,
                                                   Collection<Node> nodes)

Description copied from interface: RelSetCreator

Returns the relation set for the given collection of entities of the model. Creator classes may implicitly restrict this set. For instance, if the model is a Petri net, some creators may requires the set of entities to contain only transitions.

Specified by:

deriveRelationSet in interface RelSetCreator<NetSystem,Node>

Returns:

the relation set of the model