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 |