List view
As a petri net developer and user of the framework, I want to record a series of event occurrences (with their timestamps) and reproduce them exactly the same at anytime later to ease the debugging task.
No due date
As a petri net developer and user of the framework, I want to record a series of event occurrences (with their timestamps) and reproduce them exactly the same at anytime later to ease the debugging task.