An algebraic model for performance evaluation of timed event multigraphs | IEEE Journals & Magazine | IEEE Xplore