A reachability graph construction algorithm based on canonical transition firing count vectors | IEEE Conference Publication | IEEE Xplore