org.jbpt.bp.construct

Class BPCreatorUnfolding

java.lang.Object

org.jbpt.bp.construct.AbstractRelSetCreator

org.jbpt.bp.construct.BPCreatorUnfolding

All Implemented Interfaces:

RelSetCreator<NetSystem,Node>

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

Computation of the behavioural profile for a given collection of transitions (or all transitions) of a bounded net system using its complete prefix unfolding. Note that boundedness is not checked explicitly. If this class is used for unbounded nets, it will still return a relation set as a result since the unfolder has a fixed boundary (default = 1) for concurrent conditions that relate to the same place in the unfolding. Hence, it stops even if there does not exist a finite prefix. However, it is not guaranteed that the obtained relation set is correct in this case! Implemented as a singleton, use getInstance().

Author:

matthias.weidlich

Field Summary

Fields

Modifier and Type	Field and Description
protected List<Transition>	nodesForTransitiveCausalityMatrixUnfolding
protected OccurrenceNet	occurrenceNet
protected List<Transition>	transitionsForWeakOrderMatrix
protected boolean[][]	transitiveCausalityMatrixUnfolding
protected CompletePrefixUnfolding	unfolding
protected boolean[][]	weakOrderMatrixForTransitions

Method Summary

Methods

Modifier and Type	Method and Description
protected void	clear()
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.
protected void	deriveWeakOrderRelation()
static BPCreatorUnfolding	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

Field Detail

weakOrderMatrixForTransitions

protected boolean[][] weakOrderMatrixForTransitions

transitionsForWeakOrderMatrix

protected List<Transition> transitionsForWeakOrderMatrix

unfolding

protected CompletePrefixUnfolding unfolding

occurrenceNet

protected OccurrenceNet occurrenceNet

transitiveCausalityMatrixUnfolding

protected boolean[][] transitiveCausalityMatrixUnfolding

nodesForTransitiveCausalityMatrixUnfolding

protected List<Transition> nodesForTransitiveCausalityMatrixUnfolding

Method Detail

getInstance

public static BPCreatorUnfolding getInstance()

clear

protected void clear()

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

deriveWeakOrderRelation

protected void deriveWeakOrderRelation()