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