Xudong He A method for analyzing properties of hierarchical predicate transition nets. 50-55 1995 conf/compsac/1995 COMPSAC http://computer.org/proceedings/compsac/7119/71190050abs.htm db/conf/compsac/compsac1995.html#He95