Package org.jbpt.petri

Interface Summary

Interface	Description
ICommand<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>	Interface to a state change.
IFlow<N extends INode>	Interface to a flow relation of a Petri net.
IMarking<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition>	Interface to a Petri net marking.
INetSystem<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>
INode	Interface to a Petri net node.
IPetriNet<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition>	Interface to a Petri net.
IPlace	Petri net place interface.
IRun<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>	Interface to a run (occurrence sequence) of an (INetSystem).
IStep<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>	Interface to a step in a net system.
ITransition	Interface to a Petri net transition.

Class Summary

Class	Description
AbstractFlow<N extends INode>	Implementation of a Petri net flow relation.
AbstractMarking<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition>	Implementation of a Petri net marking.
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.
AbstractPetriNet<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition>	An implementation of IPetriNet interface.
AbstractRun<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>	Implementation of a run of a net system.
AbstractStep<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>	Implementation of a step of a net system.
Flow
Marking
NetSystem	Implementation of a net system.
Node	Implementation of a Petri net node.
PetriNet	An implementation of IPetriNet interface.
Place	Implementation of a Petri net place.
Run	Run (occurrence sequence) of a net system.
Step	Step of a Petri net.
Transition	Implementation of a Petri net transition.