On some LP problems for performance evaluation of timed marked graphs | IEEE Journals & Magazine | IEEE Xplore