Skip to Main content Skip to Navigation
Conference papers

Graph Rewriting and Strategies for Modeling Biochemical Networks

Oana Andrei 1 Hélène Kirchner 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : In this paper, we present a rewriting framework for modeling molecular complexes, biochemical reaction rules, and generation of biochemical networks based on the representation of molecular complexes as a particular type of multigraphs with ports called molecular graphs. The advantage of this approach is to obtain for free a rewriting calculus which allows defining at the same level transformation rules and strategies for modeling rule selection and application, in order to prototype network generation.
Document type :
Conference papers
Complete list of metadata

Cited literature [25 references]  Display  Hide  Download
Contributor : Oana Andrei <>
Submitted on : Monday, November 12, 2007 - 11:50:04 AM
Last modification on : Friday, February 26, 2021 - 3:28:06 PM
Long-term archiving on: : Friday, November 25, 2016 - 7:19:13 PM


Publisher files allowed on an open archive


  • HAL Id : inria-00146362, version 3



Oana Andrei, Hélène Kirchner. Graph Rewriting and Strategies for Modeling Biochemical Networks. International Workshop on Natural Computing and Applications - NCA 2007, Sep 2007, Timisoara, Romania. ⟨inria-00146362v3⟩



Record views


Files downloads