Additional methods for reduction and expansion of marked graphs | IEEE Journals & Magazine | IEEE Xplore