Max-plus algebra and discrete event systems