Activity Networks with Delays an Application to Toxicity Analysis

Abstract : ANDy, Activity Networks with Delays, is a discrete framework aiming at the qualitative modeling of time-dependent activities. The modular and expressive syntax makes ANDy suitable for a concise and natural modeling of time-dependent biological systems (i.e., regulatory pathways). Activities involve entities playing the role of activators, inhibitors or products of biochemical network operation. Activities may have a given duration, i.e., the time required to obtain results. An entity may represent an object (e.g., an agent, a biochemical species or a family of thereof) with a local attribute, a state denoting its level (e.g., concentration, strength). Entity levels may change as a result of an activity or may decay gradually as time passes by. The semantics of ANDy is formally given via high-level Petri nets ensuring this way some modularity. As main results we show that ANDy systems have finite state representations even for potentially infinite processes and it well adapts to the modeling of toxic behaviors. As an illustration, we present a classification of toxicity properties and give some hints on how they can be verified on ANDy systems with existing tools. A case study on blood glucose regulation is provided to exemplify the ANDy framework and the toxicity properties.
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01783917
Contributeur : Cinzia Di Giusto <>
Soumis le : mercredi 2 mai 2018 - 17:47:42
Dernière modification le : vendredi 16 novembre 2018 - 02:20:37

Lien texte intégral

Identifiants

Citation

Franck Delaplace, Cinzia Di Giusto, Jean-Louis Giavitto, Hanna Klaudel, Antoine Spicher. Activity Networks with Delays an Application to Toxicity Analysis. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2018, 160 (1-2), pp.119 --142. 〈10.3233/FI-2018-1677〉. 〈hal-01783917〉

Partager

Métriques

Consultations de la notice

298