I found a solution myself: reformulate state of the timers in such a way, that it could be exclusively in tow states: timer fired and not fired.
And then just add to each rule additional check, that timer is not fired. Just check that certain edge in the graph exists.
