Algebraic tools for the performance evaluation of discrete event systems. - Guy Cohen; Pierre Moller; Jean-Pierre Quadrat; Michel Viot (Proc. IEEE, 1989)