Package org.jbpt.petri.structure

Class Summary

Class	Description
PetriNetProjector<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition>	Reduces a Petri net by removing places and transitions that are given as a projection set.
PetriNetStructuralChecks<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition>	Collection of methods for performing structural checks on Petri nets.
PetriNetTransformations<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition>	Collection of methods for transforming Petri nets.