| Interface | Description |
|---|---|
| ExpDiscoveryAlgorithm | |
| ExpLocRefiningDiscoveryAlgorithm |
| Class | Description |
|---|---|
| ExpDiscoveryDummyEndUtil | |
| ExpDiscoveryETM | |
| ExpDiscoveryHyberILP | |
| ExpDiscoveryIM | |
| ExpDiscoveryIMf | |
| ExpDiscoveryInductiveMinerWithRelabeling | |
| ExpModelSimplicityUtil |
This class computes various complexity metrics of a petrinet.
|
| MarkedPetrinet | |
| MarkingFactory |
NOT USED
|