Max-algebraic system theory for discrete event systems door B. De Schutter