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

Packages that use AbstractCompletePrefixUnfolding

Package	Description
org.jbpt.petri.unfolding

Uses of AbstractCompletePrefixUnfolding in org.jbpt.petri.unfolding

Subclasses of AbstractCompletePrefixUnfolding in org.jbpt.petri.unfolding

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