org.jbpt.petri.wftree

Interface IWFTree<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition>

Type Parameters:

F - Flow template.

N - Node template.

P - Place template.

T - Transition template.

All Superinterfaces:

IRPST<F,N>, ITree<IRPSTNode<F,N>>

All Known Implementing Classes:

AbstractWFTree, WFTree

public interface IWFTree<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition>
extends IRPST<F,N>

Interface to a WF-tree. WF-tree was proposed in: Matthias Weidlich, Artem Polyvyanyy, Jan Mendling, and Mathias Weske. Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation. Fundamenta Informaticae (FUIN) 113(3-4): 399-435 (2011)

Author:

Artem Polyvyanyy

Method Summary

Methods

Modifier and Type	Method and Description
WFTreeLoopOrientationType	getLoopOrientationType(IRPSTNode<F,N> node) Get loop orientation type of a WF-tree node. Loop orientation type is defined if parent of the given node is of type loop. WFTreeLoopOrientationType.FORWAD if entry of the given node is equal to the entry of the parent loop node. WFTreeLoopOrientationType.BACKWARD if if entry of the given node is equal to the exit of the parent loop node.
WFTreeBondType	getRefinedBondType(IRPSTNode<F,N> node) Get refined type of a WF-tree bond node. WFTreeBondType.TRANSITION_BORDERED if entry and exit are transitions. WFTreeBondType.PLACE_BORDERED if entry and exit are places. WFTreeBondType.LOOP if entry and exit are places and entry of some child is an exit of another child. WFTreeBondType.UNDEFINED none of the above.
Set<IRPSTNode<F,N>>	getRPSTNodes(WFTreeBondType type) Get RPST nodes of a given WFTreeBondType type.

Methods inherited from interface org.jbpt.algo.tree.rpst.IRPST

getGraph, getPolygonChildren, getRPSTNodes, getRPSTNodes

Methods inherited from interface org.jbpt.graph.abs.ITree

addChild, getChildren, getChildrenRecursively, getDownwardPath, getLCA, getLCA, getParent, getRoot, isAncestor, isChild, isDescendant, isParent, isRoot, reRoot

Method Detail

getRefinedBondType

WFTreeBondType getRefinedBondType(IRPSTNode<F,N> node)

Get refined type of a WF-tree bond node.

WFTreeBondType.TRANSITION_BORDERED if entry and exit are transitions.
WFTreeBondType.PLACE_BORDERED if entry and exit are places.
WFTreeBondType.LOOP if entry and exit are places and entry of some child is an exit of another child.
WFTreeBondType.UNDEFINED none of the above.

Parameters:

node - Node of this WF-tree.

Returns:

Refined type of this WF-tree bond node; WFTreeBondType.UNDEFINED if the type cannot be determined.

getLoopOrientationType

WFTreeLoopOrientationType getLoopOrientationType(IRPSTNode<F,N> node)

Get loop orientation type of a WF-tree node.

Loop orientation type is defined if parent of the given node is of type loop.

WFTreeLoopOrientationType.FORWAD if entry of the given node is equal to the entry of the parent loop node.
WFTreeLoopOrientationType.BACKWARD if if entry of the given node is equal to the exit of the parent loop node.

Parameters:

node - Node of this WF-tree.

Returns:

Loop orientation type of the given node; WFTreeLoopOrientationType.UNDEFINED if the type cannot be determined.

getRPSTNodes

Set<IRPSTNode<F,N>> getRPSTNodes(WFTreeBondType type)

Get RPST nodes of a given WFTreeBondType type.

Parameters:

type - WF-tree bond type.

Returns:

Set of RPST nodes of the given WFTreeBondType type.