Discrete Event Systems in Dioid Algebra and