Year: 2025
Type: article
Abstract: We explore the capabilities of , 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 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 , 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.
Source: Natural Computing
Authors: Roberto Bruni, Arend Rensink
Institutions: University of Pisa, University of Twente
Language: English
Topic: DNA and Biological Computing
Subfield: Molecular Biology
Domain: Life Sciences
Open Access status: hybrid
Estimated APC paid: $3,190
Awards: G2548268996, G3396479017, G5339074417
OpenAlex ID: W4416593108