Max-plus Algebraic Description of Evolutions of Weighted Timed Event Graphs. - Kensuke Kitai; Yuki Nishida 001; Yoshihide Watanabe (Theory Comput. Syst., 2024)