The New Approach of Marking Activity-Loops Based on the String Reachable Matrix | IEEE Conference Publication | IEEE Xplore