HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 Connect in order to contact the contributor
Submitted on : Monday, November 12, 2007 - 11:50:04 AM
Last modification on : Friday, February 4, 2022 - 3:31:40 AM
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