Uses of Class
org.jbpt.petri.unfolding.AbstractBranchingProcess

Packages that use AbstractBranchingProcess

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

Uses of AbstractBranchingProcess in org.jbpt.petri.unfolding

Subclasses of AbstractBranchingProcess in org.jbpt.petri.unfolding

Modifier and Type	Class and Description
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)

Uses of AbstractBranchingProcess in org.jbpt.petri.untangling

Subclasses of AbstractBranchingProcess in org.jbpt.petri.untangling

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.