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
|