Zaslat SMS: Discrete event systems in dioid algebra and conventional algebra