Issues with Path Representation in Transition Systems | IEEE Conference Publication | IEEE Xplore