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

Packages that use IOccurrenceNet

Package	Description
org.jbpt.petri.unfolding

Uses of IOccurrenceNet in org.jbpt.petri.unfolding

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

Modifier and Type	Class and Description
class	AbstractOccurrenceNet<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>> Occurrence net.
class	OccurrenceNet

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

Modifier and Type	Method and Description
IOccurrenceNet<BPN,C,E,F,N,P,T,M>	IBranchingProcess.getOccurrenceNet() Get occurrence net.
IOccurrenceNet<BPN,C,E,F,N,P,T,M>	AbstractCompletePrefixUnfolding.getOccurrenceNet()
IOccurrenceNet<BPN,C,E,F,N,P,T,M>	AbstractBranchingProcess.getOccurrenceNet()