Transition structure of bisimilarity