Package org.jbpt.petri.untangling

Interface Summary

Interface	Description
IProcess<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>	An interface to a Process of a net system (INetSystem).
IUntanglingRun<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

Class Summary

Class	Description
AbstractBaselineRepresentativeUntangling<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>	An abstract implementation of the baseline algorithm for computing representative untanglings of net systems (INetSystem).
AbstractProcess<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>	An abstract implementation of the IProcess interface.
AbstractReductionBasedRepresentativeUntangling<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>	An abstract implementation of the reduction-based algorithm for computing representative untanglings of net systems (INetSystem).
AbstractRepresentativeUntangling<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>	An abstract implementation of a technique for constructing representative untanglings of net system (@link INetSystem).
AbstractUntanglingRun<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>
BaselineRepresentativeUntangling	An implementation of the baseline algorithm for computing representative untanglings of net systems (INetSystem).
Process	An implementation of the IProcess interface.
ReductionBasedRepresentativeUntangling	An implementation of the reduction-based algorithm for computing representative untanglings of net systems (INetSystem).
TreeStep<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>
TreeStepIndex<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>
UntanglingRun
UntanglingSetup	Untangling setup.

Enum Summary

Enum	Description
SignificanceCheckType	Type of a significance check to use when untangling.