in the format of a TIME [...] reset. L time Limited [...] or the given time span
of the branch lines at a time [...] at the same time [...] : If the preceding transition ( t
. . Times Minimum [...] Minimum time [...] is TRUE Maximum time
or the currently elapsed time [...] name>.t The flag t [...] time span since