| Class | Description |
|---|---|
| EvClassLogPetrinetConnectionFactory | |
| EvClassLogPetrinetConnectionFactoryUI |
GUI to map event class (with any classifiers) to transitions of Petri net
|
| TransEvClassMapping |
This class stores mapping between transitions and event classes
|