Uses of Interface
org.jbpt.petri.IPetriNet

Packages that use IPetriNet

Package	Description
org.jbpt.petri
org.jbpt.petri.structure
org.jbpt.petri.unfolding
org.jbpt.petri.wftree

Uses of IPetriNet in org.jbpt.petri

Subinterfaces of IPetriNet in org.jbpt.petri

Modifier and Type	Interface and Description
interface	INetSystem<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

Classes in org.jbpt.petri that implement IPetriNet

Modifier and Type	Class and Description
class	AbstractNetSystem<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> Implementation of a net system.
class	AbstractPetriNet<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition> An implementation of IPetriNet interface.
class	NetSystem Implementation of a net system.
class	PetriNet An implementation of IPetriNet interface.

Fields in org.jbpt.petri declared as IPetriNet

Modifier and Type	Field and Description
protected IPetriNet<F,N,P,T>	AbstractStep.net

Methods in org.jbpt.petri that return IPetriNet

Modifier and Type	Method and Description
IPetriNet<F,N,P,T>	IPetriNet.clone() Clone this Petri net.
IPetriNet<F,N,P,T>	AbstractPetriNet.clone()
IPetriNet<F,N,P,T>	IPetriNet.clone(Map<N,N> map) Clone this Petri net.
IPetriNet<F,N,P,T>	AbstractPetriNet.clone(Map<N,N> map)
IPetriNet<F,N,P,T>	IMarking.getPetriNet() Get Petri net which this marking is associated with.
IPetriNet<F,N,P,T>	ICommand.getPetriNet()
IPetriNet<F,N,P,T>	AbstractStep.getPetriNet()
IPetriNet<F,N,P,T>	AbstractMarking.getPetriNet()

Methods in org.jbpt.petri with parameters of type IPetriNet

Modifier and Type	Method and Description
IMarking<F,N,P,T>	IMarking.createMarking(IPetriNet<F,N,P,T> net) Create fresh marking and associate it with a given net.
IMarking<F,N,P,T>	AbstractMarking.createMarking(IPetriNet<F,N,P,T> net)
protected IStep<F,N,P,T,M>	AbstractRun.createStep(IPetriNet<F,N,P,T> net, M inputMarking, T transition)
protected IStep<F,N,P,T,M>	AbstractRun.createStep(IPetriNet<F,N,P,T> net, M inputMarking, T transition, M outputMarking)
void	IMarking.setPetriNet(IPetriNet<F,N,P,T> net) Set net to associate this marking with.
void	AbstractMarking.setPetriNet(IPetriNet<F,N,P,T> net)

Constructors in org.jbpt.petri with parameters of type IPetriNet

Constructor and Description
AbstractMarking(IPetriNet<F,N,P,T> net) Construct a marking and associate it with a given net.
AbstractStep(IPetriNet<F,N,P,T> net, M inputMarking, T transition)
AbstractStep(IPetriNet<F,N,P,T> net, M inputMarking, T transition, M outputMarking)
Marking(IPetriNet<Flow,Node,Place,Transition> net)
Step(IPetriNet<Flow,Node,Place,Transition> net, Marking inputMarking, Transition transition)
Step(IPetriNet<Flow,Node,Place,Transition> net, Marking inputMarking, Transition transition, Marking outputMarking)

Uses of IPetriNet in org.jbpt.petri.structure

Methods in org.jbpt.petri.structure with parameters of type IPetriNet

Modifier and Type	Method and Description
boolean	PetriNetStructuralChecks.isConflictFree(IPetriNet<F,N,P,T> net) Check if a net is a conflict-free net.
boolean	PetriNetStructuralChecks.isExtendedFreeChoice(IPetriNet<F,N,P,T> net) Check if a given Petri net is extended free-choice.
boolean	PetriNetStructuralChecks.isFreeChoice(IPetriNet<F,N,P,T> net) Check if a given Petri net is free-choice.
void	PetriNetTransformations.isolateTransitions(IPetriNet<F,N,P,T> net)
boolean	PetriNetStructuralChecks.isSNet(IPetriNet<F,N,P,T> net) Check if a given Petri net is an S-net.
boolean	PetriNetStructuralChecks.isTNet(IPetriNet<F,N,P,T> net) Check if a given net is a T-net.
boolean	PetriNetStructuralChecks.isTRestricted(IPetriNet<F,N,P,T> net) Check if a given Petri net is T-restricted.
boolean	PetriNetStructuralChecks.isWorkflowNet(IPetriNet<F,N,P,T> net) Check if a given Petri net is a workflow net (WF-net).
void	PetriNetProjector.reducePetriNetBasedOnProjectionSet(IPetriNet<F,N,P,T> pn, Set<T> projectionSet)
void	PetriNetTransformations.relinkIncomingArcs(IPetriNet<F,N,P,T> net, N from, N to)
void	PetriNetTransformations.relinkOutgoingArcs(IPetriNet<F,N,P,T> net, N from, N to)
void	PetriNetTransformations.tRestrict(IPetriNet<F,N,P,T> net) T-restrict a given Petri net, i.e., add a single input/output place to transitions with empty preset/postset.

Uses of IPetriNet in org.jbpt.petri.unfolding

Subinterfaces of IPetriNet in org.jbpt.petri.unfolding

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

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

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

Uses of IPetriNet in org.jbpt.petri.wftree

Constructors in org.jbpt.petri.wftree with parameters of type IPetriNet

Constructor and Description
AbstractWFTree(IPetriNet<F,N,P,T> net)
WFTree(IPetriNet<Flow,Node,Place,Transition> net)