Provides a thorough survey of current research work in max-plus linear systems. This book summarizes the main mathematical concepts required for a theory of max-plus linear systems, including idempotent semirings, residuation theory, fixed point equations in the max-plus algebra, formal power series, and timed-event graphs.