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

Packages that use IBranchingProcess

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

Uses of IBranchingProcess in org.jbpt.petri.unfolding

Subinterfaces of IBranchingProcess in org.jbpt.petri.unfolding

Modifier and Type	Interface and Description
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 IBranchingProcess

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	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	ProperCompletePrefixUnfolding
class	SoundUnfolding Unfolding for soundness checks Proof of concept - must be improved
class	SoundUnfoldingMSMS Unfolding for soundness checks (multi-source-multi-sink nets)

Methods in org.jbpt.petri.unfolding that return IBranchingProcess

Modifier and Type	Method and Description
IBranchingProcess<BPN,C,E,F,N,P,T,M>	IBranchingProcess.clone()
IBranchingProcess<BPN,C,E,F,N,P,T,M>	AbstractBranchingProcess.clone()

Methods in org.jbpt.petri.unfolding with parameters of type IBranchingProcess

Modifier and Type	Method and Description
void	IOccurrenceNet.setBranchingProcess(IBranchingProcess<BPN,C,E,F,N,P,T,M> bp)
void	AbstractOccurrenceNet.setBranchingProcess(IBranchingProcess<BPN,C,E,F,N,P,T,M> bp)

Constructors in org.jbpt.petri.unfolding with parameters of type IBranchingProcess

Constructor and Description
AbstractOrderingRelationsGraph(IBranchingProcess<BPN,C,E,F,N,P,T,M> bp)
OrderingRelationsGraph(IBranchingProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> bp)

Uses of IBranchingProcess in org.jbpt.petri.untangling

Subinterfaces of IBranchingProcess 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 IBranchingProcess

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.