2005, English, Article edition: Modeling Multi-Valued Genetic Regulatory Networks Using High-Level Petri Nets Comet, Jean-Paul; Klaudel, Hanna; Liauzu, Stéphane

User activity

Share to:
 
Bookmark: http://trove.nla.gov.au/version/209740
Physical Description
  • text
Published
  • HAL - CCSD
  • 2005
Language
  • English

Edition details

Title
  • Modeling Multi-Valued Genetic Regulatory Networks Using High-Level Petri Nets
Author
  • Comet, Jean-Paul
  • Klaudel, Hanna
  • Liauzu, Stéphane
Published
  • HAL - CCSD
  • 2005
Physical Description
  • text
Subjects
Notes
  • Regulatory networks are at the core of all biological functions from bio-chemical pathways to gene regulation and cell communication processes. Because of the complexity of the interweaving retroactions, the overall behavior is difficult to grasp and the development of formal methods is needed in order to confront the supposed properties of the biological system to the model. We revisit here the tremendous work of R. Thomas and show that its binary and also its multi-valued approach can be expressed in a unified way with high-level Petri nets. A compact modeling of genetic networks is proposed in which the tokens represent gene's expression levels and their dynamical behavior depends on a certain number of biological parameters. This allows us to take advantage of techniques and tools in the field of high-level Petri nets. A developed prototype allows a biologist to verify systematically the coherence of the system under various hypotheses. These hypotheses are translated into temporal logic formulae and the model-checking techniques are used to retain only the models whose behavior is coherent with the biological knowledge.
  • HAL:hal-00342065, version 1
  • HAL:http:/​/​hal.archives-ouvertes.fr/​hal-00342065/​en/​
  • DOI:10.1007/​11494744_13
Language
  • English
Contributed by
OAIster

Get this edition

  • Set up My libraries

    How do I set up "My libraries"?

    In order to set up a list of libraries that you have access to, you must first login or sign up. Then set up a personal list of libraries from your profile page by clicking on your user name at the top right of any screen.

  • All (1)
  • Unknown (1)
None of your libraries hold this item.
None of your libraries hold this item.
None of your libraries hold this item.
None of your libraries hold this item.
None of your libraries hold this item.
None of your libraries hold this item.
None of your libraries hold this item.
None of your libraries hold this item.

User activity


e.g. test cricket, Perth (WA), "Parkes, Henry"

Separate different tags with a comma. To include a comma in your tag, surround the tag with double quotes.

Be the first to add a tag for this edition

Be the first to add this to a list

Comments and reviews

What are comments? Add a comment

No user comments or reviews for this version

Add a comment