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

Packages that use ICompletePrefixUnfolding

Package	Description
org.jbpt.petri.unfolding

Uses of ICompletePrefixUnfolding in org.jbpt.petri.unfolding

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

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	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 ICompletePrefixUnfolding

Modifier and Type	Method and Description
ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M>	IOccurrenceNet.getCompletePrefixUnfolding()
ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M>	AbstractOccurrenceNet.getCompletePrefixUnfolding()

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

Modifier and Type	Method and Description
void	IOccurrenceNet.setCompletePrefixUnfolding(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpu)
void	ILocalConfiguration.setCompletePrefixUnfolding(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpf)
void	IEvent.setCompletePrefixUnfolding(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpf)
void	AbstractOccurrenceNet.setCompletePrefixUnfolding(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpu)
void	AbstractLocalConfiguration.setCompletePrefixUnfolding(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpu)
void	AbstractEvent.setCompletePrefixUnfolding(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpu)

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

Constructor and Description
AbstractEvent(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpu, T transition, ICoSet<BPN,C,E,F,N,P,T,M> preset) Constructor.
AbstractLocalConfiguration(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpu, E e)
AbstractOccurrenceNet(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpu)
Event(ICompletePrefixUnfolding<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> cpu, Transition transition, ICoSet<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> preset)
OccurrenceNet(ICompletePrefixUnfolding<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> unf)