In this paper, we propose a generalization for fuzzy graphs in order to model reactive systems with fuzziness. As we will show, the resulting fuzzy structure, called fuzzy reactive graphs (FRG), is able to model dynamical aspects of some entities which generally appear in: biology, computer science and some other fields. The dynamical aspect is captured by a transition function which updates the values of the graph after an edge has been crossed. The update process takes into account aggregation functions. The paper proposes a notion for bisimulation for such graphs and briefly shows how modal logic can be used to verify properties of systems modeled with FSGs. The paper closes with a toy example in the field of Biology.

在本文中，我们提出了模糊图的概括，以便对具有模糊性的反应系统进行建模。正如我们将要展示的，由此产生的模糊结构称为模糊反应图（FRG），它能够对通常出现在生物学，计算机科学和某些其他领域的某些实体的动力学方面进行建模。动态方面是由过渡函数捕获的，该过渡函数会在边缘相交后更新图形的值。更新过程考虑了聚合功能。本文提出了对此类图进行双仿真的概念，并简要说明了如何使用模态逻辑来验证使用FSG建模的系统的属性。本文以生物学领域的一个玩具例子作为结尾。