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