Parametric transformation of timed weighted marked graphs: applications in optimal resource allocation | IEEE Journals & Magazine | IEEE Xplore