An example illustrating the process of performing Algorithm 1. For a given transition t, the processes of extracting a temporal subnet H'(x) from H at time x by applying Algorithm 1. Block (b) is obtained from (a) by performing the subroutine RMVA(H') (step 2 in TSN(H, x)). Block (c) is obtained from (b) by performing the subroutine RMVP(H') (step 4 in TSN(H, x)). Note that t is connected by an enabled inhibitory arc, therefore t cannot be removed by RMVT(H') (step 3 in TSN(H, x)) in Algorithm 1.