Analysis of deterministic discrete event systems via minimax algebra