Discrete event systems in dioid algebra and conventional algebra - Clerck, Philippe de. (Focus series in automation & control,, 2013)