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