org.processmining.plugins.petrinet.structuralanalysis.invariants
Classes
InvariantCalculator
PlaceInvariantCalculator
TransitionInvariantCalculator