Class and Description |
---|
PlgParameters
This class describes the parameters of the generator.
|
Class and Description |
---|
PlgActivity
Class that represents an activity (a transition in Petri Net).
|
PlgActivity.RELATIONS
This enum describes the possible relations of an activity
|
PlgDependencyGraph
This class is used for the generation of dependency graph.
|
PlgObservation
This class describes the observation of an activity.
|
PlgParameters
This class describes the parameters of the generator.
|
PlgParameters.PATTERN
This enum describe the set of all possible patterns
|
PlgPatternFrame
This class represents a frame containing a process pattern
With this class is possible to describe the bounds of a process pattern
instance, since it contains information on the `head' and the `tail' of the
pattern.
|
Process
This class describes a general process.
|
Process.COUNTER_TYPES
This enum describes the possible stats counter for the pattern an other
process entities
|
Class and Description |
---|
PlgActivity
Class that represents an activity (a transition in Petri Net).
|
Class and Description |
---|
Process
This class describes a general process.
|