| Class | Description |
|---|---|
| BoundednessAnalyzer |
Class to analyze whether a given PetriNet is bounded Based on Murata, Tadao.
|
| Configuration | |
| EventLogUtilities |
This class includes the basic information about Event log and provide
utilities for operation
|
| NetUtilities | |
| ProcessConfiguration | |
| RepairTSGenerator | |
| SamplingUtilities |
| Enum | Description |
|---|---|
| ProcessConfiguration.ActionType | |
| ProcessConfiguration.StructureType | |
| ProcessConfiguration.ViewType |