org.jbpt.petri.wftree

Class WFTree

java.lang.Object

org.jbpt.hypergraph.abs.GObject

org.jbpt.hypergraph.abs.AbstractGraphNotifier<E,V>

org.jbpt.hypergraph.abs.AbstractMultiHyperGraph<E,V>

org.jbpt.hypergraph.abs.AbstractMultiDirectedHyperGraph<E,V>

org.jbpt.graph.abs.AbstractMultiDirectedGraph<E,V>

org.jbpt.graph.abs.AbstractDirectedGraph<IDirectedEdge<V>,V>

org.jbpt.graph.abs.AbstractTree<IRPSTNode<E,V>>

org.jbpt.algo.tree.rpst.RPST<F,N>

org.jbpt.petri.wftree.AbstractWFTree<Flow,Node,Place,Transition>

org.jbpt.petri.wftree.WFTree

All Implemented Interfaces:

Cloneable, Comparable<IGObject>, IRPST<Flow,Node>, IDirectedGraph<IDirectedEdge<IRPSTNode<Flow,Node>>,IRPSTNode<Flow,Node>>, IGraph<IDirectedEdge<IRPSTNode<Flow,Node>>,IRPSTNode<Flow,Node>>, ITree<IRPSTNode<Flow,Node>>, IDirectedHyperGraph<IDirectedEdge<IRPSTNode<Flow,Node>>,IRPSTNode<Flow,Node>>, IEntity, IEntityModel<IRPSTNode<Flow,Node>>, IGObject, IHyperGraph<IDirectedEdge<IRPSTNode<Flow,Node>>,IRPSTNode<Flow,Node>>, IWFTree<Flow,Node,Place,Transition>

public class WFTree
extends AbstractWFTree<Flow,Node,Place,Transition>

This class takes a net and computes its 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, Matthias Weidlich

Field Summary

Fields inherited from class org.jbpt.algo.tree.rpst.RPST

diGraph, extraEdges, ne2oe, tctree

Fields inherited from class org.jbpt.graph.abs.AbstractTree

root

Fields inherited from class org.jbpt.hypergraph.abs.AbstractGraphNotifier

edges, vertices

Constructor Summary

Constructors

Constructor and Description
WFTree(IPetriNet<Flow,Node,Place,Transition> net)

Method Summary

Methods inherited from class org.jbpt.petri.wftree.AbstractWFTree

getLoopOrientationType, getRefinedBondType, getRPSTNodes

Methods inherited from class org.jbpt.algo.tree.rpst.RPST

addChild, getGraph, getPolygonChildren, getRPSTNodes, getRPSTNodes, reRoot

Methods inherited from class org.jbpt.graph.abs.AbstractTree

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

Methods inherited from class org.jbpt.graph.abs.AbstractDirectedGraph

addEdge, isMultiGraph

Methods inherited from class org.jbpt.graph.abs.AbstractMultiDirectedGraph

addEdge, areAdjacent, getDirectedEdge, getEdge, getEdges, getEdgesWithSources, getEdgesWithSourcesAndTargets, getEdgesWithTargets, removeVertex, removeVertices

Methods inherited from class org.jbpt.hypergraph.abs.AbstractMultiDirectedHyperGraph

addEdge, addEdge, checkEdge, getDirectPredecessors, getDirectPredecessors, getDirectSuccessors, getDirectSuccessors, getEdgesWithSource, getEdgesWithSourceAndTarget, getEdgesWithTarget, getFirstDirectPredecessor, getFirstDirectSuccessor, getFirstIncomingEdge, getFirstOutgoingEdge, getIncomingEdges, getOutgoingEdges

Methods inherited from class org.jbpt.hypergraph.abs.AbstractMultiHyperGraph

addVertex, addVertices, areAdjacent, checkEdge, contains, contains, contains, countEdges, countVertices, getAdjacent, getConnectedVertices, getDisconnectedVertices, getEdges, getEdges, getEdges, getEntities, getFreshVertex, getVertices, removeEdge, removeEdges, toString

Methods inherited from class org.jbpt.hypergraph.abs.AbstractGraphNotifier

addIndex, addIndex, clearMembers, removeIndex, removeIndex

Methods inherited from class org.jbpt.hypergraph.abs.GObject

clone, compareTo, equals, getDescription, getId, getLabel, getName, getTag, hashCode, setDescription, setId, setName, setTag

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

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

Methods inherited from interface org.jbpt.hypergraph.abs.IDirectedHyperGraph

getDirectPredecessors, getDirectPredecessors, getDirectSuccessors, getDirectSuccessors, getEdgesWithSource, getEdgesWithSourceAndTarget, getEdgesWithTarget, getFirstDirectPredecessor, getFirstDirectSuccessor, getFirstIncomingEdge, getFirstOutgoingEdge, getIncomingEdges, getOutgoingEdges

Methods inherited from interface org.jbpt.hypergraph.abs.IHyperGraph

addEdge, addEdge, addVertex, addVertices, areAdjacent, contains, contains, countEdges, countVertices, getAdjacent, getConnectedVertices, getDisconnectedVertices, getEdges, getEdges, getEdges, getFreshVertex, getVertices, removeEdge, removeEdges

Methods inherited from interface org.jbpt.hypergraph.abs.IGObject

getDescription, getId, getName, getTag, setDescription, setId, setName, setTag

Methods inherited from interface java.lang.Comparable

compareTo

Methods inherited from interface org.jbpt.hypergraph.abs.IEntity

clone, getLabel

Methods inherited from interface org.jbpt.hypergraph.abs.IEntityModel

getEntities

Constructor Detail

WFTree

public WFTree(IPetriNet<Flow,Node,Place,Transition> net)