Uses of Interface
org.jbpt.petri.unfolding.IOrderingRelationsDescriptor

Packages that use IOrderingRelationsDescriptor

Package	Description
org.jbpt.petri.unfolding
org.jbpt.petri.untangling

Uses of IOrderingRelationsDescriptor in org.jbpt.petri.unfolding

Subinterfaces of IOrderingRelationsDescriptor in org.jbpt.petri.unfolding

Modifier and Type	Interface and Description
interface	IBranchingProcess<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 Branching Process of a net system (INetSystem).
interface	ICompletePrefixUnfolding<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>> Interface to a complete prefix unfolding.

Classes in org.jbpt.petri.unfolding that implement IOrderingRelationsDescriptor

Modifier and Type	Class and Description
class	AbstractBranchingProcess<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>> Abstract implementation of a branching process of a net system.
class	AbstractCompletePrefixUnfolding<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 complete prefix unfloding of a net system. This class implements techniques described in: - Javier Esparza, Stefan Roemer, Walter Vogler: An Improvement of McMillan's Unfolding Algorithm.
class	AbstractOrderingRelationsGraph<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>> Abstract implementation of the ordering relations graph (ORGRAPH).
class	AbstractProperCompletePrefixUnfolding<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>> Proper complete prefix unfolding.
class	BranchingProcess
class	CompletePrefixUnfolding An implementation of a complete prefix unfloding of a net system.
class	OrderingRelationsGraph Implementation of the ordering relations graph (ORGRAPH).
class	ProperCompletePrefixUnfolding
class	SoundUnfolding Unfolding for soundness checks Proof of concept - must be improved
class	SoundUnfoldingMSMS Unfolding for soundness checks (multi-source-multi-sink nets)

Uses of IOrderingRelationsDescriptor in org.jbpt.petri.untangling

Subinterfaces of IOrderingRelationsDescriptor in org.jbpt.petri.untangling

Modifier and Type	Interface and Description
interface	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).

Classes in org.jbpt.petri.untangling that implement IOrderingRelationsDescriptor

Modifier and Type	Class and Description
class	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.
class	Process An implementation of the IProcess interface.