Scholarlink

<p>We explore the capabilities of <Emphasis FontCategory="SansSerif">GROOVE</Emphasis>, a state-of-the-art toolset based on graph transformation systems, to perform different kinds of analyses of Reaction Systems, ranging from reachability and causal analysis to model checking. Our results are encouraging, as in the presence of large state spaces <Emphasis FontCategory="SansSerif">GROOVE</Emphasis> improves the time required for both reachability and causal analyses by an order of magnitude, compared to other available tools. From the point of view of <Emphasis FontCategory="SansSerif">GROOVE</Emphasis>, the implementation of Reaction Systems provided some interesting insights on the most convenient way to model certain computational requirements through negative and nested application conditions.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Experimenting with Reaction Systems using Graph Transformation and GROOVE

  • 期刊论文

  • 出版模式：

    开放获取

  • 发表日期：

    2025年11月24日

查看全文
  • Roberto Bruni,
  • Arend Rensink

摘要

We explore the capabilities of GROOVE, a state-of-the-art toolset based on graph transformation systems, to perform different kinds of analyses of Reaction Systems, ranging from reachability and causal analysis to model checking. Our results are encouraging, as in the presence of large state spaces GROOVE improves the time required for both reachability and causal analyses by an order of magnitude, compared to other available tools. From the point of view of GROOVE, the implementation of Reaction Systems provided some interesting insights on the most convenient way to model certain computational requirements through negative and nested application conditions.