Package org.jbpt.petri.behavior

Class Summary

Class	Description
Completion	This class implements completion methods for multi-terminal nets described in: - Artem Polyvyanyy, Luciano García-Bañuelos, Marlon Dumas: Structuring acyclic process models.
ConcurrencyRelation	Captures the concurrency relation for the nodes of a given Petri net.
LolaSoundnessChecker
LolaSoundnessCheckerResult	Result object for LolaSoundnessChecker.
ProjectedStateSpace<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>
SimpleStateSpace<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>