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