| Class | Description |
|---|---|
| AbstractPNManifestReplayerParameter | |
| EvClassPattern | |
| PNetPattern |
This class represent patterns in form of petri net.
|
| PNManifestReplayer | |
| PNManifestReplayerNetPatternParameter | |
| PNManifestReplayerParameter | |
| TransClass2PatternMap |
This class stores the mapping between sequence of event classes to
transitions
|