Package org.jbpt.petri.wftree

Interface Summary

Interface	Description
IWFTree<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition>	Interface to a WF-tree.

Class Summary

Class	Description
AbstractWFTree<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition>	This class takes a net and computes its WF-tree (abstract implementation). WF-tree was proposed in: Matthias Weidlich, Artem Polyvyanyy, Jan Mendling, and Mathias Weske.
WFTree	This class takes a net and computes its WF-tree. WF-tree was proposed in: Matthias Weidlich, Artem Polyvyanyy, Jan Mendling, and Mathias Weske.

Enum Summary

Enum	Description
WFTreeBondType	WF-tree classification of bonds.
WFTreeLoopOrientationType	WF-tree loop orientation.