Code cleanup.
Limit the number of interruptible functions.

It's useless to test if the time limist has passed at every function evaluation.
Init transitions' clocks with all possible values.
Optimize for 1-safe Petri nets.