Package org.processmining.plugins.petrinet.structuralanalysis.invariants

Class Summary

Class	Description
InvariantCalculator	Title: InvariantCalculator
PlaceInvariantCalculator	This class represents a plugin to calculate basis of semi-positive place invariants of petri net Modified from PlaceInvariantCalculator class implemented in ProM 5
TransitionInvariantCalculator	This class is a plugin to calculate basis of semi-positive transition invariants of petri net and inhibitor net.