Package org.jbpt.petri.querying

Interface Summary

Interface	Description
IBehavioralQuerying<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>
IStructuralQuerying<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

Class Summary

Class	Description
AbstractStructuralQuerying<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 implementation of the IStructuralQuerying interface.
AbstractUntanglingBasedBehavioralQuerying<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 implementation of the IBehavioralQuerying interface (using untanglings).
NetSystemQuerying	This class can be used to check the presence of structural and/or behavioral information in a net system.