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
|