Representing and analyzing action plans as networks of concurrent processes | IEEE Journals & Magazine | IEEE Xplore