Symmetri
|
a minimal Event representation. More...
#include <petri.h>
Public Attributes | |
size_t | transition |
The transition that generated the event. | |
Token | state |
The result of the event. | |
Clock::time_point | stamp |
The timestamp of the event. | |
a minimal Event representation.