Class | Description |
---|---|
FinalMarkingFactoryExt |
Extended for finding final marking
|
InitMarkingFactoryExt |
Extended for finding initial marking
|
MapPattern2TransStepExt |
Extended to override mapping patterns to transitions
|
PatternMappingPanelExt |
Extended for pattern-mapping panel handling
|