|
|
state |
and attributes |
event list, FEL |
statistics and counters |
|||
occur at time t1 (1, t2) - Type 1 event to occur at time t2 . . . . . . . . . . . . . . . . . . . . . |
|
|
state |
|||
(1, t2) - Type 1 event to occur at time t2 (1, t3) - Type 1 event to occur at time t3 . . . . . . . . . . . . . . . (2, tn) - Type 2 event to occur at time tn |

|
|
state |
|||
(4, t*) - Type 4 event to occur at time t* (1, t3) - Type 1 event to occur at time t3 . . . . . . . . . . . . . . . (2, tn) - Type 2 event to occur at time tn |
|
|
|