org.processmining.plugins.petrinet.structuralanalysis.invariants

Class TransitionInvariantCalculator