Algebraic tools for the performance evaluation of discrete event systems | IEEE Journals & Magazine | IEEE Xplore