Algorithms on marked directed graphs | IEEE Journals & Magazine | IEEE Xplore