A New Fuzzy Approach to Transition and Bisimulation Systems
摘要
Just as there are many non-equivalent structures called transition systems, there are also different notions of fuzzy transition systems. However, the idea is the same: generalize a notion of transition by considering at least the fuzziness in transitions. In this paper we propose a fuzzy version of transition systems with a set of initial and final states. Concepts such as tracking, accessibility and bisimulation are also introduced.