org.jbpt.bp.construct

Class RelSetCreatorUnfolding

java.lang.Object

org.jbpt.bp.construct.AbstractRelSetCreator

org.jbpt.bp.construct.RelSetCreatorUnfolding

All Implemented Interfaces:

RelSetCreator<NetSystem,Node>

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

Computation of a relation set 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 boolean[][]	baseOrderMatrixForTransitions
protected List<Transition>	nodesForStepMatrix
protected OccurrenceNet	occurrenceNet
protected long[][]	stepMatrix
protected List<Transition>	transitionsForBaseOrderMatrix
protected CompletePrefixUnfolding	unfolding

Method Summary

Methods

Modifier and Type	Method and Description
protected void	clear()
protected void	deriveBaseOrderRelation(RelSet<NetSystem,Node> rs)
RelSet<NetSystem,Node>	deriveRelationSet(NetSystem pn) Returns the relation set for the given model.
RelSet<NetSystem,Node>	deriveRelationSet(NetSystem pn, Collection<Node> nodes) Returns the relation set for the given collection of entities of the model.
RelSet<NetSystem,Node>	deriveRelationSet(NetSystem pn, Collection<Node> nodes, int lookAhead)
RelSet<NetSystem,Node>	deriveRelationSet(NetSystem pn, int lookAhead)
protected void	deriveStepMatrix()
static RelSetCreatorUnfolding	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

unfolding

protected CompletePrefixUnfolding unfolding

occurrenceNet

protected OccurrenceNet occurrenceNet

stepMatrix

protected long[][] stepMatrix

nodesForStepMatrix

protected List<Transition> nodesForStepMatrix

baseOrderMatrixForTransitions

protected boolean[][] baseOrderMatrixForTransitions

transitionsForBaseOrderMatrix

protected List<Transition> transitionsForBaseOrderMatrix

Method Detail

getInstance

public static RelSetCreatorUnfolding getInstance()

clear

protected void clear()

deriveRelationSet

public RelSet<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 RelSet<NetSystem,Node> deriveRelationSet(NetSystem pn,
                                       int lookAhead)

deriveRelationSet

public RelSet<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

deriveRelationSet

public RelSet<NetSystem,Node> deriveRelationSet(NetSystem pn,
                                       Collection<Node> nodes,
                                       int lookAhead)

deriveBaseOrderRelation

protected void deriveBaseOrderRelation(RelSet<NetSystem,Node> rs)

deriveStepMatrix

protected void deriveStepMatrix()