DI - École Normale Supérieure, 45, rue d'Ulm, Paris, F

  Abstract

Rule-based languages such as Kappa and BNGL highlights how information flows along the biochemical structure of molecular compounds. We use this information to infer automatically a model reduction for the differential semantics of models of signalling pathways written in these languages.