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.
|